.eclim 2.5 KB
Newer Older
1 2 3 4
;; -*- mode: emacs-lisp -*-
(((name . "Run Catalyst")
  (main-class . "org.aminb.alloy.catalyst.MainCLI")
  (vm-args . "-Dfile.encoding=UTF-8 -classpath /home/amin/.m2/repository/org/sat4j/org.sat4j.core/2.3.1/org.sat4j.core-2.3.1.jar:/home/amin/src/git/org.alloytools.alloy/org.alloytools.kodkod.nativesat/target/classes:/home/amin/src/git/org.alloytools.alloy/org.alloytools.kodkod.nativesat/target/org.alloytools.kodkod.nativesat.util.jar:/home/amin/src/git/org.alloytools.alloy/org.alloytools.kodkod.nativesat/target/org.alloytools.kodkod.nativesat.amd64-linux.jar:/home/amin/src/git/org.alloytools.alloy/org.alloytools.kodkod.nativesat/target/org.alloytools.kodkod.nativesat.x86-linux.jar:/home/amin/src/git/org.alloytools.alloy/org.alloytools.kodkod.nativesat/target/org.alloytools.kodkod.nativesat.x86-mac.jar:/home/amin/src/git/org.alloytools.alloy/org.alloytools.kodkod.nativesat/target/org.alloytools.kodkod.nativesat.x86-windows.jar:/home/amin/.m2/repository/org/osgi/osgi.enroute.junit.wrapper/4.12.0/osgi.enroute.junit.wrapper-4.12.0.jar:/home/amin/.m2/repository/org/osgi/osgi.enroute.hamcrest.wrapper/1.3.0/osgi.enroute.hamcrest.wrapper-1.3.0.jar:/home/amin/src/git/org.alloytools.alloy/org.alloytools.kodkod.core/target/classes:/home/amin/src/git/org.alloytools.alloy/org.alloytools.kodkod.core/target/org.alloytools.kodkod.core.jar:/home/amin/.m2/repository/org/eclipse/jdt/org.eclipse.jdt.annotation/2.1.100/org.eclipse.jdt.annotation-2.1.100.jar:/home/amin/src/git/org.alloytools.alloy/org.alloytools.alloy.core/src/main/resources:/home/amin/src/git/org.alloytools.alloy/org.alloytools.alloy.core/target/classes:/home/amin/src/git/org.alloytools.alloy/org.alloytools.alloy.core/target/org.alloytools.alloy.core.jar:/home/amin/src/git/org.alloytools.alloy/org.aminb.alloy.catalyst/lib/combinatoricslib3-3.3.0.jar:/home/amin/src/git/org.alloytools.alloy/org.aminb.alloy.catalyst/lib/github-api-1.95.jar:/home/amin/src/git/org.alloytools.alloy/org.aminb.alloy.catalyst/lib/jackson-core-2.9.2.jar:/home/amin/src/git/org.alloytools.alloy/org.aminb.alloy.catalyst/lib/jackson-annotations-2.9.2.jar:/home/amin/src/git/org.alloytools.alloy/org.aminb.alloy.catalyst/lib/jackson-databind-2.9.2.jar:/home/amin/src/git/org.alloytools.alloy/org.aminb.alloy.catalyst/lib/commons-io-1.4.jar:/home/amin/src/git/org.alloytools.alloy/org.aminb.alloy.catalyst/lib/commons-lang3-3.7.jar:/home/amin/src/git/org.alloytools.alloy/org.aminb.alloy.catalyst/lib/commons-codec-1.11.jar:/home/amin/src/git/org.alloytools.alloy/org.aminb.alloy.catalyst/target/classes")))