11 lines
387 B
Diff
11 lines
387 B
Diff
diff -Nuar coq-8.3pl3-orig/configure coq-8.3pl3/configure
|
|
--- coq-8.3pl3-orig/configure 2011-12-19 22:57:30.000000000 +0100
|
|
+++ coq-8.3pl3/configure 2012-03-17 16:38:16.000000000 +0100
|
|
@@ -395,7 +395,6 @@
|
|
ocamlyaccexec=$CAMLBIN/ocamlyacc
|
|
ocamlmktopexec=$CAMLBIN/ocamlmktop
|
|
ocamlmklibexec=$CAMLBIN/ocamlmklib
|
|
- camlp4oexec=$CAMLBIN/camlp4o
|
|
esac
|
|
|
|
if test ! -f "$CAMLC" ; then
|