diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2024-01-23 06:46:27 +0100 |
|---|---|---|
| committer | github-actions[bot] <github-actions[bot]@users.noreply.github.com> | 2024-01-29 08:40:42 +0000 |
| commit | aa9fa11cf497305570f76560ceb6d1b312c2cecd (patch) | |
| tree | 77cbbb9fbbb3f64de9c9be89ed56f02e0e00bffb /pkgs/applications/science | |
| parent | 652a905099778da3147f939e234295f9919e516f (diff) | |
why3: make it easy to disable IDE support
easycrypt: use why3 without IDE support (cherry picked from commit 4bc83631869dcfcb4d56d7b32d227a9e5a2c8095)
Diffstat (limited to 'pkgs/applications/science')
| -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" ]; |