Commit 21b1f3dd authored by François Bobot's avatar François Bobot

[Configure] fix configuration problem with coqtop

When coqtop -config return something like

```
CAMLP4OPTIONS=-loc loc
```

(cf https://coq.inria.fr/bugs/show_bug.cgi?id=4163)
parent 1ffe49cd
...@@ -495,8 +495,10 @@ else ...@@ -495,8 +495,10 @@ else
COQVERSION=`$COQC -v | sed -n -e 's|.*version* *\([[^ ]]*\) .*$|\1|p' ` COQVERSION=`$COQC -v | sed -n -e 's|.*version* *\([[^ ]]*\) .*$|\1|p' `
#Even if the name of the variable is CAMLP4 the value can be camlp5 #Even if the name of the variable is CAMLP4 the value can be camlp5
COQCAMLP=$(eval `coqtop -config`; echo ${CAMLP4BIN}${CAMLP4}o) CAMLP4BIN=`coqtop -config | sed -n -e 's/CAMLP4BIN=\(.*\)$/\1/p'`
COQCAMLPLIB=$(eval `coqtop -config`; echo ${CAMLP4LIB}) CAMLP4=`coqtop -config | sed -n -e 's/CAMLP4=\(.*\)$/\1/p'`
COQCAMLPLIB=`coqtop -config | sed -n -e 's/CAMLP4LIB=\(.*\)$/\1/p'`
COQCAMLP=${CAMLP4BIN}${CAMLP4}o
case $COQVERSION in case $COQVERSION in
8.4*) 8.4*)
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment