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

otter: turn off format hardening

Browse Source
This commit is contained in:
Robin Gloster 2016-02-12 13:51:05 +00:00
parent 7e01cafa4b
commit 0ea02595f7
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
pkgs/applications/science/logic/otter/default.nix
View File

@ -17,6 +17,9 @@ stdenv.mkDerivation {
src = fetchurl { src = fetchurl {
inherit (s) url sha256; inherit (s) url sha256;
}; };
hardening_format = false;
buildPhase = '' buildPhase = ''
find . -name Makefile | xargs sed -i -e "s@/bin/rm@$(type -P rm)@g" find . -name Makefile | xargs sed -i -e "s@/bin/rm@$(type -P rm)@g"
find . -name Makefile | xargs sed -i -e "s@/bin/mv@$(type -P mv)@g" find . -name Makefile | xargs sed -i -e "s@/bin/mv@$(type -P mv)@g"
@ -32,11 +35,13 @@ stdenv.mkDerivation {
make -C source/formed realclean make -C source/formed realclean
make -C source/formed formed make -C source/formed formed
''; '';
installPhase = '' installPhase = ''
mkdir -p "$out"/{bin,share/otter} mkdir -p "$out"/{bin,share/otter}
cp bin/* source/formed/formed "$out/bin/" cp bin/* source/formed/formed "$out/bin/"
cp -r examples examples-mace2 documents README* Legal Changelog Contents index.html "$out/share/otter/" cp -r examples examples-mace2 documents README* Legal Changelog Contents index.html "$out/share/otter/"
''; '';
meta = { meta = {
inherit (s) version; inherit (s) version;
description = "A reliable first-order theorem prover"; description = "A reliable first-order theorem prover";