#!/bin/sh

die () {
   echo "*** mkconfig: $*" 1>&2
   exit 1
}

[ -f makefile ] || die "can not find 'makefile'"

cat<<EOF
/**********************************************************/
/* Automatically generated by './mkconfig': do note edit! */
/**********************************************************/
EOF

if [ ! x"`grep '^CXX=g++$' makefile`" =  x ]
then
patchgccversion="`g++ --version|head -1`"
patchgccversion="s|\"g++\"|\"$patchgccversion\"|"
elif [ ! x"`grep '^CXX=gcc$' makefile`" =  x ]
then
patchgccversion="`gcc --version|head -1`"
patchgccversion="s|\"gcc\"|\"$patchgccversion\"|"
else
patchgccversion="s,DUMMY,DUMMY,"
fi

echo "#define PRECOSAT_OS \"`uname -srmn`\""
echo "#define PRECOSAT_COMPILED \"`date`\""
cat<<EOF
#define PRECOSAT_RELEASED "Fri May 14 16:42:36 CEST 2010"
#define PRECOSAT_VERSION "465r2"
#define PRECOSAT_ID "2ce82baa03201526ca8c1c8e83d34f28d52455c7"
EOF
