run stainless from jar only

readme

place the two other files in stainless/bin after running `sbt package`.

stainless-dotty-alt

#!/usr/bin/env bash

set -o posix

set -o pipefail

IVY="$HOME/.ivy2/cache"
BASE=$(pwd)/../

SCALACLASSPATH="$IVY/org.scala-lang/scala-compiler/jars/scala-compiler-2.11.8.jar:$IVY/org.scala-lang/scala-library/jars/scala-library-2.11.8.jar:$IVY/org.scala-lang/scala-reflect/jars/scala-reflect-2.11.8.jar:$IVY/org.scala-lang.modules/scala-parser-combinators_2.11/bundles/scala-parser-combinators_2.11-1.0.4.jar:$IVY/ch.epfl.lara/inox_2.11/jars/inox_2.11-1.0.2-161-g082081b.jar:$IVY/org.apache.commons/commons-lang3/jars/commons-lang3-3.4.jar:$IVY/com.regblanc/scala-smtlib_2.11/jars/scala-smtlib_2.11-0.2.2.jar:$IVY/uuverifiers/princess_2.11/jars/princess_2.11-2016-12-26.jar:$IVY/uuverifiers/princess-parser_2.11/jars/princess-parser_2.11-2016-12-26.jar:$IVY/uuverifiers/princess-smt-parser_2.11/jars/princess-smt-parser_2.11-2016-12-26.jar:$IVY/net.sf.squirrel-sql.thirdparty-non-maven/java-cup/jars/java-cup-0.11a.jar:$IVY/ch.epfl.lara/cafebabe_2.11/jars/cafebabe_2.11-1.2.jar:$IVY/org.json4s/json4s-native_2.11/jars/json4s-native_2.11-3.5.2.jar:$IVY/org.json4s/json4s-core_2.11/jars/json4s-core_2.11-3.5.2.jar:$IVY/org.json4s/json4s-ast_2.11/jars/json4s-ast_2.11-3.5.2.jar:$IVY/org.json4s/json4s-scalap_2.11/jars/json4s-scalap_2.11-3.5.2.jar:$IVY/com.thoughtworks.paranamer/paranamer/bundles/paranamer-2.8.jar:$IVY/org.scala-lang.modules/scala-xml_2.11/bundles/scala-xml_2.11-1.0.6.jar:$BASE/unmanaged/scalaz3-unix-64-2.11.jar:$BASE/core/target/scala-2.11/stainless-core_2.11-0.1.jar:$BASE/frontends/dotty/target/scala-2.11/stainless-dotty-frontend_2.11-0.1.jar:$BASE/frontends/stainless-dotty/target/scala-2.11/stainless-dotty_2.11-0.1.jar:$IVY/ch.epfl.lamp/dotty_2.11/jars/dotty_2.11-0.1.1-bin-20170429-10a2ce6-NIGHTLY.jar:$IVY/ch.epfl.lamp/dotty-compiler_2.11/jars/dotty-compiler_2.11-0.1.1-bin-20170429-10a2ce6-NIGHTLY.jar:$IVY/ch.epfl.lamp/dotty-interfaces/jars/dotty-interfaces-0.1.1-bin-20170429-10a2ce6-NIGHTLY.jar:$IVY/ch.epfl.lamp/dotty-library_2.11/jars/dotty-library_2.11-0.1.1-bin-20170429-10a2ce6-NIGHTLY.jar"

java -Xmx2G -Xms512M -Xss64M -classpath "${SCALACLASSPATH}" -Dscala.usejavacp=true stainless.Main $@ 2>&1 | tee -i last.log

stainless-scalac-alt

#!/usr/bin/env bash

set -o posix

set -o pipefail

IVY="$HOME/.ivy2/cache"
BASE=$(pwd)/../

SCALACLASSPATH="$IVY/org.scala-lang/scala-compiler/jars/scala-compiler-2.11.8.jar:$IVY/org.scala-lang/scala-library/jars/scala-library-2.11.8.jar:$IVY/org.scala-lang/scala-reflect/jars/scala-reflect-2.11.8.jar:$IVY/org.scala-lang.modules/scala-parser-combinators_2.11/bundles/scala-parser-combinators_2.11-1.0.4.jar:$IVY/ch.epfl.lara/inox_2.11/jars/inox_2.11-1.0.2-161-g082081b.jar:$IVY/org.apache.commons/commons-lang3/jars/commons-lang3-3.4.jar:$IVY/com.regblanc/scala-smtlib_2.11/jars/scala-smtlib_2.11-0.2.2.jar:$IVY/uuverifiers/princess_2.11/jars/princess_2.11-2016-12-26.jar:$IVY/uuverifiers/princess-parser_2.11/jars/princess-parser_2.11-2016-12-26.jar:$IVY/uuverifiers/princess-smt-parser_2.11/jars/princess-smt-parser_2.11-2016-12-26.jar:$IVY/net.sf.squirrel-sql.thirdparty-non-maven/java-cup/jars/java-cup-0.11a.jar:$IVY/ch.epfl.lara/cafebabe_2.11/jars/cafebabe_2.11-1.2.jar:$IVY/org.json4s/json4s-native_2.11/jars/json4s-native_2.11-3.5.2.jar:$IVY/org.json4s/json4s-core_2.11/jars/json4s-core_2.11-3.5.2.jar:$IVY/org.json4s/json4s-ast_2.11/jars/json4s-ast_2.11-3.5.2.jar:$IVY/org.json4s/json4s-scalap_2.11/jars/json4s-scalap_2.11-3.5.2.jar:$IVY/com.thoughtworks.paranamer/paranamer/bundles/paranamer-2.8.jar:$IVY/org.scala-lang.modules/scala-xml_2.11/bundles/scala-xml_2.11-1.0.6.jar:$BASE/unmanaged/scalaz3-unix-64-2.11.jar:$BASE/core/target/scala-2.11/stainless-core_2.11-0.1.jar:$BASE/frontends/scalac/target/scala-2.11/stainless-scalac_2.11-0.1.jar"

java -Xmx2G -Xms512M -Xss64M -classpath "${SCALACLASSPATH}" -Dscala.usejavacp=true stainless.Main $@ 2>&1 | tee -i last.log