diff options
author | Julien Lepiller <julien@lepiller.eu> | 2022-06-18 23:35:05 +0200 |
---|---|---|
committer | Julien Lepiller <julien@lepiller.eu> | 2022-06-28 19:34:30 +0200 |
commit | 35ee95f481734146c16b09ade24ccc72addd9e70 (patch) | |
tree | e4b5e0526cfbde46e55da7d9bb4babfb60b3ad55 /gnu | |
parent | 99fcd03e500ae41bfdbc56866f1b1c8e81dfbf70 (diff) |
gnu: Add ocaml-ppx-bap.
* gnu/packages/ocaml.scm (ocaml-ppx-bap): New variable.
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/packages/ocaml.scm | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index a8f328a266..6e9170e929 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -4013,6 +4013,48 @@ It provides a uniform interface for serializing OCaml data structures to JSON, 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") |