#-*- shell-script -*- :mode=shellscript:

KODKODI="$COMPONENT"
KODKODI_VERSION="1.5.2"
KODKODI_JAR="$KODKODI/jar"
KODKODI_JNI="$KODKODI/jni"

KODKODI_CLASSPATH="$KODKODI_JAR/antlr-runtime-3.1.1.jar:$KODKODI_JAR/kodkod-1.5.jar:$KODKODI_JAR/kodkodi-$KODKODI_VERSION.jar:$KODKODI_JAR/sat4j-2.3.jar"
KODKODI_JAVA_LIBRARY_PATH="$KODKODI_JNI/${ISABELLE_WINDOWS_PLATFORM64:-$ISABELLE_PLATFORM64}"
