2 files changed, 0 insertions, 40 deletions
diff --git a/math/coq/files/patch-Makefile.build b/math/coq/files/patch-Makefile.build
deleted file mode 100644
index 15fa789877ed..000000000000
--- a/math/coq/files/patch-Makefile.build
+++ /dev/null
@@ -1,29 +0,0 @@
---- Makefile.build.orig	2016-12-08 15:13:52 UTC
-+++ Makefile.build
-@@ -101,7 +101,7 @@ TIMER=$(if $(TIMED), $(STDTIME), $(TIMECMD))
- #   TIME="%C (%U user, %S sys, %e total, %M maxres)"
- 
- COQOPTS=$(COQ_XML) $(NATIVECOMPUTE)
--BOOTCOQC=$(TIMER) $(COQTOPEXE) -boot $(COQOPTS) -compile
-+BOOTCOQC=$(TIMER) env CAML_LD_LIBRARY_PATH=$${PWD}/kernel/byterun $(COQTOPEXE) -boot $(COQOPTS) -compile
- 
- LOCALINCLUDES=$(addprefix -I , $(SRCDIRS) )
- MLINCLUDES=$(LOCALINCLUDES) -I $(MYCAMLP4LIB)
-@@ -334,7 +334,7 @@ coqbinaries: $(COQMKTOP) $(COQTOPEXE) $(COQTOPBYTE) \
- ifeq ($(BEST),opt)
- $(COQTOPEXE): $(COQMKTOP) $(LINKCMX) $(LIBCOQRUN) $(TOPLOOPCMA:.cma=.cmxs)
- 	$(SHOW)'COQMKTOP -o $@'	
--	$(HIDE)$(COQMKTOP) -boot -opt $(OPTFLAGS) $(LINKMETADATA) -o $@
-+	$(HIDE)$(COQMKTOP) -boot -opt $(filter-out -unsafe-string, $(OPTFLAGS)) $(LINKMETADATA) -o $@
- 	$(STRIP) $@
- 	$(CODESIGN) $@
- else
-@@ -344,7 +344,7 @@ endif
- 
- $(COQTOPBYTE): $(COQMKTOP) $(LINKCMO) $(LIBCOQRUN) $(TOPLOOPCMA)
- 	$(SHOW)'COQMKTOP -o $@'	
--	$(HIDE)$(COQMKTOP) -boot -top $(BYTEFLAGS) -o $@
-+	$(HIDE)$(COQMKTOP) -boot -top $(filter-out -unsafe-string, $(BYTEFLAGS)) -o $@
- 
- # coqmktop
- 
diff --git a/math/coq/files/patch-Makefile.install b/math/coq/files/patch-Makefile.install
deleted file mode 100644
index 6597b7133aa0..000000000000
--- a/math/coq/files/patch-Makefile.install
+++ /dev/null
@@ -1,11 +0,0 @@
---- Makefile.install.orig	2016-12-08 15:13:52 UTC
-+++ Makefile.install
-@@ -29,7 +29,7 @@ install-doc-no:
- .PHONY: install install-doc-all install-doc-no
- 
- #These variables are intended to be set by the caller to make
--#COQINSTALLPREFIX=
-+COQINSTALLPREFIX=${DESTDIR}
- #OLDROOT=
- 
-   # Can be changed for a local installation (to make packages).