configure

#!/bin/bash

prefix=/usr/local
debugsym=true
js_of_ocaml=false
z3_solver=true

for arg in "$@"; do
    case "$arg" in
    --prefix=*)
        prefix=$(echo $arg | sed 's/--prefix=//')
        ;;

    --enable-debug)
        debugsym=true
        ;;
    --disable-debug)
        debugsym=false
        ;;

    --js_of_ocaml)
        js_of_ocaml=true
        ;;

    --without-z3-solver)
        z3_solver=false
        ;;

    --help)
        echo 'usage: ./configure [options]'
        echo 'options:'
        echo '  --prefix=<path>: installation prefix'
        echo '  --js_of_ocaml: Enables js_of_ocaml'
        echo '  --enable-debug: include debug symbols'
        echo '  --disable-debug: do not include debug symbols'
        echo 'all invalid options are silently ignored'
        exit 0
        ;;
    esac
done

# checks if z3 solver is available
chmod 755 scripts/check_z3.sh
. scripts/check_z3.sh

echo 'generating makefile ...'
echo "PREFIX = $prefix" >Makefile
if $debugsym; then
    echo 'dbg = -g' >>Makefile
fi
cat Makefile.in >>Makefile

if $js_of_ocaml; then
    # js_of_ocaml parameters: --disable genprim --debug-info
    echo -e "js: version
\tcp src/interface/z3solver_dummy.ml src/interface/z3solver_.ml
\tcp src/interface/mathkernel_call_dummy.ml src/interface/mathkernel_call_.ml
\tcp src/js/helper.ml src/js/helper_.ml
\topam install js_of_ocaml -y
\tdune build --profile release src/rmtld3synth.bc
\tjs_of_ocaml --disable genprim --debug-info +base/runtime.js _build/default/src/rmtld3synth.bc
" >>Makefile

    echo -e "(library
  (name            js)
  (public_name     rmtld3synth.js)
  (libraries       sexplib ppx_sexp_conv js_of_ocaml)
  (modules         Helper_)
  (preprocess      (pps ppx_sexp_conv))
)
" >src/js/dune
fi

if [ -n "$Z3_VERSION" ] && [ "x$z3_solver" == "xtrue" ]; then
    echo "Z3 Version Found: $Z3_VERSION"

    if $(vercmp "$Z3_VERSION" "4.7.1" "<="); then
        echo -e "\nzsolver: 
\tcp src/interface/z3solver.ml src/interface/z3solver_.ml" >>Makefile
    else
        echo -e "\nzsolver: 
\tcp src/interface/z3solver_newAPI.ml src/interface/z3solver_.ml" >>Makefile
    fi

else
    echo -e "\nzsolver: 
\tcp src/interface/z3solver_dummy.ml src/interface/z3solver_.ml" >>Makefile
    sed -i 's/z3//' src/interface/dune
fi

echo 'configuration complete, type make to build.'