add cubicle

LEPILLER JulienFri Jun 30 09:26:11+0200 2017

872faf3

add cubicle

more/packages/ocaml.scm

3434 
  #:use-module (gnu packages ocaml)
3535 
  #:use-module (gnu packages perl)
3636 
  #:use-module (gnu packages protobuf)
37-
  #:use-module (gnu packages texinfo))
37+
  #:use-module (gnu packages texinfo)
38+
  #:use-module (more packages smt))
3839 
3940 
;; Janestreet packages are found in a similar way and all need the same patch.
4041 
(define (janestreet-origin name version hash)
…
919920 
      (list (search-path-specification
920921 
              (variable "COQPATH")
921922 
              (files (list "lib/coq/user-contrib")))))))
923+
924+
(define-public cubicle
925+
  (package
926+
    (name "cubicle")
927+
    (version "1.1.1")
928+
    (source (origin
929+
              (method url-fetch)
930+
              (uri (string-append "http://cubicle.lri.fr/cubicle-"
931+
                                  version ".tar.gz"))
932+
              (sha256
933+
               (base32
934+
                "1sny9c4fm14k014pk62ibpwbrjjirkx8xmhs9jg7q1hk7y7x3q2h"))))
935+
    (build-system gnu-build-system)
936+
    (native-inputs
937+
     `(("ocaml" ,ocaml)
938+
       ("which" ,which)))
939+
    (propagated-inputs
940+
     `(("z3" ,z3-solver)))
941+
    (arguments
942+
     `(#:configure-flags (list "--with-z3")
943+
       #:tests? #f
944+
       #:phases
945+
       (modify-phases %standard-phases
946+
         (add-before 'configure 'configure-for-release
947+
           (lambda _
948+
             (substitute* "Makefile.in"
949+
               (("SVNREV=") "#SVNREV="))))
950+
         (add-before 'configure 'fix-configure
951+
           (lambda _
952+
             (substitute* "configure"
953+
               (("/bin/sh") (which "sh")))))
954+
         (add-before 'configure 'fix-smt-z3wrapper.ml
955+
           (lambda _
956+
             (substitute* "Makefile.in"
957+
               (("\\\\n") "")))))))
958+
    (home-page "http://cubicle.lri.fr/")
959+
    (synopsis "SMT solver")
960+
    (description "SMT solver.")
961+
    (license license:asl2.0)))