guix/guix
3
5
Fork 0
mirror of git://git.savannah.gnu.org/guix.git synced 2023-12-14 03:33:07 +01:00
Code Issues Releases Wiki Activity

gnu: Add ocaml-ppx-ignore-instrumentation.

Browse source 
* gnu/packages/ocaml.scm (ocaml-ppx-ignore-instrumentation): New
  variable.
This commit is contained in:
Julien Lepiller 2022-05-01 07:54:59 +02:00
parent a9e8b6e7a2
commit 044b42720d
No known key found for this signature in database
GPG key ID: 53D457B2D636EE82
1 changed files with 25 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

25
gnu/packages/ocaml.scm
View file

@ -6584,6 +6584,31 @@ functions from type definitions.")
(properties '())
(license license:asl2.0))))
(define-public ocaml-ppx-ignore-instrumentation
(package
(name "ocaml-ppx-ignore-instrumentation")
(version "0.15.0")
(source
(origin
(method git-fetch)
(uri (git-reference
(url "https://github.com/janestreet/ppx_ignore_instrumentation")
(commit (string-append "v" version))))
(file-name (git-file-name name version))
(sha256
(base32 "16fgig88g3jr0m3i636fr52h29h1yzhi8nhnl4029zn808kcdyj2"))))
(build-system dune-build-system)
(arguments
`(#:tests? #f)) ;no tests
(propagated-inputs (list ocaml-ppxlib))
(properties `((upstream-name . "ppx_ignore_instrumentation")))
(home-page "https://github.com/janestreet/ppx_ignore_instrumentation")
(synopsis "Ignore Jane Street specific instrumentation extensions")
(description
"Ignore Jane Street specific instrumentation extensions from internal
PPXs or compiler features not yet upstreamed.")
(license license:expat)))
(define-public ocaml-ppx-jane
(package
(name "ocaml-ppx-jane")