#!/bin/sh
#
# configure
#
# No parameters for now.

platform=`uname`

# BeOS
if [ "${platform}" == "BeOS" ] ; then
	# GGC_PATH
	if [ "x${GCC_PATH}" == "x" ] ; then
		gcclib=`gcc -print-libgcc-file-name`
		GCC_PATH=`dirname ${gcclib}`
	fi

# Linux
else if [ "${platform}" == "Linux" ] ; then
	# GGC_PATH
	if [ "x${GCC_PATH}" == "x" ] ; then
		gcclib=`gcc -print-libgcc-file-name`
		GCC_PATH=`dirname ${gcclib}`
	fi

# Unknown platform
else
	echo Unsupported platform: ${platform}
	exit 1
fi; fi

# Generate BuildConfig
cat << EOF > BuildConfig
# BuildConfig
# Note: This file has been automatically generated by configure.

GCC_PATH = ${GCC_PATH} ;
EOF