-
Notifications
You must be signed in to change notification settings - Fork 4
/
build.sbt
120 lines (99 loc) · 3.67 KB
/
build.sbt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
lazy val setScalaVersion = scalaVersion := "2.11.11"
lazy val commonSettings = Seq(
setScalaVersion,
organization := "de.unifreiburg.cs.proglang",
unmanagedBase := file("lib"),
libraryDependencies ++= Seq(
"org.apache.commons" % "commons-lang3" % "3.4",
"org.apache.commons" % "commons-collections4" % "4.1"
),
scalacOptions += "-target:jvm-1.8",
javacOptions ++= Seq("-source", "1.8", "-target", "1.8")
)
lazy val gradConstraintsDeps = Seq(
"org.scala-lang.modules" %% "scala-parser-combinators" % "1.0.4",
// "org.json4s" %% "json4s-native" % "3.3.0",
"org.json4s" %% "json4s-jackson" % "3.3.0",
"com.fasterxml.jackson.dataformat" % "jackson-dataformat-yaml" % "2.7.4",
"com.github.scopt" %% "scopt" % "3.4.0",
"com.googlecode.kiama" %% "kiama" % "1.8.0"
)
lazy val dynAnalyzerDeps = Seq(
"org.apache.commons" % "commons-lang3" % "3.4",
"org.apache.commons" % "commons-collections4" % "4.1",
"junit" % "junit" % "4.12",
"org.apache.ant" % "ant-junit" % "1.9.7",
"commons-cli" % "commons-cli" % "1.3.1",
// "ca.mcgill.sable" % "soot" % "RELEASE",
"org.hamcrest" % "hamcrest-library" % "1.3"
)
lazy val GradualConstraints =
(project in file("GradualConstraints")).
dependsOn(InstrumentationSupport).
settings(commonSettings:_*).
settings(
libraryDependencies ++= gradConstraintsDeps
)
lazy val jgs =
(project in file(".")).
dependsOn(GradualConstraints, DynamicAnalyzer, ScratchTestclasses, DemoTestclasses).
settings(commonSettings:_*).
settings(
unmanagedClasspath in Runtime ++= {
// List(baseDirectory.value / "LMHSecurityDomain/target/scala-2.11/lmhsecuritydomain_2.11-0.1-SNAPSHOT.jar")
sys.env.get("JGS_SECDOMAIN_JARS")
.map(path => path.split(":").map(new File(_)).toList).getOrElse(List())
}
)
lazy val DynamicAnalyzer =
(project in file("DynamicAnalyzer")).
dependsOn(InstrumentationSupport, JGSSupport).
settings(commonSettings:_*).
settings(
libraryDependencies ++= dynAnalyzerDeps
)
lazy val GradualConstraintsTests =
(project in file("GradualConstraints/Tests")).
dependsOn(GradualConstraints).
settings(commonSettings:_*).
settings(
libraryDependencies ++=
gradConstraintsDeps ++
Seq(
"com.novocode" % "junit-interface" % "0.11" % "test",
"org.scalactic" %% "scalactic" % "2.2.6",
"org.scalatest" %% "scalatest" % "2.2.6" % "test"
)
)
lazy val InstrumentationSupport =
(project in file("GradualConstraints/InstrumentationSupport")).
settings(commonSettings:_*).
settings(
libraryDependencies ++=
Seq("com.novocode" % "junit-interface" % "0.11" % "test",
"org.json4s" %% "json4s-jackson" % "3.3.0",
"com.fasterxml.jackson.dataformat" % "jackson-dataformat-yaml" % "2.7.4"
),
artifactName := {
(sv : ScalaVersion , mod : ModuleID , artifact : Artifact) => "gradualconstraints_" + Artifact.artifactName(sv, mod, artifact)
}
)
lazy val JGSSupport =
(project in file("JGSSupport")).
settings(setScalaVersion)
lazy val ScratchTestclasses =
(project in file ("JGSTestclasses/Scratch")).
dependsOn(JGSSupport, DynamicAnalyzer).
settings(setScalaVersion)
lazy val DemoTestclasses =
(project in file ("JGSTestclasses/Demo")).
dependsOn(JGSSupport, DynamicAnalyzer).
settings(setScalaVersion)
lazy val UserDefinedSecurityDomain =
(project in file ("UserDefinedSecurityDomain")).
dependsOn(InstrumentationSupport).
settings(setScalaVersion)
lazy val LMHSecurityDomain =
(project in file ("LMHSecurityDomain")).
dependsOn(InstrumentationSupport).
settings(setScalaVersion)