13 lines
652 B
Plaintext
13 lines
652 B
Plaintext
$OpenBSD: patch-configure,v 1.3 2013/02/07 09:43:15 chrisz Exp $
|
|
--- configure.orig Sat Dec 22 11:06:16 2012
|
|
+++ configure Sat Feb 2 18:04:47 2013
|
|
@@ -887,7 +887,7 @@ case $coqrunbyteflags_spec/$local/$custom_spec/$CUSTOM
|
|
*/true/*/*) COQRUNBYTEFLAGS="-dllib -lcoqrun -dllpath '$COQTOP'/kernel/byterun";;
|
|
*)
|
|
COQRUNBYTEFLAGS="-dllib -lcoqrun -dllpath '$LIBDIR'"
|
|
- BUILDLDPATH="export CAML_LD_LIBRARY_PATH='$COQTOP'/kernel/byterun";;
|
|
+ BUILDLDPATH="export CAML_LD_LIBRARY_PATH=$COQTOP/kernel/byterun";;
|
|
esac
|
|
case $coqtoolsbyteflags_spec/$custom_spec/$CUSTOM_OS in
|
|
yes/*/*) COQTOOLSBYTEFLAGS="$coqtoolsbyteflags";;
|