diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2015-05-28 20:31:12 +0200 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2015-06-19 18:11:33 +0200 |
| commit | 01571ab2d796d136987c8759fe9b7347ea9a7720 (patch) | |
| tree | f46305dee6a32ce57116b1ba94725d6fa4dbc3bb /pkgs/development/coq-modules/mathcomp/generic.nix | |
| parent | 524b7fe178e7ff909d9eef1e8fab78e227076de7 (diff) | |
| download | nixlib-01571ab2d796d136987c8759fe9b7347ea9a7720.tar nixlib-01571ab2d796d136987c8759fe9b7347ea9a7720.tar.gz nixlib-01571ab2d796d136987c8759fe9b7347ea9a7720.tar.bz2 nixlib-01571ab2d796d136987c8759fe9b7347ea9a7720.tar.lz nixlib-01571ab2d796d136987c8759fe9b7347ea9a7720.tar.xz nixlib-01571ab2d796d136987c8759fe9b7347ea9a7720.tar.zst nixlib-01571ab2d796d136987c8759fe9b7347ea9a7720.zip | |
coq-mathcomp: refactor
Diffstat (limited to 'pkgs/development/coq-modules/mathcomp/generic.nix')
| -rw-r--r-- | pkgs/development/coq-modules/mathcomp/generic.nix | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/mathcomp/generic.nix b/pkgs/development/coq-modules/mathcomp/generic.nix new file mode 100644 index 000000000000..3748152b68a7 --- /dev/null +++ b/pkgs/development/coq-modules/mathcomp/generic.nix @@ -0,0 +1,33 @@ +{ stdenv, fetchurl, coq, ssreflect +, graphviz, ocamlPackages, withDoc ? true +, src +}: + +stdenv.mkDerivation { + + name = "coq-${coq.coq-version}-mathcomp-1.5"; + + inherit src; + + nativeBuildInputs = stdenv.lib.optionals withDoc + ([ graphviz ] ++ (with ocamlPackages; [ ocaml camlp5_transitional ])); + propagatedBuildInputs = [ ssreflect ]; + + enableParallelBuilding = true; + + buildFlags = stdenv.lib.optionalString withDoc "doc"; + + installFlags = "COQLIB=$(out)/lib/coq/${coq.coq-version}/"; + + postInstall = stdenv.lib.optionalString withDoc '' + make -f Makefile.coq install-doc DOCDIR=$out/share/coq/${coq.coq-version}/ + ''; + + meta = with stdenv.lib; { + homepage = http://ssr.msr-inria.inria.fr/; + license = licenses.cecill-b; + maintainers = [ maintainers.vbgl maintainers.jwiegley ]; + platforms = coq.meta.platforms; + }; + +} |