2 files changed, 40 insertions, 0 deletions

diff --git a/math/coq/files/patch-Makefile.build b/math/coq/files/patch-Makefile.build
new file mode 100644
index 000000000000..c8767447f442
--- /dev/null
+++ b/math/coq/files/patch-Makefile.build
@@ -0,0 +1,29 @@
+--- Makefile.build.orig	2016-01-20 16:52:18 UTC
++++ Makefile.build
+@@ -56,7 +56,7 @@ CURDEPS:=$(addsuffix .d, $(CURFILES))
+ 
+ # Variables meant to be modifiable via the command-line of make
+ 
+-VERBOSE=
++VERBOSE=1
+ NO_RECOMPILE_ML4=
+ NO_RECALC_DEPS=
+ READABLE_ML4=	# non-empty means .ml of .ml4 will be ascii instead of binary
+@@ -82,7 +82,7 @@ STDTIME=/usr/bin/time -f "$* (user: %U m
+ TIMER=$(if $(TIMED), $(STDTIME), $(TIMECMD))
+ 
+ COQOPTS=$(COQ_XML) $(VM) $(NATIVECOMPUTE)
+-BOOTCOQC=$(TIMER) $(COQTOPEXE) -boot $(COQOPTS) -compile
++BOOTCOQC=$(TIMER) env CAML_LD_LIBRARY_PATH=$${PWD}/kernel/byterun $(COQTOPEXE) -boot $(COQOPTS) -compile
+ 
+ # The SHOW and HIDE variables control whether make will echo complete commands 
+ # or only abbreviated versions. 
+@@ -704,7 +704,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).
diff --git a/math/coq/files/patch-configure.ml b/math/coq/files/patch-configure.ml
new file mode 100644
index 000000000000..e31ec3317f4f
--- /dev/null
+++ b/math/coq/files/patch-configure.ml
@@ -0,0 +1,11 @@
+--- configure.ml.orig	2016-01-20 16:52:18 UTC
++++ configure.ml
+@@ -843,7 +843,7 @@ let strip =
+ (** * md5sum command *)
+ 
+ let md5sum =
+-  if arch = "Darwin" then "md5 -q" else "md5sum"
++  if arch = "FreeBSD" then "md5 -q" else "md5sum"
+ 
+ 
+ (** * Documentation : do we have latex, hevea, ... *)