forked from ckaestne/TypeChef
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathtypechefsampling.sh
executable file
·2 lines (2 loc) · 1.56 KB
/
typechefsampling.sh
1
2
#!/bin/sh
java -ea -Xmx4096m -Xms128m -Xss10m -classpath "/work/joliebig/TypeChef/Sampling/target/scala-2.10/classes:/work/joliebig/TypeChef/CParser/target/scala-2.10/classes:/work/joliebig/TypeChef/FeatureExprLib/target/scala-2.10/classes:/work/joliebig/TypeChef/PartialPreprocessor/target/scala-2.10/classes:/work/joliebig/TypeChef/ErrorLib/target/scala-2.10/classes:/work/joliebig/TypeChef/ParserFramework/target/scala-2.10/classes:/work/joliebig/TypeChef/ConditionalLib/target/scala-2.10/classes:/work/joliebig/TypeChef/CTypeChecker/target/scala-2.10/classes:/work/joliebig/TypeChef/CRewrite/target/scala-2.10/classes:/work/joliebig/TypeChef/Frontend/target/scala-2.10/classes:/work/joliebig/TypeChef/JavaParser/target/scala-2.10/classes:/work/joliebig/TypeChef/FeatureExprLib/lib/javabdd-1.0b2.jar:/work/joliebig/TypeChef/PartialPreprocessor/lib/xtc_2.9.1-2.3.1.jar:/home/joliebig/.sbt/boot/scala-2.10.1/lib/scala-library.jar:/home/joliebig/.ivy2/cache/org.sat4j/org.sat4j.core/jars/org.sat4j.core-2.3.1.jar:/home/joliebig/.ivy2/cache/gnu.getopt/java-getopt/jars/java-getopt-1.0.13.jar:/home/joliebig/.ivy2/cache/org.apache.ant/ant/jars/ant-1.8.2.jar:/home/joliebig/.ivy2/cache/org.apache.ant/ant-launcher/jars/ant-launcher-1.8.2.jar:/home/joliebig/.ivy2/cache/com.googlecode.kiama/kiama_2.10/jars/kiama_2.10-1.4.0.jar:/home/joliebig/.ivy2/cache/jline/jline/jars/jline-1.0.jar:/home/joliebig/.ivy2/cache/org.apache.logging.log4j/log4j-api/jars/log4j-api-2.0-beta4.jar:/home/joliebig/.ivy2/cache/org.apache.logging.log4j/log4j-core/jars/log4j-core-2.0-beta4.jar" de.fosd.typechef.Sampling "$@"