#! /bin/sh # Version: $Revision: 1.2 $, $Date: 2003/09/25 03:49:23 $ # Specify the full path to the root directory of Rei # E.g., /home/joe/apps/rei REI_HOME=E:/Profiles/ReiConfig/Rei # Specify path to java JAVA_HOME=E:/j2sdk1.4.1_06/bin #### NO NEED TO CHANGE THE CONFIGURATION BELOW THIS LINE #### for i in ${REI_HOME}/lib/*.jar ; do if [ "$CP" != "" ]; then #CP=${CP}:$i CP="cygpath -w -p $i:${CP}" else CP="cygpath -w -p $i" fi done #export LD_LIBRARY_PATH=$REI_HOME/lib #export CLASSPATH="$CLASSPATH:$CP:$REI_HOME/classes:." rm $REI_HOME/classes/*.class $JAVA_HOME/javac -classpath ".;$REI_HOME/lib/arp2.jar;$REI_HOME/lib/daml.jar;$REI_HOME/lib/fowl.jar;$REI_HOME/lib/icu4j.jar;$REI_HOME/lib/xercesImpl.jar;$REI_HOME/lib/xmlParserAPIs.jar;$REI_HOME/lib/yajxb.jar" -d $REI_HOME/classes $REI_HOME/src/*.java $JAVA_HOME/java -classpath ".;$REI_HOME/lib/arp2.jar;$REI_HOME/lib/daml.jar;$REI_HOME/lib/fowl.jar;$REI_HOME/lib/icu4j.jar;$REI_HOME/lib/xercesImpl.jar;$REI_HOME/lib/xmlParserAPIs.jar;$REI_HOME/lib/yajxb.jar;$REI_HOME/classes" -Dxsbargs.value=E:/Profiles/XSB/XSB/bin ReiEngine $REI_HOME/config.xml #$JAVA_HOME/javac -d classes $REI_HOME/src/*.java #$JAVA_HOME/java ReiEngine $REI_HOME/config.xml