#!/bin/sh
# This configure script is custom and hand-coded;
# it is NOT a product of GNU Autoconf or any other such tools!

set -e

if [ ! -f configure ]
then
	echo "This script needs to be run from the top of the source tree" 1>&2
	exit 1
fi

# defaults that can be overridden
CC=gcc
CFLAGS=-O2
prefix=/usr/local
exec_prefix=
bindir=

while [ $# != 0 ]
do
	case "$1" in
		--prefix=*)
			prefix=`echo $1 | cut -c 10-`
			;;
		--exec-prefix=*)
			exec_prefix=`echo $1 | cut -c 15-`
			;;
		--bindir=*)
			bindir=`echo $1 | cut -c 10-`
			;;
		CC=*)
			CC=`echo $1 | cut -c 4-`
			;;
		CFLAGS=*)
			CFLAGS=`echo $1 | cut -c 8-`
			;;
		*)
			echo "error: non-understood option $1" 1>&2
			exit 1;
			;;
	esac
	shift
done

# inheritance rules for install directories

if [ -z "$exec_prefix" ]
then
	exec_prefix="$prefix"
fi
if [ -z "$bindir" ]
then
	bindir="$exec_prefix/bin"
fi

# report the final configuration

echo "C code will be compiled with:"
echo "  CC=$CC"
echo "  CFLAGS=$CFLAGS"
echo "Installation directory:"
echo "  bindir=$bindir"

# emit the Makefile include fragment
echo "CC=$CC" > config.defs
echo "CFLAGS=$CFLAGS" >> config.defs
echo "bindir=$bindir" >> config.defs