ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-11-08 07:56:16 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: Add ocaml-ppx-bap.

Browse source 
* gnu/packages/ocaml.scm (ocaml-ppx-bap): New variable.
This commit is contained in:
Julien Lepiller 2022-06-18 23:35:05 +02:00
parent 99fcd03e50
commit 35ee95f481
No known key found for this signature in database
GPG key ID: 53D457B2D636EE82
1 changed files with 42 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

42
gnu/packages/ocaml.scm
View file

@ -4013,6 +4013,48 @@ (define-public ocaml-piqi
XML and Protocol Buffers formats.")
(license license:asl2.0)))
(define-public ocaml-ppx-bap
(package
(name "ocaml-ppx-bap")
(version "0.14.0")
(source (origin
(method git-fetch)
(uri (git-reference
(url "https://github.com/BinaryAnalysisPlatform/ppx_bap")
(commit (string-append "v" (version-major+minor version)))))
(file-name (git-file-name name version))
(sha256
(base32
"1c6rcdp8bicdiwqc2mb59cl9l2vxlp3y8hmnr9x924fq7acly248"))))
(build-system dune-build-system)
(arguments
;; No tests
`(#:tests? #f))
(propagated-inputs (list ocaml-base-quickcheck
ocaml-ppx-assert
ocaml-ppx-bench
ocaml-ppx-bin-prot
ocaml-ppx-cold
ocaml-ppx-compare
ocaml-ppx-enumerate
ocaml-ppx-fields-conv
ocaml-ppx-hash
ocaml-ppx-here
ocaml-ppx-optcomp
ocaml-ppx-sexp-conv
ocaml-ppx-sexp-value
ocaml-ppx-variants-conv
ocaml-ppxlib))
(properties `((upstream-name . "ppx_bap")))
(home-page "https://github.com/BinaryAnalysisPlatform/ppx_bap")
(synopsis "The set of ppx rewriters for BAP")
(description
"@code{ppx_bap} is the set of blessed ppx rewriters used in BAP projects.
It fills the same role as @code{ppx_base} or @code{ppx_jane} (from which it is
derived), but doesn't impose any style requirements and has only the minimal
necessary set of rewriters.")
(license license:expat)))
(define-public bap
(package
(name "bap")