diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2024-01-23 06:46:27 +0100 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2024-01-29 09:40:12 +0100 |
| commit | e997629cea8885bb4b00c5998eb0adfb8bf5ae39 (patch) | |
| tree | 9ca65f6d4e58d8171a2adce13a6b04f1b9e58e4a /pkgs/applications/science/logic/why3 | |
| parent | c4f01b3b73caa8c86f026bdccfd9c61282dbfb0e (diff) | |
why3: make it easy to disable IDE support
easycrypt: use why3 without IDE support
Diffstat (limited to 'pkgs/applications/science/logic/why3')
| -rw-r--r-- | pkgs/applications/science/logic/why3/default.nix | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/why3/default.nix b/pkgs/applications/science/logic/why3/default.nix index ff6e0672d1fe3..758d11e4252a9 100644 --- a/pkgs/applications/science/logic/why3/default.nix +++ b/pkgs/applications/science/logic/why3/default.nix @@ -1,6 +1,8 @@ { callPackage, fetchurl, lib, stdenv , ocamlPackages, coqPackages, rubber, hevea, emacs , version ? "1.7.1" +, ideSupport ? true +, wrapGAppsHook }: stdenv.mkDerivation rec { @@ -17,8 +19,11 @@ stdenv.mkDerivation rec { strictDeps = true; - nativeBuildInputs = with ocamlPackages; [ + nativeBuildInputs = lib.optional ideSupport + wrapGAppsHook + ++ (with ocamlPackages; [ ocaml findlib menhir + ]) ++ [ # Coq Support coqPackages.coq ]; @@ -29,8 +34,10 @@ stdenv.mkDerivation rec { emacs # Documentation rubber hevea + ] ++ lib.optional ideSupport # GUI lablgtk3-sourceview3 + ++ [ # WebIDE js_of_ocaml js_of_ocaml-ppx # S-expression output for why3pp @@ -44,7 +51,9 @@ stdenv.mkDerivation rec { enableParallelBuilding = true; - configureFlags = [ "--enable-verbose-make" ]; + configureFlags = [ "--enable-verbose-make" + (lib.enableFeature ideSupport "ide") + ]; installTargets = [ "install" "install-lib" ]; |