remove isocline (freeze and memory leaks when a terminal is killed)

Author: Christophe Delord

README.md

@@ -371,7 +371,6 @@ Some modules are heavily inspired by
 - [lar](doc/lar.md): Simple archive format for Lua values
 - [linenoise](doc/linenoise.md): A small, portable GNU readline
   replacement with UTF-8 support
-- [isocline](doc/isocline.md): A portable GNU readline alternative
 - [json](doc/json.md): JSON Module for Lua
 
 ## Shared libraries
@@ -456,9 +455,6 @@ The script `lib/luax.lua` can be reused in pure Lua programs:
 - **[Linenoise](https://github.com/yhirose/linenoise/tree/utf8-support)**:
   A minimal, zero-config, BSD licensed, readline replacement ([BSD
   license](https://github.com/antirez/linenoise/blob/master/LICENSE))
-- **[Isocline](https://github.com/daanx/isoclinet)**: A portable GNU
-  readline alternative ([MIT
-  License](https://github.com/daanx/isocline/blob/main/LICENSE))
 - **[dkjson.lua](http://dkolf.de/dkjson-lua/)**: JSON Module for Lua
   ([MIT license](http://www.lua.org/license.html))
 - **[CBOR](https://www.zash.se/lua-cbor.html)**: pure Lua implementation

build.lua

@@ -548,11 +548,6 @@ local cflags = {
         "-DLUAI_ASSERT",
         "-DLUA_USE_APICHECK",
     },
-    case(mode) {
-        fast  = "-DIC_NO_DEBUG_MSG",
-        small = "-DIC_NO_DEBUG_MSG",
-        debug = {},
-    }
 }
 
 local luax_cflags = F{
@@ -821,8 +816,7 @@ local sources = F{
     third_party_c_files = F.flatten {
         ls "ext/c/**.c"
             : filter(function(name) return not name:match "lzlib/lib/inc" end)
-            : filter(function(name) return not name:match "lzlib/programs" end)
-            : filter(function(name) return not name:match "isocline/lib" end),
+            : filter(function(name) return not name:match "lzlib/programs" end),
         optional(lz4)    { ls "ext/opt/lz4/lib/*.c" },
         optional(socket) { ls "ext/opt/luasocket/*.c" },
         optional(ssl)    { ls "ext/opt/luasec/**.c" },
@@ -952,7 +946,6 @@ rt { luax="libluax/curl/curl.lua",                  lua="libluax/curl/curl.lua"
 rt { luax="libluax/fs/fs.lua",                      lua={"libluax/fs/fs.lua", "libluax/fs/_fs.lua"}                         }
 rt {                                                lua="libluax/imath/imath.lua"                                           }
 rt { luax="libluax/import/import.lua",              lua="libluax/import/import.lua"                                         }
-rt { luax="libluax/isocline/isocline.lua",          lua={"libluax/isocline/isocline.lua", "libluax/isocline/_isocline.lua"} }
 rt {                                                lua="libluax/linenoise/linenoise.lua"                                   }
 rt { luax="libluax/lar/lar.lua",                    lua="libluax/lar/lar.lua"                                               }
 rt { luax="libluax/lzip/lzip.lua",                  lua={"libluax/lzip/lzip.lua", "libluax/lzip/_lzip.lua"}                 }

doc/isocline.md

@@ -369,7 +369,6 @@ Some modules are heavily inspired by
 - [lar](lar.md): Simple archive format for Lua values
 - [linenoise](linenoise.md): A small, portable GNU readline replacement
   with UTF-8 support
-- [isocline](isocline.md): A portable GNU readline alternative
 - [json](json.md): JSON Module for Lua
 
 ## Shared libraries
@@ -454,9 +453,6 @@ The script `lib/luax.lua` can be reused in pure Lua programs:
 - **[Linenoise](https://github.com/yhirose/linenoise/tree/utf8-support)**:
   A minimal, zero-config, BSD licensed, readline replacement ([BSD
   license](https://github.com/antirez/linenoise/blob/master/LICENSE))
-- **[Isocline](https://github.com/daanx/isoclinet)**: A portable GNU
-  readline alternative ([MIT
-  License](https://github.com/daanx/isocline/blob/main/LICENSE))
 - **[dkjson.lua](http://dkolf.de/dkjson-lua/)**: JSON Module for Lua
   ([MIT license](http://www.lua.org/license.html))
 - **[CBOR](https://www.zash.se/lua-cbor.html)**: pure Lua implementation

doc/luax.md

@@ -13,23 +13,6 @@ The LuaX REPL can be run in various environments:
 $ luax
 ```
 
-The LuaX interpreter uses a subset of
-[isocline](https://github.com/daanx/isocline). It provides some
-interesting features:
-
-- works on Linux, MacOS and Windows
-- extensive multi-line editing mode (shift-tab)
-- history
-- unicode
-- undo/redo
-- incremental history search
-- brace matching
-- closing brace insertion
-- filename completion
-
-Some features are not implemented (yet?): completion, hints, syntax
-highlighting.
-
 ### Shared library usable with a standard Lua interpreter
 
 ``` sh

doc/repl.md

@@ -330,7 +330,6 @@ Some modules are heavily inspired by
 - [cbor](cbor.md): pure Lua implementation of the CBOR
 - [lar](lar.md): Simple archive format for Lua values
 - [linenoise](linenoise.md): A small, portable GNU readline replacement with UTF-8 support
-- [isocline](isocline.md): A portable GNU readline alternative
 - [json](json.md): JSON Module for Lua
 
 ## Shared libraries
@@ -416,9 +415,6 @@ script `lib/luax.lua` can be reused in pure Lua programs:
 - **[Linenoise](https://github.com/yhirose/linenoise/tree/utf8-support)**: A
   minimal, zero-config, BSD licensed, readline replacement ([BSD
   license](https://github.com/antirez/linenoise/blob/master/LICENSE))
-- **[Isocline](https://github.com/daanx/isoclinet)**: A portable GNU readline
-  alternative ([MIT
-  License](https://github.com/daanx/isocline/blob/main/LICENSE))
 * **[dkjson.lua](http://dkolf.de/dkjson-lua/)**: JSON Module for Lua
   ([MIT license](http://www.lua.org/license.html))
 * **[CBOR](https://www.zash.se/lua-cbor.html)**: pure Lua implementation of the