-
Notifications
You must be signed in to change notification settings - Fork 8
/
build.sbt
96 lines (91 loc) · 4.25 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
lazy val commonSettings = Seq(
name := "ostrich",
organization := "uuverifiers",
version := "1.3.5",
//
homepage := Some(url("https://github.com/uuverifiers/ostrich")),
licenses := Seq("BSD-3-Clause" -> url("https://opensource.org/licenses/BSD-3-Clause")),
scmInfo := Some(ScmInfo(
url("https://github.com/uuverifiers/ostrich"),
"scm:[email protected]/uuverifiers/ostrich.git")),
description := "OSTRICH is an SMT solver for string constraints.",
//
developers := List(
Developer(
id = "matthew.hague",
name = "Matthew Hague",
email = "[email protected]",
url = url("https://www.cs.rhul.ac.uk/home/uxac009/")
),
Developer(
id = "p_ruemmer",
name = "Philipp Ruemmer",
email = "[email protected]",
url = url("https://philipp.ruemmer.org")
),
Developer(
id = "riccardo.de.masellis",
name = "Riccardo De Masellis",
email = "[email protected]",
url = url("http://demasellis.x10host.com/")
),
Developer(
id = "zhilei.han",
name = "Zhilei Han",
email = "[email protected]",
url = url("https://www.linusboyle.cn/")
),
Developer(
id = "oliver.markgraf",
name = "Oliver Markgraf",
email = "[email protected]",
url = url("https://arg.cs.uni-kl.de/gruppe/markgraf/")
),
Developer(
id = "denghang.hu",
name = "Denghang Hu",
email = "[email protected]",
url = url("https://tis.ios.ac.cn/?page_id=2451")
)
),
//
scalaVersion := "2.11.12",
crossScalaVersions := Seq("2.11.12", "2.12.17"),
scalacOptions += "-deprecation",
fork in run := true,
cancelable in Global := true,
//
publishTo := Some(Resolver.file("file", new File( "/home/wv/public_html/maven/" )) )
)
lazy val parserSettings = Seq(
// publishArtifact in packageDoc := false,
// publishArtifact in packageSrc := false,
exportJars := true,
crossPaths := true
)
lazy val ecma2020parser = (project in file("ecma2020")).
settings(commonSettings: _*).
settings(parserSettings: _*).
settings(
name := "OSTRICH-ECMA2020-parser",
packageBin in Compile := baseDirectory.value / "ecma2020-regex-parser.jar"
).
disablePlugins(AssemblyPlugin)
lazy val root = (project in file(".")).
aggregate(ecma2020parser).
dependsOn(ecma2020parser).
settings(commonSettings: _*).
settings(
mainClass in Compile := Some("ostrich.OstrichMain"),
unmanagedSourceDirectories in Test += baseDirectory.value / "replaceall-benchmarks" / "src" / "test" / "scala",
//
resolvers += "uuverifiers" at "https://eldarica.org/maven/",
//
libraryDependencies += "uuverifiers" %% "princess" % "nightly-SNAPSHOT",
// libraryDependencies += "io.github.uuverifiers" %% "princess" % "2024-03-22",
// libraryDependencies += "uuverifiers" % "ecma2020-regex-parser" % "0.5",
libraryDependencies += "org.sat4j" % "org.sat4j.core" % "2.3.1",
libraryDependencies += "org.scalacheck" %% "scalacheck" % "1.14.0" % "test",
libraryDependencies += "dk.brics.automaton" % "automaton" % "1.11-8",
libraryDependencies += "com.lihaoyi" %% "fastparse" % "3.0.2",
)