+
−#!/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=
+
−includedir=
+
−libdir=
+
−
+
−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-`
+
−			;;
+
−		--includedir=*)
+
−			includedir=`echo $1 | cut -c 14-`
+
−			;;
+
−		--libdir=*)
+
−			libdir=`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
+
−if [ -z "$includedir" ]
+
−then
+
−	includedir="$prefix/include"
+
−fi
+
−if [ -z "$libdir" ]
+
−then
+
−	libdir="$exec_prefix/lib"
+
−fi
+
−
+
−# report the final configuration
+
−
+
−echo "C code will be compiled with:"
+
−echo "  CC=$CC"
+
−echo "  CFLAGS=$CFLAGS"
+
−echo "Installation directories:"
+
−echo "  bindir=$bindir"
+
−echo "  includedir=$includedir"
+
−echo "  libdir=$libdir"
+
−
+
−# emit the Makefile include fragment
+
−echo "CC=$CC" > config.defs
+
−echo "CFLAGS=$CFLAGS" >> config.defs
+
−echo "bindir=$bindir" >> config.defs
+
−echo "includedir=$includedir" >> config.defs
+
−echo "libdir=$libdir" >> config.defs