diff options
Diffstat (limited to 'sci-mathematics/coq/files/oc43.patch')
-rw-r--r-- | sci-mathematics/coq/files/oc43.patch | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/sci-mathematics/coq/files/oc43.patch b/sci-mathematics/coq/files/oc43.patch deleted file mode 100644 index 47fa10ab575e..000000000000 --- a/sci-mathematics/coq/files/oc43.patch +++ /dev/null @@ -1,13 +0,0 @@ -Index: coq-8.5pl1/Makefile.common -=================================================================== ---- coq-8.5pl1.orig/Makefile.common -+++ coq-8.5pl1/Makefile.common -@@ -231,7 +231,7 @@ endif - LINKCMO:=$(CORECMA) $(STATICPLUGINS) - LINKCMX:=$(CORECMA:.cma=.cmxa) $(STATICPLUGINS:.cma=.cmxa) - --IDEDEPS:=lib/clib.cma lib/xml_lexer.cmo lib/xml_parser.cmo lib/xml_printer.cmo lib/errors.cmo lib/spawn.cmo -+IDEDEPS:=lib/clib.cma lib/errors.cmo lib/spawn.cmo - IDECMA:=ide/ide.cma - IDETOPLOOPCMA=ide/coqidetop.cma - |