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

ssreflect, mathcomp: fix build

Browse Source
This commit is contained in:
Vincent Laporte 2016-01-04 22:12:28 +01:00
parent 222f4b9e2b
commit 7462d96a65
2 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
pkgs/development/coq-modules/mathcomp/generic.nix
View File

@ -18,6 +18,7 @@ stdenv.mkDerivation {
buildFlags = stdenv.lib.optionalString withDoc "doc"; buildFlags = stdenv.lib.optionalString withDoc "doc";
preBuild = '' preBuild = ''
patchShebangs etc/utils/ssrcoqdep
cd mathcomp cd mathcomp
export COQBIN=${coq}/bin/ export COQBIN=${coq}/bin/
''; '';

1
pkgs/development/coq-modules/ssreflect/generic.nix
View File

@ -18,6 +18,7 @@ stdenv.mkDerivation {
inherit patches; inherit patches;
preBuild = '' preBuild = ''
patchShebangs etc/utils/ssrcoqdep
cd mathcomp/ssreflect cd mathcomp/ssreflect
export COQBIN=${coq}/bin/ export COQBIN=${coq}/bin/
''; '';