build.sbt 1.2 KB
Newer Older
Christian Müller's avatar
Christian Müller committed
1
name := "niwo"
Christian Müller's avatar
Christian Müller committed
2

Christian Müller's avatar
Christian Müller committed
3
version := "0.9"
Christian Müller's avatar
Christian Müller committed
4

5
scalaVersion := "2.12.8"
6

Christian Müller's avatar
Christian Müller committed
7 8 9
javaOptions += "-Xmx4096m"
javaOptions += "-Xms2048m"

Christian Müller's avatar
Christian Müller committed
10

11
// EclipseKeys.withBundledScalaContainers := false
Christian Müller's avatar
Christian Müller committed
12 13

libraryDependencies ++= Seq(
14 15
	"com.typesafe.scala-logging" %% "scala-logging" % "3.9.2",
	"ch.qos.logback" % "logback-classic" % "1.2.3",
Christian Müller's avatar
Christian Müller committed
16 17
	"org.scalactic" %% "scalactic" % "3.0.4" % "test",
	"org.scalatest" %% "scalatest" % "3.0.4" % "test",
Christian Müller's avatar
Christian Müller committed
18
	"org.scala-graph" %% "graph-core" % "1.12.5",
19
	"org.scala-graph" %% "graph-dot" % "1.12.1",
20
	"org.scala-lang.modules" %% "scala-parser-combinators" % "1.0.5"
Christian Müller's avatar
Christian Müller committed
21 22
)

Christian Müller's avatar
Christian Müller committed
23 24 25 26 27 28 29
Compile / unmanagedJars ++= {
	val base = baseDirectory.value
	val baseDirectories = (base / "lib") +++ (base / "lib" / "owl")
	val customJars = (baseDirectories ** "*.jar") +++ (base / "d" / "my.jar")
	customJars.classpath
}

Christian Müller's avatar
Christian Müller committed
30 31 32 33 34 35 36 37 38 39 40
// Exclude Z3 jar
assemblyExcludedJars in assembly := {
	val cp = (fullClasspath in assembly).value
	cp filter {_.data.getName == "com.microsoft.z3.jar"}
}


test 							in assembly := {}
assemblyJarName 	in assembly := "niwo-ts.jar"
mainClass 				in assembly := Some("de.tum.niwo.TSCLI")

41

Christian Müller's avatar
Christian Müller committed
42 43 44
//test 							in assembly := {}
//assemblyJarName 	in assembly := "niwo-wf.jar"
//mainClass 				in assembly := Some("de.tum.niwo.WFCLI")