Commit 73626b71 authored by Julien Lopez's avatar Julien Lopez

Fix opam_config.sh

parent 482bc19b
......@@ -3,7 +3,6 @@
VERBOSE="false"
WITHOCAML="false"
OCAMLFOLDER="ocaml"
ROOT=$PWD
usage ()
{
......@@ -13,7 +12,7 @@ usage ()
if test $# -lt 1; then usage; exit 1; fi
while [ true ]; do
while true; do
if test $1 = "-v" || test $1 = "--verbose"; then VERBOSE="true";
elif echo $1 | grep -qs "\-\-mliface=*"; then
WITHOCAML="true"; OCAMLFOLDER=`echo $1 | cut -d '=' -f 2`;
......@@ -55,7 +54,8 @@ opam install ocaml-expat
if $WITHOCAML = "true"; then
if test -d $OCAMLFOLDER; then
cd $OCAMLFOLDER; git checkout
cd $OCAMLFOLDER; git checkout $1 > /dev/null 2>&1
echo "OCaml sources updated to version $1."
else
echo "Couldn't find $OCAMLFOLDER. The interface will not be built."
fi
......
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