augiedoggie f16a8851f0 lua: enable readline, misc cleanup (#8998) ...

readline is enabled so the the lua REPL has proper support for line editing/arrow keys
related to #8972

Also, remove some static library remnants and tweak the TEST command

2023-07-06 11:00:26 -06:00

..

lua-5.1.5.patchset

lua51: bump version.

2017-10-13 19:39:19 +02:00

lua-5.2.4.patchset

lua: bump version for 5.2.

2017-03-05 22:32:36 +01:00

lua-5.3.6.gcc2.patchset

lua: bump (#6707)

2022-05-26 08:30:26 +02:00

lua-5.3.6.patchset

lua: bump (#6707)

2022-05-26 08:30:26 +02:00

lua-5.4.6.gcc2.patchset

lua, bump lua5.4, make it default (#8875)

2023-06-28 07:36:14 +02:00

lua-5.4.6.patchset

lua: enable readline, misc cleanup (#8998)

2023-07-06 11:00:26 -06:00