diff options
Diffstat (limited to 'pkgs/development/coq-modules/ssreflect/generic.nix')
-rw-r--r-- | pkgs/development/coq-modules/ssreflect/generic.nix | 31 |
1 files changed, 15 insertions, 16 deletions
diff --git a/pkgs/development/coq-modules/ssreflect/generic.nix b/pkgs/development/coq-modules/ssreflect/generic.nix index 3bfccab0be7d..d7303ad8852c 100644 --- a/pkgs/development/coq-modules/ssreflect/generic.nix +++ b/pkgs/development/coq-modules/ssreflect/generic.nix @@ -1,39 +1,38 @@ -{ stdenv, fetchurl, coq, ncurses -, graphviz, withDoc ? true +{ stdenv, fetchurl, coq, ncurses, which +, graphviz, withDoc ? false , src, patches ? [] }: stdenv.mkDerivation { - name = "coq-ssreflect-1.5-${coq.coq-version}"; + name = "coq-ssreflect-1.6-${coq.coq-version}"; inherit src; nativeBuildInputs = stdenv.lib.optionals withDoc [ graphviz ]; - buildInputs = [ coq.ocaml coq.camlp5 ncurses ]; + buildInputs = [ coq.ocaml coq.camlp5 ncurses which ]; propagatedBuildInputs = [ coq ]; enableParallelBuilding = true; inherit patches; - postPatch = '' - # Permit building of the ssrcoq statically-bound executable - sed -i 's/^#-custom/-custom/' Make - sed -i 's/^#SSRCOQ/SSRCOQ/' Make + preBuild = '' + cd mathcomp/ssreflect + export COQBIN=${coq}/bin/ ''; - buildFlags = stdenv.lib.optionalString withDoc "doc"; - - installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/"; + installPhase = '' + make -f Makefile.coq COQLIB=$out/lib/coq/${coq.coq-version}/ install + ''; postInstall = '' - mkdir -p $out/bin - cp -p bin/ssrcoq $out/bin - cp -p bin/ssrcoq.byte $out/bin + # mkdir -p $out/bin + # cp -p bin/ssrcoq $out/bin + # cp -p bin/ssrcoq.byte $out/bin '' + stdenv.lib.optionalString withDoc '' - mkdir -p $out/share/doc/coq/${coq.coq-version}/user-contrib/Ssreflect/ - cp -r html $out/share/doc/coq/${coq.coq-version}/user-contrib/Ssreflect/ + mkdir -p $out/share/doc/coq/${coq.coq-version}/user-contrib/mathcomp/ssreflect/ + cp -r html $out/share/doc/coq/${coq.coq-version}/user-contrib/mathcomp/ssreflect/ ''; meta = with stdenv.lib; { |