diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 207 |
1 files changed, 112 insertions, 95 deletions
@@ -875,9 +875,51 @@ echo " documentation will be copied in $DOCDIR" echo " emacs mode will be copied in $EMACSLIB" echo "" -##################################################### -# Building the $COQTOP/config/coq_config.ml file -##################################################### +################################################## +# Building the $COQTOP/dev/ocamldebug-coq file +################################################## + +OCAMLDEBUGCOQ=$COQSRC/dev/ocamldebug-coq + +if test "$coq_debug_flag" = "-g" ; then + rm -f $OCAMLDEBUGCOQ + sed -e "s|COQTOPDIRECTORY|$COQTOP|" \ + -e "s|COQLIBDIRECTORY|$LIBDIR|" \ + -e "s|CAMLBINDIRECTORY|$CAMLBIN|" \ + -e "s|CAMLP4LIBDIRECTORY|$FULLCAMLP4LIB|"\ + $OCAMLDEBUGCOQ.template > $OCAMLDEBUGCOQ + chmod a-w,a+x $OCAMLDEBUGCOQ +fi + +#################################################### +# Fixing lablgtk types (before/after 2.6.0) +#################################################### + +if [ ! "$COQIDE" = "no" ]; then + if grep "class view " "$lablgtkdir/gText.mli" | grep -q "\[>" ; then + if grep -q "?accepts_tab:bool" "$lablgtkdir/gText.mli" ; then + cp -f ide/undo_lablgtk_ge212.mli ide/undo.mli + else + cp -f ide/undo_lablgtk_ge26.mli ide/undo.mli + fi + else + cp -f ide/undo_lablgtk_lt26.mli ide/undo.mli + fi +fi + +############################################## +# Creation of configuration files +############################################## + +mlconfig_file="$COQSRC/config/coq_config.ml" +config_file="$COQSRC/config/Makefile" +config_template="$COQSRC/config/Makefile.template" + + +### Warning !! +### After this line, be careful when using variables, +### since some of them (e.g. $COQSRC) will be escaped + # An escaped version of a variable escape_var () { @@ -888,65 +930,72 @@ EOF # Escaped version of browser command export BROWSER -ESCBROWSER=`VAR=BROWSER escape_var` +BROWSER=`VAR=BROWSER escape_var` # damned backslashes under M$Windows case $ARCH in win32) - ESCCOQTOP=`echo $COQTOP |sed -e 's|\\\|\\\\\\\|g'` - ESCBINDIR=`echo $BINDIR |sed -e 's|\\\|\\\\\\\|g'` - ESCSRCDIR=`cygpath -m $COQSRC |sed -e 's|\\\|\\\\\\\|g'` - ESCLIBDIR=`echo $LIBDIR |sed -e 's|\\\|\\\\\\\|g'` - ESCCAMLDIR=`echo $CAMLBIN |sed -e 's|\\\|\\\\\\\|g'` - ESCCAMLLIB=`echo $CAMLLIB |sed -e 's|\\\|\\\\\\\|g'` - ESCMANDIR=`echo $MANDIR |sed -e 's|\\\|\\\\\\\|g'` - ESCDOCDIR=`echo $DOCDIR |sed -e 's|\\\|\\\\\\\|g'` - ESCEMACSLIB=`echo $EMACSLIB |sed -e 's|\\\|\\\\\\\|g'` - ESCCOQDOCDIR=`echo $COQDOCDIR |sed -e 's|\\\|\\\\\\\|g'` - ESCCAMLP4BIN=`echo $CAMLP4BIN |sed -e 's|\\\|\\\\\\\|g'` - ESCCAMLP4LIB=`echo $CAMLP4LIB |sed -e 's|\\\|\\\\\\\|g'` - ESCLABLGTKINCLUDES=`echo $LABLGTKINCLUDES |sed -e 's|\\\|\\\\\\\|g'` - ESCCOQRUNBYTEFLAGS=`echo $COQRUNBYTEFLAGS |sed -e 's|\\\|\\\\\\\|g'` - ESCCOQTOOLSBYTEFLAGS=`echo $COQTOOLSBYTEFLAGS |sed -e 's|\\\|\\\\\\\|g'` - ESCBUILDLDPATH=`echo $BUILDLDPATH |sed -e 's|\\\|\\\\\\\|g'` -;; - *) - ESCCOQTOP="$COQTOP" - ESCBINDIR="$BINDIR" - ESCSRCDIR="$COQSRC" - ESCLIBDIR="$LIBDIR" - ESCCAMLDIR="$CAMLBIN" - ESCCAMLLIB="$CAMLLIB" - ESCMANDIR="$MANDIR" - ESCDOCDIR="$DOCDIR" - ESCEMACSLIB="$EMACSLIB" - ESCCOQDOCDIR="$COQDOCDIR" - ESCCAMLP4BIN="$CAMLP4BIN" - ESCCAMLP4LIB="$CAMLP4LIB" - ESCLABLGTKINCLUDES="$LABLGTKINCLUDES" - ESCCOQRUNBYTEFLAGS="$COQRUNBYTEFLAGS" - ESCCOQTOOLSBYTEFLAGS="$COQTOOLSBYTEFLAGS" - ESCBUILDLDPATH="$BUILDLDPATH" - ;; + COQTOP=`echo $COQTOP |sed -e 's|\\\|\\\\\\\|g'` + BINDIR=`echo $BINDIR |sed -e 's|\\\|\\\\\\\|g'` + COQSRC=`cygpath -m $COQSRC |sed -e 's|\\\|\\\\\\\|g'` + LIBDIR=`echo $LIBDIR |sed -e 's|\\\|\\\\\\\|g'` + CAMLBIN=`echo $CAMLBIN |sed -e 's|\\\|\\\\\\\|g'` + CAMLLIB=`echo $CAMLLIB |sed -e 's|\\\|\\\\\\\|g'` + MANDIR=`echo $MANDIR |sed -e 's|\\\|\\\\\\\|g'` + DOCDIR=`echo $DOCDIR |sed -e 's|\\\|\\\\\\\|g'` + EMACSLIB=`echo $EMACSLIB |sed -e 's|\\\|\\\\\\\|g'` + COQDOCDIR=`echo $COQDOCDIR |sed -e 's|\\\|\\\\\\\|g'` + CAMLP4BIN=`echo $CAMLP4BIN |sed -e 's|\\\|\\\\\\\|g'` + CAMLP4LIB=`echo $CAMLP4LIB |sed -e 's|\\\|\\\\\\\|g'` + LABLGTKINCLUDES=`echo $LABLGTKINCLUDES |sed -e 's|\\\|\\\\\\\|g'` + COQRUNBYTEFLAGS=`echo $COQRUNBYTEFLAGS |sed -e 's|\\\|\\\\\\\|g'` + COQTOOLSBYTEFLAGS=`echo $COQTOOLSBYTEFLAGS |sed -e 's|\\\|\\\\\\\|g'` + BUILDLDPATH=`echo $BUILDLDPATH |sed -e 's|\\\|\\\\\\\|g'` + ocamlexec=`echo $ocamlexec |sed -e 's|\\\|\\\\\\\|g'` + bytecamlc=`echo $bytecamlc |sed -e 's|\\\|\\\\\\\|g'` + nativecamlc=`echo $nativecamlc |sed -e 's|\\\|\\\\\\\|g'` + ocamlmklibexec=`echo $ocamlmklibexec |sed -e 's|\\\|\\\\\\\|g'` + ocamldepexec=`echo $ocamldepexec |sed -e 's|\\\|\\\\\\\|g'` + ocamldocexec=`echo $ocamldocexec |sed -e 's|\\\|\\\\\\\|g'` + ocamllexexec=`echo $ocamllexexec |sed -e 's|\\\|\\\\\\\|g'` + ocamlyaccexec=`echo $ocamlyaccexec |sed -e 's|\\\|\\\\\\\|g'` + camlp4oexec=`echo $camlp4oexec |sed -e 's|\\\|\\\\\\\|g'` + ;; esac -mlconfig_file="$COQSRC/config/coq_config.ml" +##################################################### +# Building the $COQTOP/config/coq_config.ml file +##################################################### + rm -f "$mlconfig_file" cat << END_OF_COQ_CONFIG > $mlconfig_file (* DO NOT EDIT THIS FILE: automatically generated by ../configure *) let local = $local -let coqrunbyteflags = "$ESCCOQRUNBYTEFLAGS" -let coqlib = "$ESCLIBDIR" -let coqsrc = "$ESCSRCDIR" -let camlbin = "$ESCCAMLDIR" -let camllib = "$ESCCAMLLIB" +let coqrunbyteflags = "$COQRUNBYTEFLAGS" +let coqlib = "$LIBDIR" +let coqsrc = "$COQSRC" +let ocaml = "$ocamlexec" +let ocamlc = "$bytecamlc" +let ocamlopt = "$nativecamlc" +let ocamlmklib = "$ocamlmklibexec" +let ocamldep = "$ocamldepexec" +let ocamldoc = "$ocamldocexec" +let ocamlyacc = "$ocamlyaccexec" +let ocamllex = "$ocamllexexec" +let camlbin = "$CAMLBIN" +let camllib = "$CAMLLIB" let camlp4 = "$CAMLP4" -let camlp4bin = "$ESCCAMLP4BIN" -let camlp4lib = "$ESCCAMLP4LIB" +let camlp4o = "$camlp4oexec" +let camlp4bin = "$CAMLP4BIN" +let camlp4lib = "$CAMLP4LIB" +let camlp4compat = "$CAMLP4COMPAT" +let coqideincl = "$LABLGTKINCLUDES" +let cflags = "$cflags" let best = "$best_compiler" let arch = "$ARCH" let has_natdynlink = $HASNATDYNLINK +let natdynlinkflag = "$NATDYNLINKFLAG" let osdeplibs = "$OSDEPLIBS" let version = "$VERSION" let caml_version = "$CAMLVERSION" @@ -956,7 +1005,7 @@ let vo_magic_number = $VOMAGIC let state_magic_number = $STATEMAGIC let exec_extension = "$EXE" let with_geoproof = ref $with_geoproof -let browser = "$ESCBROWSER" +let browser = "$BROWSER" END_OF_COQ_CONFIG @@ -983,32 +1032,32 @@ chmod a-w "$mlconfig_file" # Building the $COQTOP/config/Makefile file ############################################### -rm -f "$COQSRC/config/Makefile" +rm -f "$config_file" sed -e "s|LOCALINSTALLATION|$local|" \ - -e "s|XCOQRUNBYTEFLAGS|$ESCCOQRUNBYTEFLAGS|" \ - -e "s|XCOQTOOLSBYTEFLAGS|$ESCCOQTOOLSBYTEFLAGS|" \ + -e "s|XCOQRUNBYTEFLAGS|$COQRUNBYTEFLAGS|" \ + -e "s|XCOQTOOLSBYTEFLAGS|$COQTOOLSBYTEFLAGS|" \ -e "s|COQSRCDIRECTORY|$COQSRC|" \ -e "s|COQVERSION|$VERSION|" \ - -e "s|BINDIRDIRECTORY|$ESCBINDIR|" \ - -e "s|COQLIBDIRECTORY|$ESCLIBDIR|" \ - -e "s|BUILDLDPATH=|$ESCBUILDLDPATH|" \ - -e "s|MANDIRDIRECTORY|$ESCMANDIR|" \ - -e "s|DOCDIRDIRECTORY|$ESCDOCDIR|" \ - -e "s|EMACSLIBDIRECTORY|$ESCEMACSLIB|" \ + -e "s|BINDIRDIRECTORY|$BINDIR|" \ + -e "s|COQLIBDIRECTORY|$LIBDIR|" \ + -e "s|BUILDLDPATH=|$BUILDLDPATH|" \ + -e "s|MANDIRDIRECTORY|$MANDIR|" \ + -e "s|DOCDIRDIRECTORY|$DOCDIR|" \ + -e "s|EMACSLIBDIRECTORY|$EMACSLIB|" \ -e "s|EMACSCOMMAND|$EMACS|" \ - -e "s|COQDOCDIRECTORY|$ESCCOQDOCDIR|" \ + -e "s|COQDOCDIRECTORY|$COQDOCDIR|" \ -e "s|MKTEXLSRCOMMAND|$MKTEXLSR|" \ -e "s|ARCHITECTURE|$ARCH|" \ -e "s|OSDEPENDENTLIBS|$OSDEPLIBS|" \ -e "s|OSDEPENDENTP4OPTFLAGS|$OSDEPP4OPTFLAGS|" \ - -e "s|CAMLLIBDIRECTORY|$ESCCAMLLIB|" \ + -e "s|CAMLLIBDIRECTORY|$CAMLLIB|" \ -e "s|CAMLTAG|$CAMLTAG|" \ - -e "s|CAMLP4BINDIRECTORY|$ESCCAMLP4BIN|" \ + -e "s|CAMLP4BINDIRECTORY|$CAMLP4BIN|" \ -e "s|CAMLP4LIBDIRECTORY|$CAMLP4LIB|" \ -e "s|CAMLP4TOOL|$camlp4oexec|" \ -e "s|CAMLP4COMPATFLAGS|$CAMLP4COMPAT|" \ - -e "s|LABLGTKINCLUDES|$ESCLABLGTKINCLUDES|" \ + -e "s|LABLGTKINCLUDES|$LABLGTKINCLUDES|" \ -e "s|COQDEBUGFLAGOPT|$coq_debug_flag_opt|" \ -e "s|COQDEBUGFLAG|$coq_debug_flag|" \ -e "s|COQPROFILEFLAG|$coq_profile_flag|" \ @@ -1036,41 +1085,9 @@ sed -e "s|LOCALINSTALLATION|$local|" \ -e "s|CHECKEDOUTSOURCETREE|$checkedout|" \ -e "s|WITHDOCOPT|$with_doc|" \ -e "s|HASNATIVEDYNLINK|$NATDYNLINKFLAG|" \ - "$COQSRC/config/Makefile.template" > "$COQSRC/config/Makefile" - -chmod a-w "$COQSRC/config/Makefile" - -################################################## -# Building the $COQTOP/dev/ocamldebug-coq file -################################################## + "$config_template" > "$config_file" -OCAMLDEBUGCOQ=$COQSRC/dev/ocamldebug-coq - -if test "$coq_debug_flag" = "-g" ; then - rm -f $OCAMLDEBUGCOQ - sed -e "s|COQTOPDIRECTORY|$COQTOP|" \ - -e "s|COQLIBDIRECTORY|$LIBDIR|" \ - -e "s|CAMLBINDIRECTORY|$CAMLBIN|" \ - -e "s|CAMLP4LIBDIRECTORY|$FULLCAMLP4LIB|"\ - $OCAMLDEBUGCOQ.template > $OCAMLDEBUGCOQ - chmod a-w,a+x $OCAMLDEBUGCOQ -fi - -#################################################### -# Fixing lablgtk types (before/after 2.6.0) -#################################################### - -if [ ! "$COQIDE" = "no" ]; then - if grep "class view " "$lablgtkdir/gText.mli" | grep -q "\[>" ; then - if grep -q "?accepts_tab:bool" "$lablgtkdir/gText.mli" ; then - cp -f ide/undo_lablgtk_ge212.mli ide/undo.mli - else - cp -f ide/undo_lablgtk_ge26.mli ide/undo.mli - fi - else - cp -f ide/undo_lablgtk_lt26.mli ide/undo.mli - fi -fi +chmod a-w "$config_file" ################################################## # The end |