diff options
author | Julien Lepiller <julien@lepiller.eu> | 2018-11-19 23:28:21 +0100 |
---|---|---|
committer | Julien Lepiller <julien@lepiller.eu> | 2018-12-18 22:17:12 +0100 |
commit | 34d5314e9c826b1f602f9aaa8d707ca594736aaf (patch) | |
tree | 5519181d0f471b5d7fdd8c897bd0ea3295f0849f /gnu | |
parent | 426e629e0c5829b0ac8987660c38eeb121f55675 (diff) | |
download | patches-34d5314e9c826b1f602f9aaa8d707ca594736aaf.tar patches-34d5314e9c826b1f602f9aaa8d707ca594736aaf.tar.gz |
gnu: ocaml-lambda-term: Use dune-build-system.
* gnu/packages/ocaml.scm (ocaml-lambda-term): Use dune-build-system.
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/packages/ocaml.scm | 17 |
1 files changed, 2 insertions, 15 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 927c1ed8ff..3b1ddcb5b6 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -4508,23 +4508,10 @@ connect an engine to your inputs and rendering functions to get an editor.") (file-name (string-append name "-" version ".tar.gz")) (sha256 (base32 "1hy5ryagqclgdm9lzh1qil5mrynlypv7mn6qm858hdcnmz9zzn0l")))) - (build-system ocaml-build-system) + (build-system dune-build-system) (arguments - `(#:phases - (modify-phases %standard-phases - (delete 'configure) - (replace 'build - (lambda _ - (invoke "dune" "build" "@install" "--profile" "release") - #t)) - (replace 'install - (lambda* (#:key outputs #:allow-other-keys) - (invoke "dune" "install" - "--prefix" (assoc-ref outputs "out")) - #t))) + `(#:build-flags (list "--profile" "release") #:tests? #f)) - (native-inputs - `(("dune" ,dune))) (propagated-inputs `(("lwt" ,ocaml-lwt) ("lwt-log" ,ocaml-lwt-log) |