Skip to content

Instantly share code, notes, and snippets.

@samueldr samueldr/default.nix Secret
Created Feb 4, 2019

Embed
What would you like to do?
with import <nixpkgs> {};
stdenv.mkDerivation {
name = "JFLAP";
src = fetchurl {
url = http://www.jflap.org/jflaptmp/july27-18/JFLAP7.1.jar;
sha256 = "01llr436w5h5c6wldsrm1xbwn11sbcbfzvpbx1iq3canvifhjb52";
};
unpackPhase = ":";
buildInputs = [ jre8 makeWrapper wrapGAppsHook ];
installPhase =
''
mkdir -p $out/bin
mkdir -p $out/share/java
cp $src $out/share/java/jflap.jar
makeWrapper ${jre8}/bin/java $out/bin/jflap \
--add-flags "-jar $out/share/java/jflap.jar"
'';
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.