Merge pull request #317543 from fehrenbach/frink-2024-05-09
frink: 2023-12-02 -> 2024-05-09
This commit is contained in:
commit
2b1bdb8c2c
@ -1,46 +1,50 @@
|
||||
{ fetchurl
|
||||
, frink
|
||||
, jdk
|
||||
, lib
|
||||
, rlwrap
|
||||
, stdenv
|
||||
, testers
|
||||
{
|
||||
fetchurl,
|
||||
frink,
|
||||
jdk,
|
||||
lib,
|
||||
rlwrap,
|
||||
stdenv,
|
||||
testers,
|
||||
}:
|
||||
stdenv.mkDerivation rec {
|
||||
pname = "frink";
|
||||
version = "2023-12-02";
|
||||
version = "2024-05-09";
|
||||
|
||||
src = fetchurl {
|
||||
# Upstream does not provide versioned download links
|
||||
url = "https://web.archive.org/web/20231210094124/https://frinklang.org/frinkjar/frink.jar";
|
||||
sha256 = "sha256-oURRTrgyVMPD4cOdM6g0bDpZ0KMlVsLqa0nzC1UvqIs=";
|
||||
url = "https://web.archive.org/web/20240605193919/https://frinklang.org/frinkjar/frink-tng.jar";
|
||||
sha256 = "sha256-ceV1p9wsXprcNLhol79evswVZ1SpH5IzfSbl8st4cmU=";
|
||||
};
|
||||
|
||||
dontUnpack = true;
|
||||
|
||||
nativeBuildInputs = [ jdk ];
|
||||
|
||||
buildInputs = [ jdk rlwrap ];
|
||||
buildInputs = [
|
||||
jdk
|
||||
rlwrap
|
||||
];
|
||||
|
||||
installPhase = ''
|
||||
runHook preInstall
|
||||
|
||||
mkdir -p $out/bin $out/lib
|
||||
|
||||
cp ${src} $out/lib/frink.jar
|
||||
cp ${src} $out/lib/frink-tng.jar
|
||||
|
||||
# Generate rlwrap helper files.
|
||||
# See https://frinklang.org/fsp/colorize.fsp?f=listUnits.frink
|
||||
# and https://frinklang.org/fsp/colorize.fsp?f=listFunctions.frink
|
||||
java -classpath "$out/lib/frink.jar" frink.gui.FrinkStarter -e 'joinln[lexicalSort[units[]]]' > $out/lib/unitnames.txt
|
||||
java -classpath "$out/lib/frink.jar" frink.gui.FrinkStarter -e 'joinln[map[{|f|
|
||||
java -classpath "$out/lib/frink-tng.jar" frink.gui.FrinkStarter -e 'joinln[lexicalSort[units[]]]' > $out/lib/unitnames.txt
|
||||
java -classpath "$out/lib/frink-tng.jar" frink.gui.FrinkStarter -e 'joinln[map[{|f|
|
||||
f =~ %s/\s+//g
|
||||
return "$f$"
|
||||
}, lexicalSort[functions[]]]]' > $out/lib/functionnames.txt
|
||||
|
||||
cat > "$out/bin/frink" << EOF
|
||||
#!${stdenv.shell}
|
||||
exec ${rlwrap}/bin/rlwrap -f $out/lib/unitnames.txt -b '$' -f $out/lib/functionnames.txt ${jdk}/bin/java -classpath "$out/lib/frink.jar" frink.gui.FrinkStarter "\$@"
|
||||
exec ${rlwrap}/bin/rlwrap -f $out/lib/unitnames.txt -b '$' -f $out/lib/functionnames.txt ${jdk}/bin/java -classpath "$out/lib/frink-tng.jar" frink.gui.FrinkStarter "\$@"
|
||||
EOF
|
||||
|
||||
chmod a+x "$out/bin/frink"
|
||||
|
Loading…
Reference in New Issue
Block a user