$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";;
