aboutsummaryrefslogtreecommitdiff
path: root/build.sbt
diff options
context:
space:
mode:
authorFederico Igne <federico.igne@cs.ox.ac.uk>2020-08-19 14:21:25 +0100
committerFederico Igne <federico.igne@cs.ox.ac.uk>2020-08-19 14:21:25 +0100
commitfce66bdc060fe3ec6bd07fd17eca68ea45f119fa (patch)
tree2645225f369e90bc1059d85b3b8a955ed9c39f5a /build.sbt
parent50f5cd42f73b655d7d349eef70e5c269826429f9 (diff)
downloadRSAComb-fce66bdc060fe3ec6bd07fd17eca68ea45f119fa.tar.gz
RSAComb-fce66bdc060fe3ec6bd07fd17eca68ea45f119fa.zip
Add check for RSA graph acyclicity
Diffstat (limited to 'build.sbt')
-rw-r--r--build.sbt9
1 files changed, 5 insertions, 4 deletions
diff --git a/build.sbt b/build.sbt
index 2e1c384..34e5232 100644
--- a/build.sbt
+++ b/build.sbt
@@ -1,7 +1,7 @@
1//import Dependencies._ 1//import Dependencies._
2 2
3ThisBuild / scalaVersion := "2.13.1" 3ThisBuild / scalaVersion := "2.13.1"
4ThisBuild / version := "0.1.0" 4ThisBuild / version := "0.1.0"
5//ThisBuild / organization := "com.example" 5//ThisBuild / organization := "com.example"
6//ThisBuild / organizationName := "example" 6//ThisBuild / organizationName := "example"
7 7
@@ -9,7 +9,8 @@ lazy val root = (project in file("."))
9 .settings( 9 .settings(
10 name := "RSAComb", 10 name := "RSAComb",
11 libraryDependencies ++= Seq( 11 libraryDependencies ++= Seq(
12 "org.scalatest" %% "scalatest" % "3.1.0" % "test", 12 "org.scalatest" %% "scalatest" % "3.1.0" % "test",
13 "net.sourceforge.owlapi" % "owlapi-apibinding" % "5.1.13" 13 "net.sourceforge.owlapi" % "owlapi-apibinding" % "5.1.13",
14 "org.scala-graph" %% "graph-core" % "1.13.2"
14 ) 15 )
15 ) 16 )