#!/bin/csh -v

# NOTE: modified to show compilation errors as well as write to file

# NOTE: to configure and make jumpstart-2 and jumpstart-3, added $JAVA_HOME 
# environment variable and passed as a flag (--with-java=) to configure 
# (ajw,2001.12.11)

# NOTE: the output from configure (config-mine.log) still complains about
# missing JAVA, but make succeeds (make.log)

setenv GM_HOME /home/weaver/gm
setenv RSH ssh
setenv JAVA_HOME /usr/java/jdk1.3.1_01

rm -f config-mine.log

# edit this line for different compilers, arch, shell, flags
./configure -nodevdebug -cflags="-I$GM_HOME/binary/include -I$GM_HOME/include"\
             -opt=-O2  -device=ch_gm -noromio -noc++ --disable-f90 \
             --lib="-L$GM_HOME/binary/lib/ -L$GM_HOME/lib/ -lgm -lpthread " \
             -arch=LINUX -fc=g77 -cc=gcc -rsh=$RSH \
             --with-java=$JAVA_HOME \
             |& tee config-mine.log

rm -f make.log
make |& tee make.log