3e98d5ff11
From Nikolay Sturm <sturm@sec.informatik.tu-darmstadt.de>.
13 lines
457 B
Plaintext
13 lines
457 B
Plaintext
$OpenBSD: patch-configure,v 1.1 2002/08/25 20:44:40 naddy Exp $
|
|
--- configure.orig Wed Aug 7 14:45:00 2002
|
|
+++ configure Thu Aug 22 09:23:56 2002
|
|
@@ -1325,7 +1325,7 @@ fi
|
|
|
|
(
|
|
cd ../../camlp4/config
|
|
-EXE=$exe ./configure_batch -bindir "$bindir" -libdir "$libdir" -mandir "$mandir" -ocaml-top ../.. > /dev/null
|
|
+EXE=$exe ./configure_batch -prefix "$prefix" -ocaml-top ../.. > /dev/null
|
|
)
|
|
|
|
# Final twiddling of compiler options to work around known bugs
|