#!/bin/bash TEMP=`getopt -o "" --long prefix:,bindir:,datadir:,pydir: \ -n 'configure' -- "$@"` eval set -- "$TEMP" while true ; do case "$1" in --prefix) PREFIX=$2 ; shift 2 ;; --bindir) BINDIR=$2 ; shift 2 ;; --datadir) DATADIR=$2 ; shift 2 ;; --pydir) PYDIR=$2 ; shift 2 ;; --) shift ; break ;; *) echo "Internal error!" ; exit 1 ;; esac done if [[ $PREFIX == "" ]] ; then PREFIX=/usr/local ; fi if [[ $BINDIR == "" ]] ; then BINDIR=$PREFIX/bin ; fi if [[ $DATADIR == "" ]] ; then DATADIR=$PREFIX/share/laydi ; fi if [[ $DOCDIR == "" ]] ; then DOCDIR=$PREFIX/share/doc/laydi; fi if [[ $PYDIR == "" ]] ; then PYDIR=$PREFIX/share/python-support/laydi; fi m4 -D M4_PREFIX=$PREFIX -D M4_BINDIR=$BINDIR \ -D M4_DATADIR=$DATADIR -D M4_DOCDIR=$DOCDIR \ -D M4_PYDIR=$PYDIR Makefile.m4 > Makefile m4 -D M4_PREFIX=$PREFIX -D M4_BINDIR=$BINDIR \ -D M4_DATADIR=$DATADIR -D M4_DOCDIR=$DOCDIR \ -D M4_PYDIR=$PYDIR doc/Makefile.m4 > doc/Makefile m4 -D M4_PREFIX=$PREFIX -D M4_BINDIR=$BINDIR \ -D M4_DATADIR=$DATADIR -D M4_DOCDIR=$DOCDIR \ -D M4_PYDIR=$PYDIR fluents/paths.py.m4 > fluents/paths.py