|
DataMuseum.dkPresents historical artifacts from the history of: DKUUG/EUUG Conference tapes |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about DKUUG/EUUG Conference tapes Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - metrics - downloadIndex: T c
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«
#! /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