#!/bin/sh

dresdenjars=$(find $DRESDEN_HOME -name "*.jar")
for i in $dresdenjars ; do
    dresdencp=$i:$dresdencp
done

# Resolve symlinks
self=$0
while [ -h "$self" ] ; do
    link=$(readlink $self)
    if expr "$link" : '/.*' > /dev/null; then
        self="$link"
    else
        self="$(dirname "$self")/$link"
    fi
done
self=$(dirname $self)

# Execute java
if [ ! -z "$dresdencp" -a ! -z "$self" ] ; then
    java -cp $dresdencp:$self/target/classes/:$DRESDEN_HOME/resources/:$CLASSPATH -DrepositoryLocation=$DRESDEN_HOME/resources/ ch.ethz.infsec.dresdenocltools.ConstraintsToJava $*
else
    echo "Libs for Dresden OCL not found - have you set \$DRESDEN_HOME?"
fi
