diff options
Diffstat (limited to 'pkgs/development/coq-modules/ssreflect/generic.nix')
-rw-r--r-- | pkgs/development/coq-modules/ssreflect/generic.nix | 46 |
1 files changed, 46 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/ssreflect/generic.nix b/pkgs/development/coq-modules/ssreflect/generic.nix new file mode 100644 index 000000000000..dffa895da5fc --- /dev/null +++ b/pkgs/development/coq-modules/ssreflect/generic.nix @@ -0,0 +1,46 @@ +{ stdenv, fetchurl, coq +, graphviz, withDoc ? true +, src, patches ? [] +}: + +stdenv.mkDerivation { + + name = "coq-${coq.coq-version}-ssreflect-1.5"; + + inherit src; + + nativeBuildInputs = stdenv.lib.optionals withDoc [ graphviz ]; + buildInputs = [ coq.ocaml coq.camlp5 ]; + 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 + ''; + + buildFlags = stdenv.lib.optionalString withDoc "doc"; + + installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/"; + + postInstall = '' + 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/ + ''; + + meta = with stdenv.lib; { + homepage = http://ssr.msr-inria.inria.fr/; + license = licenses.cecill-b; + maintainers = with maintainers; [ vbgl jwiegley ]; + platforms = coq.meta.platforms; + }; + +} |