#!/bin/bash

ROOTHOME=`pwd`
GHCBIN=`which ghc`
GHCHOME=`dirname $GHCBIN`
OCAMLLIB=`ocamlc -v | tail -1 | cut -d : -f 2 | tr -d " "`

if [[ $Z3MEM = 'True' ]]
then
  Z3HOME=$ROOTHOME/external/z3
else
  Z3HOME=
fi

cat - > external/fixpoint/config.make <<EOF
OCAMLGRAPHHOME=$ROOTHOME/external/ocamlgraph
OCAMLLIB=$OCAMLLIB
Z3HOME=$Z3HOME
EOF

cat - > build.sh <<EOF
#!`which bash`

set -e

if [[ '$Z3MEM' = 'True' ]]
then
  if [[ \`uname -m\` = 'x86_64' ]]
  then
    echo Found 64-bit kernel. Moving z3 into place.
    cp external/z3/lib/libz3-so-64b external/z3/lib/libz3.so
    cp external/z3/lib/libz3-a-64b external/z3/lib/libz3.a
  else
    echo Assuming 32-bit kernel. Moving z3 into place.
    cp external/z3/lib/libz3-so-32b external/z3/lib/libz3.so
    cp external/z3/lib/libz3-a-32b external/z3/lib/libz3.a
  fi
  cd external/z3/ocaml; ./build-lib.sh; cd ../../../
fi

cd external/ocamlgraph/; ./configure; make; cd ../../
cd external/fixpoint; make; cd ../../
EOF

chmod a+x build.sh