frink: generate rlwrap helper files for tab completion

Co-authored-by: Weijia Wang <9713184+wegank@users.noreply.github.com>
This commit is contained in:
Stefan Fehrenbach 2023-02-19 13:41:34 +01:00
parent 12d1034a34
commit 7cd7ada4ff

View file

@ -18,6 +18,8 @@ stdenv.mkDerivation rec {
dontUnpack = true;
nativeBuildInputs = [ jdk ];
buildInputs = [ jdk rlwrap ];
installPhase = ''
@ -27,9 +29,18 @@ stdenv.mkDerivation rec {
cp ${src} $out/lib/frink.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|
f =~ %s/\s+//g
return "$f$"
}, lexicalSort[functions[]]]]' > $out/lib/functionnames.txt
cat > "$out/bin/frink" << EOF
#!${stdenv.shell}
exec ${rlwrap}/bin/rlwrap ${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.jar" frink.gui.FrinkStarter "\$@"
EOF
chmod a+x "$out/bin/frink"