System Gen134 @ 2024-11-20-20:17:59

modules/derivations/antlr.nix

@@ -1,28 +0,0 @@
-{
-  pkgs ? import <nixpkgs> {},
-  version ? "3.5.3",
-  hash ? "sha256-JMlDvaNRC/qEnD6uEts32kh9IEU2/wgHTsHz3Z3fq0M=",
-  jre ? pkgs.jre,
-  ...
-}:
-pkgs.stdenv.mkDerivation {
-  pname = "antlr";
-  inherit version;
-
-  dontUnpack = true;
-  src = pkgs.fetchurl {
-    url = "https://github.com/antlr/website-antlr3/blob/gh-pages/download/antlr-${version}-complete.jar";
-    inherit hash;
-  };
-
-  installPhase = ''
-    mkdir -p $out/share/java
-    cp $src $out/share/java/antlr-${version}-complete.jar
-    mkdir $out/bin
-    cat > $out/bin/antlr <<EOF
-    #!/bin/sh
-    exec ${jre}/bin/java -jar $out/share/java/antlr-${version}-complete.jar "$@"
-    EOF
-    chmod +x $out/bin/antlr
-  '';
-}

modules/derivations/antlrworks.nix

@@ -0,0 +1,29 @@
+{
+  pkgs ? import <nixpkgs> {},
+  version ? "1.5.2",
+  hash ? "sha256-Yy9x7cSQrRpk+Flt9+H7gdogUS4WR2q2fqdVXQgvd7Y=",
+  jre ? pkgs.jre,
+  ...
+}:
+pkgs.stdenv.mkDerivation {
+  pname = "antlrworks";
+  inherit version;
+
+  dontUnpack = true;
+  src = pkgs.fetchurl {
+    url = "https://github.com/antlr/website-antlr3/raw/refs/heads/gh-pages/download/antlrworks-${version}-complete.jar";
+    inherit hash;
+  };
+
+  installPhase = ''
+    mkdir -p $out/share/java
+    cp $src $out/share/java/antlrworks-${version}-complete.jar
+    mkdir $out/bin
+    cat > $out/bin/antlrworks <<EOF
+    #!/usr/bin/env sh
+    export CLASSPATH=$out/share/java/antlrworks-${version}-complete.jar:$CLASSPATH
+    ${jre}/bin/java org.antlr.Tool
+    EOF
+    chmod +x $out/bin/antlrworks
+  '';
+}

modules/programs.nix

@@ -1,7 +1,7 @@
 {pkgs, ...}: let
-  antlr-works =
+  antlrworks =
     import
-    ./derivations/antlr.nix
+    ./derivations/antlrworks.nix
     {inherit pkgs;};
   RStudio-with-my-packages =
     pkgs.rstudioWrapper.override
@@ -19,7 +19,7 @@
 in {
   environment.systemPackages = [
     RStudio-with-my-packages
-    antlr-works
+    antlrworks
     pkgs.age
     pkgs.alejandra
     pkgs.arduino