DataMuseum.dk

top - metrics - download

    Length: 2493 (0x9bd)
    Types: TextFile
    Names: »config.cf«

└─⟦db229ac7e⟧ Bits:30007240 EUUGD20: SSBA 1.2 / AFW Benchmarks
    └─⟦this⟧ »EUUGD20/AFUU-ssba1.21/ssba1.21E/config/config.cf« 

TextFile

#! /bin/sh
#				SSBA 1.21E
#
# Script : config.cf
#
INSTALL=../install
syn=../results/synthese
b=config
log=$b.log
res=$b.res
d=`date`
echo "CONFIGURATION:	BEGIN configuration at $d" >$log
chmod u+x $b.run
printer=`cat $INSTALL/printer.cmd`
optprinter=`cat $INSTALL/printer.opt`
pager=`cat $INSTALL/pager.cmd`
cc=`cat $INSTALL/cc.cmd`
optcc=`cat $INSTALL/cc.opt`
flocc=`cat $INSTALL/cc.flo`
system=`cat $INSTALL/define`
sed -e "s/^PRINTER.*$/PRINTER	=	${printer}/" \
    -e "s/^PRINTOPT.*$/PRINTOPT=	${optprinter}/" \
    -e "s/^PAGER.*$/PAGER	=	${pager}/" \
    -e "s/^COMPILER.*$/COMPILER=	${cc}/" \
    -e "s/^LOCALOPT.*$/LOCALOPT=	${optcc}/" \
    -e "s/^FLOPT.*$/FLOPT=		${flocc}/" \
    -e "s/^SYSTEM.*$/SYSTEM	=	${system}/" \
	<config.mk >config.tmp
mv config.tmp config.mk
#
# Machine identification
#
if [ -f /bin/uname ]
then
	mach=`uname -a`
	methode="(uname)"
elif [ -f /usr/bin/uname ]
then
	mach=`uname -a`
	methode="(uname)"
elif [ -f /usr/bin/uuname ]
then
	mach=`uuname -l`
	methode="(uuname)"
elif [ -f /bin/hostname ]
then
	mach=`hostname`
	methode="(hostname)"
elif [ -f /usr/bin/hostname ]
then
	mach=`hostname`
	methode="(hostname)"
elif [ -f /etc/systemid ]
then
	mach=`cat /etc/systemid`
	methode="(systemid)"
else
	echo "Name of your machine :"
	read mach
	if [ "$mach" = "" ]
	then
		mach="unknown"
		methode="(manual)"
	fi
fi
echo "machine = $mach $methode" >>$res
echo "machine = $mach $methode" >>$syn
echo "$mach" >$INSTALL/machine
#
# Login name
#
if [ -f /bin/who ]
then
	user=`who am i`
	echo "whoami = $user" >>$res
	echo "whoami = $user" >>$syn
else
	user=`logname`
	echo "logname = $user" >>$res
	echo "logname = $user" >>$syn
fi	
#
# HZ determination
#
rm hz.h 2>/dev/null
rm hz.tmp 2>/dev/null
methode="(calculation)"
make hz -f $b.mk
./hz >HZ
hz=`cat HZ`
if [ "$hz" = "70" ] ; then
	methode="(rounded calculation)"
	hz=60
	echo $hz > HZ
fi
if [ "$hz" = "0" ] ; then
	grep HZ /usr/include/sys/param.h >hz.tmp
	if grep -c "define.*HZ.*$" hz.tmp >/dev/null ; then
		methode="(param.h)"
		awk ' { if ($2 == "HZ") print $3 } ' <hz.tmp >hz.param
		hz=`cat hz.param`
		rm hz.param
		echo "HZ (calculation) = 0 - HZ (param.h) = $hz" >>$log
		echo $hz > HZ
	else
		methode="(forcing)"
		hz=60
		echo $hz > HZ
	fi
	rm hz.tmp
fi
echo "#define HZ	$hz" >hz.h
echo "#define HZ	$hz" >$INSTALL/hz.h
echo "value of HZ = $hz $methode" >>$res
echo "value of HZ = $hz $methode" >>$syn
#
# End of configuration
#
d=`date`
echo "CONFIGURATION:	END configuration at $d" >>$log