From 74fce621fa35af3ee827184de721d7d64c1abfcc Mon Sep 17 00:00:00 2001
From: Katja Goltsova <katja.goltsova@protonmail.com>
Date: Mon, 5 Sep 2022 13:47:19 +0200
Subject: [PATCH] lisa-utils depend on scallion and silex for parsing
---
build.sbt | 7 +++++++
1 file changed, 7 insertions(+)
diff --git a/build.sbt b/build.sbt
index e5e4bc8c..aa429a01 100644
--- a/build.sbt
+++ b/build.sbt
@@ -37,6 +37,11 @@ val commonSettings3 = Seq(
def withTests(project: Project): ClasspathDependency =
project % "compile->compile;test->test"
+def githubProject(repo: String, commitHash: String) = RootProject(uri(s"$repo#$commitHash"))
+
+lazy val scallion = githubProject("https://github.com/epfl-lara/scallion.git", "08b333f9af2d8daa1fb7424cd47b0433cd5e9770")
+lazy val silex = githubProject("https://github.com/epfl-lara/silex.git", "eaf296425b9d8cc9100dfa66a079641ee4cfe4ae")
+
lazy val root = Project(
id = "lisa",
base = file(".")
@@ -63,6 +68,8 @@ lazy val utils = Project(
)
.settings(commonSettings3)
.dependsOn(kernel)
+ .dependsOn(silex)
+ .dependsOn(scallion % "compile->compile")
lazy val theories = Project(
id = "lisa-theories",
--
GitLab