1#!/bin/sh 2# 3# configure 4# 5# No parameters for now. 6 7platform=`uname` 8 9# BeOS 10if [ "${platform}" == "BeOS" ] ; then 11 # GGC_PATH 12 if [ "x${GCC_PATH}" == "x" ] ; then 13 gcclib=`gcc -print-libgcc-file-name` 14 GCC_PATH=`dirname ${gcclib}` 15 fi 16 17# Linux 18else if [ "${platform}" == "Linux" ] ; then 19 # GGC_PATH 20 if [ "x${GCC_PATH}" == "x" ] ; then 21 gcclib=`gcc -print-libgcc-file-name` 22 GCC_PATH=`dirname ${gcclib}` 23 fi 24 25# Unknown platform 26else 27 echo Unsupported platform: ${platform} 28 exit 1 29fi; fi 30 31# Generate BuildConfig 32cat << EOF > BuildConfig 33# BuildConfig 34# Note: This file has been automatically generated by configure. 35 36GCC_PATH = ${GCC_PATH} ; 37EOF 38