dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

why3.withProvers: add dontUnpack

Browse Source
This commit is contained in:
Felix Buehler 2021-12-07 22:08:49 +01:00 committed by Vincent Laporte
parent 277954f584
commit 4cc23f2b1e
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/applications/science/logic/why3/with-provers.nix
View File

@ -17,9 +17,11 @@ stdenv.mkDerivation {
nativeBuildInputs = [ makeWrapper ];
buildInputs = [ why3 ] ++ provers;
dontUnpack = true;
buildPhase = ''
mkdir -p $out/share/why3/
why3 config --detect-provers -C $out/share/why3/why3.conf
why3 config detect -C $out/share/why3/why3.conf
awk -i inplace -f ${configAwkScript} $out/share/why3/why3.conf
'';