diff options
Diffstat (limited to 'math/why3-gpl/files/patch-Makefile.in')
| -rw-r--r-- | math/why3-gpl/files/patch-Makefile.in | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/math/why3-gpl/files/patch-Makefile.in b/math/why3-gpl/files/patch-Makefile.in new file mode 100644 index 000000000000..6d87243ab3a5 --- /dev/null +++ b/math/why3-gpl/files/patch-Makefile.in @@ -0,0 +1,10 @@ +--- Makefile.in.orig 2014-04-03 10:14:03.000000000 +0000 ++++ Makefile.in +@@ -46,7 +46,6 @@ OCAMLLIB = @OCAMLLIB@ + OCAMLINSTALLLIB = $(DESTDIR)@OCAMLINSTALLLIB@ + OCAMLBEST = @OCAMLBEST@ + OCAMLVERSION = @OCAMLVERSION@ +-CC = gcc + COQC = @COQC@ + COQDEP = @COQDEP@ + CAMLP5O = @CAMLP5O@ |