colin/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

why3: make it easy to disable IDE support

Browse Source 
easycrypt: use why3 without IDE support
This commit is contained in:
Vincent Laporte 2024-01-23 06:46:27 +01:00 committed by Vincent Laporte
parent c4f01b3b73
commit e997629cea
2 changed files with 14 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
pkgs/applications/science/logic/why3/default.nix
View File

@ -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" ];

4
pkgs/top-level/all-packages.nix
View File

@ -5197,7 +5197,9 @@ with pkgs;
easyabc = callPackage ../applications/audio/easyabc { };
easycrypt = callPackage ../applications/science/logic/easycrypt { };
easycrypt = callPackage ../applications/science/logic/easycrypt {
why3 = pkgs.why3.override { ideSupport = false; };
};
easycrypt-runtest = callPackage ../applications/science/logic/easycrypt/runtest.nix { };