14 lines
697 B
Plaintext
14 lines
697 B
Plaintext
$OpenBSD: patch-configure,v 1.5 2014/03/26 03:27:26 daniel Exp $
|
|
|
|
--- configure.orig Sat Dec 21 03:03:14 2013
|
|
+++ configure Mon Dec 30 19:04:42 2013
|
|
@@ -897,7 +897,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:$CAML_LD_LIBRARY_PATH";;
|
|
+ BUILDLDPATH="export CAML_LD_LIBRARY_PATH=$COQTOP/kernel/byterun:$CAML_LD_LIBRARY_PATH";;
|
|
esac
|
|
case $coqtoolsbyteflags_spec/$custom_spec/$CUSTOM_OS in
|
|
yes/*/*) COQTOOLSBYTEFLAGS="$coqtoolsbyteflags";;
|