configure

#!/bin/bash

configure_options="$*"
platform=unix
dotprogram='dot'
dotviewer='dotviewer'
vcdviewer='gtkwave'
txtviewer='nano'
install_prefix='/usr/local/hocl'
install_bindir=''
install_libdir=''
install_docdir=''
#install_mandir=''
install_emacsdir=''
sysc_lib='yes'
doc='yes'
sysc_dir='/usr/local/systemc-2.3.0'
preesm_dir='/usr/local/preesm-dev'
local=''

# Parse command-line arguments

while : ; do
  case "$1" in
    "") break;;
    -prefix|--prefix)
        install_prefix=$2; shift;;
    -bindir|--bindir)
        install_binbdir=$2; shift;;
    -libdir|--libdir)
        install_libdir=$2; shift;;
    -docdir|--docdir)
        install_docdir=$2; shift;;
#    -mandir|--mandir)
#        install_mandir=$2; shift;;
    -emacsdir|--emacsdir)
        install_emacsdir=$2; shift;;
    -no-doc|--no-doc)
        doc='no';;
    -dot|--dot)
        dotprogram=$2; shift;;
    -dotviewer|--dotviewer)
        dotviewer=$2; shift;;
    -systemcdir|--systemcdir)
        sysc_dir=$2; shift;;
    -preesmdir|--preesmdir)
        preesm_dir=$2; shift;;
    -local|--local)
        local='yes';;
    -help|--help)
        cat <<EOF
Usage: configure [options]
Options: [defaults in brackets after descriptions]
  --prefix DIR            install executables, libs and docs in DIR [default: $prefix]
  --bindir DIR            install  executables in DIR [default: $install_bindir]
  --libdir DIR            install libraries in in DIR [default: $install_libdir]
  --docdir DIR            install documentation in DIR [default: $install_docdir]
  --emacsdir DIR          install emacs mode in DIR [default:$install_emacsdir]
  --dot NAME              command for runing dot program [default: $dotprogram]
  --dotviewer NAME        command for displaying .dot files [default: $dotviewer]
  --systemcdir DIR        location of the SystemC installation [default: $sysc_dir]
  --preesmdir DIR         target dir for Preesm projects [default: $preesm_dir]
  --help                  print this message
EOF
	exit 0;;
    *) echo "Unknown option \"$1\"." 1>&2; exit 2;;
  esac
  shift
done

if [ -n "$install_prefix" ]; then
  install_bindir="$install_prefix/bin"
  install_libdir="$install_prefix/lib"
  install_docdir="$install_prefix/doc"
  install_emacsdir="$install_prefix/share/emacs/site-lisp"
fi


# Generate the config file

rootdir=`dirname $0`

cd $rootdir
rm -f config
touch config

# Write options

version=`cat VERSION`
echo "# generated by ./configure $configure_options" >> config
echo "" >> config
echo "PLATFORM=$platform" >> config
echo "VERSION=$version" >> config
echo "BUILD_DOC=$doc" >> config
echo "" >> config
echo "# INSTALL PATHS" >> config
echo "INSTALL_BINDIR=$install_bindir" >> config
echo "INSTALL_LIBDIR=$install_libdir" >> config
# if [ -n "$doc" ]; then
# echo "INSTALL_DOCDIR=$install_docdir" >> config
# fi
#echo "INSTALL_MANDIR=$install_mandir" >> config
echo "INSTALL_EMACSDIR=$install_emacsdir" >> config

touch ./config-stamp
echo "** Wrote file ./config"

echo
echo "** Configuration summary **"
echo
echo "Directory where the distribution will be installed:"
echo "        binaries................   $install_bindir"
echo "        library.................   $install_libdir"
# if [ -n "$doc" ]; then
# echo "        documentation............. $install_docdir"
# fi
#echo "        man pages................. $install_mandir"
echo "        emacs mode................ $install_emacsdir"
echo

echo "HOCL=$install_prefix" > platform
echo "HOCLC=\$(HOCL)/bin/hoclc" >> platform
echo "DOTVIEWER=$dotviewer" >> platform
echo "VCDVIEWER=$vcdviewer" >> platform
echo "TXTVIEWER=$txtviewer" >> platform
echo "PREESM_REP=$preesm_dir" >> platform
echo "PREESM_PROJ=$preesm_dir/\$(PROJ)" >> platform

echo "** Wrote file ./platform"

echo "(* This file is generated *)" > ./src/version.ml
echo "let version=\"$version\"" >> ./src/version.ml
echo "let stdlib=\"$install_prefix/lib/hocl/stdlib.hcl\"" >> ./src/version.ml

echo "** Wrote file ./src/version.ml"