Skip to main content

Browse the archive

Revision cf5fd8ff43139ad3933032cc9a0aa82f91daafde authored by cdunchev@gmail.com on 21 August 2012, 19:52:49 UTC, committed by cdunchev@gmail.com on 21 August 2012, 19:52:49 UTC 
the example from the journal paper is unfolded for a 
given instance and the formulas/terms are normalized 
with respect to a t.r.s. which is parsed from the .lks input file.
The arrow rule has been added.








git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1148 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
1 parent 287b935
Raw File
cli.sh 
#!/usr/bin/env bash

# searches the actual $PATH, local directory and its development subpath for 
# the CLI jar package and runs the scala interpreter
# (preference is given to the development version)

export JARNAME="cli-1.0-SNAPSHOT-jar-with-dependencies.jar"
export SCP=""
export POSSIBLE_PATHS=`echo $PATH | sed s/:/\\ /g`

for I in ${POSSIBLE_PATHS} .; do
    if test -f $I/${JARNAME};
    then
	export SCP=$I
	break
    fi
done

for I in ${POSSIBLE_PATHS} .; do
    if test -f $I/cli/target/${JARNAME};
    then
	export SCP="$I/cli/target"
	break
    fi
done

if test _${SCP}_ = __ ; then 
    echo "Could not find ${JARNAME}!"
else
    echo found ${JARNAME} in ${SCP}!
    export JAVA_OPTS="-Xss2m -Xmx2g"
    #scala -classpath ${SCP}/${JARNAME} -i cli-script.scala
    $JAVA_HOME/bin/java -jar ${SCP}/${JARNAME}
    # workaround because jline somehow mixes up the terminal
    reset
fi
back to top