Fix dependencies

runtimeverification · Mar 7, 2024 · e958d5e · e958d5e
1 parent cddc1a9
commit e958d5e
Show file tree

Hide file tree

Showing 3 changed files with 15 additions and 1 deletion.
diff --git a/matching/pom.xml b/matching/pom.xml
@@ -38,6 +38,16 @@
   </repositories>
 
   <dependencies>
+    <dependency>
+      <groupId>org.scala-lang</groupId>
+      <artifactId>scala-library</artifactId>
+      <version>${scala.version}</version>
+    </dependency>
+    <dependency>
+      <groupId>org.scala-lang</groupId>
+      <artifactId>scala-reflect</artifactId>
+      <version>${scala.version}</version>
+    </dependency>
     <dependency>
       <groupId>com.runtimeverification.k</groupId>
       <artifactId>scala-kore</artifactId>

diff --git a/nix/llvm-backend-matching.nix b/nix/llvm-backend-matching.nix
@@ -7,6 +7,10 @@ let self = maven.buildMavenPackage rec {
 
     buildOffline = true;
 
+    manualMvnArtifacts = [
+      "org.scala-lang:scala-compiler:2.12.18"
+    ];
+
     passthru = {
       jar =
         "${self}/share/java/llvm-backend-matching-1.0-SNAPSHOT-jar-with-dependencies.jar";

diff --git a/nix/overlay.nix b/nix/overlay.nix
@@ -21,7 +21,7 @@ let
 
   llvm-backend-matching = import ./llvm-backend-matching.nix {
     src = prev.llvm-backend-matching-src;
-    mvnHash = "sha256-R25OyKnm027ftURPeZqZzIMjApUvNXXzgxc7WxJby9I=";
+    mvnHash = "sha256-1Al6O/uzlV9QOqWg7M7pQmgOiRe8nAfg/nVGGCcZbwo=";
     inherit (final) maven;
   };