me
/
guix
Archived
1
0
Fork 0

gnu: ocaml-frontc: Update to 4.1.0.

* gnu/packages/ocaml.scm (ocaml-frontc): Update to 4.1.0.
(ocaml4.07-frontc): New variable.
master
Julien Lepiller 2021-11-20 03:05:18 +01:00
parent 32cecfa057
commit 42eeea188d
No known key found for this signature in database
GPG Key ID: 53D457B2D636EE82
1 changed files with 54 additions and 26 deletions

View File

@ -1478,14 +1478,49 @@ for speed and space economy.")
(define-public ocaml-frontc
(package
(name "ocaml-frontc")
(version "3.4.2")
(version "4.1.0")
(source (origin
(method git-fetch)
(uri (git-reference
(url "https://github.com/BinaryAnalysisPlatform/FrontC")
(commit (string-append "v" version))))
(file-name (git-file-name name version))
(sha256
(base32
"1mi1vh4qgscnb470qwidccaqd068j1bqlz6pf6wddk21paliwnqb"))))
(build-system dune-build-system)
(arguments
`(#:test-target "test.t"
#:phases
(modify-phases %standard-phases
(add-after 'unpack 'make-writable
(lambda _
(for-each make-file-writable (find-files "." ".")))))))
(native-inputs
`(("ocaml-menhir" ,ocaml-menhir)
("ocaml-odoc" ,ocaml-odoc)))
(properties `((upstream-name . "FrontC")
(ocaml4.07-variant . ,(delay ocaml4.07-frontc))))
(home-page "https://www.irit.fr/FrontC")
(synopsis "C parser and lexer library")
(description "FrontC is an OCAML library providing a C parser and lexer.
The result is a syntactic tree easy to process with usual OCAML tree management.
It provides support for ANSI C syntax, old-C K&R style syntax and the standard
GNU CC attributes. It provides also a C pretty printer as an example of use.")
(license license:lgpl2.1)))
(define-public ocaml4.07-frontc
(package-with-ocaml4.07
(package
(inherit ocaml-frontc)
(version "3.4.2")
(source (origin
(method git-fetch)
(uri (git-reference
(url "https://github.com/mirage/ocaml-base64")
(commit (string-append
"V_" (string-join (string-split version #\.) "_")))))
(file-name (git-file-name name version))
(file-name (git-file-name "ocaml-frontc" version))
(sha256
(base32
"0k7jk9hkglnkk27s62xl493jyqc017gyvwqb1lyc0ywbb001s102"))))
@ -1512,14 +1547,7 @@ archive(native) = \"frontc.cmxa\""))))
#:make-flags (list (string-append "PREFIX="
(assoc-ref %outputs "out"))
"OCAML_SITE=$(LIB_DIR)/ocaml/")))
(properties `((upstream-name . "FrontC")))
(home-page "https://www.irit.fr/FrontC")
(synopsis "C parser and lexer library")
(description "FrontC is an OCAML library providing a C parser and lexer.
The result is a syntactic tree easy to process with usual OCAML tree management.
It provides support for ANSI C syntax, old-C K&R style syntax and the standard
GNU CC attributes. It provides also a C pretty printer as an example of use.")
(license license:lgpl2.1)))
(properties '()))))
(define-public ocaml-qcheck
(package