Commit 39a04ad8 authored by Christian Müller's avatar Christian Müller

build and logback

parent 7f764497
name := "niwo"
organization := "TU München"
version := "0.9"
......@@ -32,13 +33,15 @@ assemblyExcludedJars in assembly := {
val cp = (fullClasspath in assembly).value
cp filter {_.data.getName == "com.microsoft.z3.jar"}
}
packageOptions in assembly += Package.ManifestAttributes(
"Class-Path" -> "../z3-4.8.6-x64-ubuntu-16.04/bin/com.microsoft.z3.jar"
)
test in assembly := {}
test in assembly := {}
assemblyJarName in assembly := "niwo-ts.jar"
mainClass in assembly := Some("de.tum.niwo.TSCLI")
//assemblyJarName in assembly := "niwo-ts.jar"
//mainClass in assembly := Some("de.tum.niwo.TSCLI")
//test in assembly := {}
//assemblyJarName in assembly := "niwo-wf.jar"
//mainClass in assembly := Some("de.tum.niwo.WFCLI")
assemblyJarName in assembly := "niwo-wf.jar"
mainClass in assembly := Some("de.tum.niwo.WFCLI")
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment