revert Add llvm-backend-matching as an executable #827 (#871)

No longer needed as it has been implemented in the K repo as `llvm-kompile-matching` (runtimeverification/k#3659)
runtimeverification · Oct 20, 2023 · 44fbb67 · 44fbb67
1 parent 4e68e65
commit 44fbb67
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 8 deletions.
diff --git a/nix/llvm-backend-matching.nix b/nix/llvm-backend-matching.nix
@@ -1,4 +1,4 @@
-{ jdk11_headless, makeWrapper, buildMaven, src }:
+{ buildMaven, src }:
 
 let
   self = buildMaven {
@@ -12,14 +12,9 @@ let
         "${self}/share/java/llvm-backend-matching-1.0-SNAPSHOT-jar-with-dependencies.jar";
     };
 
-    nativeBuildInputs = [ makeWrapper ];
-
     postInstall = ''
       test -f "$out/share/java/llvm-backend-matching-1.0-SNAPSHOT-jar-with-dependencies.jar"
-
-      makeWrapper ${jdk11_headless}/bin/java $out/bin/llvm-backend-matching \
-          --add-flags "-Xss32m -jar $out/share/java/llvm-backend-matching-1.0-SNAPSHOT-jar-with-dependencies.jar"
-    '';
+      '';
 
     # Add build dependencies
     #

diff --git a/nix/overlay.nix b/nix/overlay.nix
@@ -51,7 +51,7 @@ let
   };
 
   llvm-backend-matching = import ./llvm-backend-matching.nix {
-    inherit (prev) buildMaven jdk11_headless makeWrapper;
+    inherit (prev) buildMaven;
     src = prev.llvm-backend-matching-src;
   };