diff options
| author | Tobias Geerinckx-Rice <tobias.geerinckx.rice@gmail.com> | 2016-01-24 02:02:21 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <tobias.geerinckx.rice@gmail.com> | 2016-01-24 02:02:21 +0100 |
| commit | 32d40f0f98e7cb50a979a596d61f757fda4ab27d (patch) | |
| tree | 1ffb704b02475de2ae9f1e37e9e10ab6b6084e38 /pkgs/development/coq-modules/ssreflect | |
| parent | 5fa5eae086d7b34858dad4927e933e1d29d8bc34 (diff) | |
| download | nixlib-32d40f0f98e7cb50a979a596d61f757fda4ab27d.tar nixlib-32d40f0f98e7cb50a979a596d61f757fda4ab27d.tar.gz nixlib-32d40f0f98e7cb50a979a596d61f757fda4ab27d.tar.bz2 nixlib-32d40f0f98e7cb50a979a596d61f757fda4ab27d.tar.lz nixlib-32d40f0f98e7cb50a979a596d61f757fda4ab27d.tar.xz nixlib-32d40f0f98e7cb50a979a596d61f757fda4ab27d.tar.zst nixlib-32d40f0f98e7cb50a979a596d61f757fda4ab27d.zip | |
Remove no longer (or never) referenced patches
55 files changed, 6041 deletions. Tested with `nix-build -A tarball`.
Diffstat (limited to 'pkgs/development/coq-modules/ssreflect')
| -rw-r--r-- | pkgs/development/coq-modules/ssreflect/threads.patch | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/pkgs/development/coq-modules/ssreflect/threads.patch b/pkgs/development/coq-modules/ssreflect/threads.patch deleted file mode 100644 index d60a645f6ee8..000000000000 --- a/pkgs/development/coq-modules/ssreflect/threads.patch +++ /dev/null @@ -1,16 +0,0 @@ ---- 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 |