Add frama-c

Julien LepillerMon Apr 23 11:15:29+0200 2018

f84fa0d

Add frama-c

more/packages/ocaml.scm

2626 
  #:use-module ((guix licenses) #:prefix license:)
2727 
  #:use-module (gnu packages)
2828 
  #:use-module (gnu packages assembly)
29+
  #:use-module (gnu packages autotools)
2930 
  #:use-module (gnu packages base)
3031 
  #:use-module (gnu packages bison)
3132 
  #:use-module (gnu packages boost)

…

616617 
    (description "")
617618 
    (license license:lgpl2.1+)))
618619 
620+
(define-public ocaml-ocplib-simplex
621+
  (package
622+
    (name "ocaml-ocplib-simplex")
623+
    (version "0.4")
624+
    (source (origin
625+
              (method url-fetch)
626+
              (uri (string-append "https://github.com/OCamlPro-Iguernlala/"
627+
                                  "ocplib-simplex/archive/v" version ".tar.gz"))
628+
              (sha256
629+
               (base32
630+
                "0y6q4bgly7fisdklriww48aknqf2vg4dphr7wwnd1wh80l4anzg1"))))
631+
    (build-system gnu-build-system)
632+
    (arguments
633+
     `(#:tests? #f; Compilation error
634+
       #:phases
635+
       (modify-phases %standard-phases
636+
         (add-after 'unpack 'autoreconf
637+
           (lambda _
638+
             (invoke "autoreconf" "-fiv")
639+
             #t))
640+
         (add-before 'install 'mkdir
641+
           (lambda* (#:key outputs #:allow-other-keys)
642+
             (let* ((out (assoc-ref outputs "out"))
643+
                    (lib (string-append out "/lib")))
644+
               (mkdir-p lib)
645+
               #t))))))
646+
    (native-inputs
647+
     `(("autoconf" ,autoconf)
648+
       ("automake" ,automake)
649+
       ("ocaml" ,ocaml)
650+
       ("ocaml-findlib" ,ocaml-findlib)
651+
       ("which" ,which)))
652+
    (home-page "")
653+
    (synopsis "")
654+
    (description "")
655+
    ; lgpl2.1+ with linking exception
656+
    (license license:lgpl2.1+)))
657+
658+
(define-public frama-c
659+
  (package
660+
    (name "frama-c")
661+
    (version "20171101")
662+
    (source (origin
663+
              (method url-fetch)
664+
              (uri (string-append "http://frama-c.com/download/frama-c-Sulfur-"
665+
                                  version ".tar.gz"))
666+
              (sha256
667+
               (base32
668+
                "1vwjfqmm1r36gkybsy3a7m89q5zicf4rnz5vlsn9imnpjpl9gjw1"))))
669+
    (build-system ocaml-build-system)
670+
    (arguments
671+
     `(#:tests? #f; for now
672+
       #:phases
673+
       (modify-phases %standard-phases
674+
         (add-before 'configure 'export-shell
675+
           (lambda* (#:key inputs #:allow-other-keys)
676+
             (setenv "CONFIG_SHELL" (string-append (assoc-ref inputs "bash")
677+
                                                   "/bin/sh")))))))
678+
    (inputs
679+
     `(("gmp" ,gmp)
680+
       ("ocaml-graph" ,ocaml-graph)
681+
       ("ocaml-zarith" ,ocaml-zarith)))
682+
    (home-page "")
683+
    (synopsis "")
684+
    (description "")
685+
    (license license:lgpl2.1+)))