$OpenBSD: patch-configure,v 1.2 2018/09/12 04:58:49 daniel Exp $

Fixup path locations for OpenBSD.

Index: configure
--- configure.orig
+++ configure
@@ -17,7 +17,8 @@
 
 prefix='/usr/local'
 bindir='$(PREFIX)/bin'
-libdir='$(PREFIX)/lib/compcert'
+libdir='$(PREFIX)/lib'
+mandir='$(PREFIX)/man'
 coqdevdir='$(PREFIX)/lib/compcert/coq'
 toolprefix=''
 target=''
@@ -623,14 +624,14 @@ esac
 #
 # Generate Makefile.config
 #
-sharedir="$(dirname "$bindir")"/share
+sharedir="$(dirname "$bindir")"/share/compcert
 
 rm -f Makefile.config
 cat > Makefile.config <<EOF
 PREFIX=$prefix
 BINDIR=$bindir
 LIBDIR=$libdir
-MANDIR=$sharedir/man
+MANDIR=$mandir
 SHAREDIR=$sharedir
 COQDEVDIR=$coqdevdir
 OCAML_OPT_COMP=$ocaml_opt_comp
