diff options
Diffstat (limited to 'pkgs/development/coq-modules/mathcomp/default.nix')
-rw-r--r-- | pkgs/development/coq-modules/mathcomp/default.nix | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/pkgs/development/coq-modules/mathcomp/default.nix b/pkgs/development/coq-modules/mathcomp/default.nix index 0a6ba2ca08c8..1e5b6b7bf666 100644 --- a/pkgs/development/coq-modules/mathcomp/default.nix +++ b/pkgs/development/coq-modules/mathcomp/default.nix @@ -18,8 +18,11 @@ let param = in -stdenv.mkDerivation { - name = "coq${coq.coq-version}-mathcomp-${param.version}"; +stdenv.mkDerivation rec { + name = "coq${coq.coq-version}-mathcomp-${version}"; + + # used in ssreflect + inherit (param) version; src = fetchFromGitHub { owner = "math-comp"; @@ -35,10 +38,11 @@ stdenv.mkDerivation { buildFlags = stdenv.lib.optionalString withDoc "doc"; + COQBIN = "${coq}/bin/"; + preBuild = '' patchShebangs etc/utils/ssrcoqdep || true cd mathcomp - export COQBIN=${coq}/bin/ ''; installPhase = '' |