build.sbt 1.33 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
organization := "TU München"
3

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

6
scalaVersion := "2.12.8"
7

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

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

12
// EclipseKeys.withBundledScalaContainers := false
13 14

libraryDependencies ++= Seq(
15 16
	"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
17 18
	"org.scalactic" %% "scalactic" % "3.0.4" % "test",
	"org.scalatest" %% "scalatest" % "3.0.4" % "test",
Christian Müller's avatar
Christian Müller committed
19
	"org.scala-graph" %% "graph-core" % "1.12.5",
20
	"org.scala-graph" %% "graph-dot" % "1.12.1",
21
	"org.scala-lang.modules" %% "scala-parser-combinators" % "1.0.5"
22 23
)

Christian Müller's avatar
Christian Müller committed
24 25 26 27 28 29 30
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
31 32 33 34 35
// Exclude Z3 jar
assemblyExcludedJars in assembly := {
	val cp = (fullClasspath in assembly).value
	cp filter {_.data.getName == "com.microsoft.z3.jar"}
}
Christian Müller's avatar
Christian Müller committed
36 37 38 39
packageOptions 		in assembly += Package.ManifestAttributes(
	"Class-Path" -> "../z3-4.8.6-x64-ubuntu-16.04/bin/com.microsoft.z3.jar"
)
test 							in assembly := {}
Christian Müller's avatar
Christian Müller committed
40 41 42



Christian Müller's avatar
Christian Müller committed
43 44
assemblyJarName 	in assembly := "niwo-ts.jar"
mainClass 				in assembly := Some("de.tum.niwo.TSCLI")
45

Christian Müller's avatar
Christian Müller committed
46 47
//assemblyJarName 	in assembly := "niwo-wf.jar"
//mainClass 				in assembly := Some("de.tum.niwo.WFCLI")