diff options
author | John Wiegley <johnw@newartisans.com> | 2015-04-24 11:51:05 -0500 |
---|---|---|
committer | John Wiegley <johnw@newartisans.com> | 2015-04-26 22:29:15 -0500 |
commit | 9402a566206f855234f3bdd90983974ea96f6e07 (patch) | |
tree | 8b28d6fa77924157923f3f0441cdd9192efb68b2 /pkgs/development/coq-modules | |
parent | 39d8b61a25eb1fc0b5410b7fec4992540f8e5b8a (diff) | |
download | nixlib-9402a566206f855234f3bdd90983974ea96f6e07.tar nixlib-9402a566206f855234f3bdd90983974ea96f6e07.tar.gz nixlib-9402a566206f855234f3bdd90983974ea96f6e07.tar.bz2 nixlib-9402a566206f855234f3bdd90983974ea96f6e07.tar.lz nixlib-9402a566206f855234f3bdd90983974ea96f6e07.tar.xz nixlib-9402a566206f855234f3bdd90983974ea96f6e07.tar.zst nixlib-9402a566206f855234f3bdd90983974ea96f6e07.zip |
coq_8_5: New expression
Diffstat (limited to 'pkgs/development/coq-modules')
-rw-r--r-- | pkgs/development/coq-modules/mathcomp/1.5.nix | 26 | ||||
-rw-r--r-- | pkgs/development/coq-modules/ssreflect/1.5.nix | 42 | ||||
-rw-r--r-- | pkgs/development/coq-modules/ssreflect/threads.patch | 16 |
3 files changed, 84 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/mathcomp/1.5.nix b/pkgs/development/coq-modules/mathcomp/1.5.nix new file mode 100644 index 000000000000..c984bab49171 --- /dev/null +++ b/pkgs/development/coq-modules/mathcomp/1.5.nix @@ -0,0 +1,26 @@ +{stdenv, fetchurl, coq, ssreflect}: + +stdenv.mkDerivation { + + name = "coq-mathcomp-1.5-8.5b2"; + + src = fetchurl { + url = http://ssr.msr-inria.inria.fr/FTP/mathcomp-1.5.coq85beta2.tar.gz; + sha256 = "03bnq44ym43x8shi7whc02l0g5vy6rx8f1imjw478chlgwcxazqy"; + }; + + propagatedBuildInputs = [ coq ssreflect ]; + + enableParallelBuilding = true; + + installFlags = "COQLIB=$(out)/lib/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; + hydraPlatforms = []; + }; + +} diff --git a/pkgs/development/coq-modules/ssreflect/1.5.nix b/pkgs/development/coq-modules/ssreflect/1.5.nix new file mode 100644 index 000000000000..7c16b43ba8cb --- /dev/null +++ b/pkgs/development/coq-modules/ssreflect/1.5.nix @@ -0,0 +1,42 @@ +{stdenv, fetchurl, coq}: + +assert coq.coq-version == "8.5"; + +stdenv.mkDerivation { + + name = "coq-ssreflect-1.5-8.5b2"; + + src = fetchurl { + url = http://ssr.msr-inria.inria.fr/FTP/ssreflect-1.5.coq85beta2.tar.gz; + sha256 = "084l9xd5vgb8jml0dkm66g8cil5rsf04w821pjhn2qk9mdbwaagf"; + }; + + buildInputs = [ coq.ocaml coq.camlp5 ]; + propagatedBuildInputs = [ coq ]; + + enableParallelBuilding = true; + + patches = [ ./threads.patch ]; + + postPatch = '' + # Permit building of the ssrcoq statically-bound executable + sed -i 's/^#-custom/-custom/' Make + sed -i 's/^#SSRCOQ/SSRCOQ/' Make + ''; + + 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 + ''; + + meta = with stdenv.lib; { + homepage = http://ssr.msr-inria.inria.fr/; + license = licenses.cecill-b; + maintainers = with maintainers; [ vbgl jwiegley ]; + platforms = coq.meta.platforms; + }; + +} diff --git a/pkgs/development/coq-modules/ssreflect/threads.patch b/pkgs/development/coq-modules/ssreflect/threads.patch new file mode 100644 index 000000000000..d60a645f6ee8 --- /dev/null +++ b/pkgs/development/coq-modules/ssreflect/threads.patch @@ -0,0 +1,16 @@ +--- a/Make 2015-04-20 13:37:06.000000000 +0200 ++++ b/Make 2015-04-25 11:32:53.885194600 +0200 +@@ -1,9 +1,9 @@ + ### Uncomment for static linking + ## +-#-custom "$(COQBIN)coqmktop -coqlib `$(COQBIN)coqtop -where` -opt -o bin/ssrcoq src/ssrmatching.cmx src/ssreflect.cmx" "src/ssrmatching.cmx src/ssreflect.cmx" bin/ssrcoq +-#-custom "$(COQBIN)coqmktop -coqlib `$(COQBIN)coqtop -where` -o bin/ssrcoq.byte src/ssrmatching.cmo src/ssreflect.cmo" "src/ssrmatching.cmo src/ssreflect.cmo" bin/ssrcoq.byte +-#-custom "$(SSRCOQ) $(COQFLAGS) -compile $*" "%.v $(SSRCOQ)" "%.vo" +-#SSRCOQ = bin/ssrcoq ++-custom "$(COQBIN)coqmktop -coqlib `$(COQBIN)coqtop -where` -opt -o bin/ssrcoq -I +threads src/ssrmatching.cmx src/ssreflect.cmx" "src/ssrmatching.cmx src/ssreflect.cmx" bin/ssrcoq ++-custom "$(COQBIN)coqmktop -coqlib `$(COQBIN)coqtop -where` -o bin/ssrcoq.byte -I +threads src/ssrmatching.cmo src/ssreflect.cmo" "src/ssrmatching.cmo src/ssreflect.cmo" bin/ssrcoq.byte ++-custom "$(SSRCOQ) $(COQFLAGS) -compile $*" "%.v $(SSRCOQ)" "%.vo" ++SSRCOQ = bin/ssrcoq + ## + + ## What follows should be left untouched by the final user of ssreflect |