`libflookall` incomplete when using external Lua

[ahkole]

The all-in-one library libflookall.a is currently incomplete when using an external Lua installation by setting LUA_DIR. The liball target in the root Makefile still tries to use ../aotus/obj/external/lua-5.3.5/src/liblua.a (hardcoded) even though that isn't available when using an external Lua. You probably want to conditionally set the Lua library to include in libflookall.a based on the value of LUA_DIR similarly as is done for the variable LUA__LIB in aotus/Makefile.smeka:

ifdef LUA_DIR
 # User-defined
 INCLUDES += -I$(LUA_DIR)/include
 LUA__LIB = $(LUA_DIR)/lib/liblua.a
lua-lib:
        @echo ""
        @echo "Adding external Lua library to lib$(AOTUS_LIB).*"
        @echo "Extracting $(LUA_DIR)/lib/liblua.a"
        @echo ""
        $(AR) -x $(LUA__LIB)

else

 # lua-sources shipped
 LUA_DIR = external/lua-$(EXTERNAL_LUA_V)
 INCLUDES += -I$(LUA_DIR)/src
 LUA__LIB = $(LUA_DIR)/src/liblua.a
lua-lib:
        mkdir -p external
        cp -rf $(TOP_DIR)/$(LUA_DIR) external/
        $(MAKE) -C $(LUA_DIR) $(PLATFORM)
        $(AR) -x $(LUA__LIB)

[ahkole]

@zerothi Are you the maintainer of this project?

[zerothi]

Yes I am, haven't had the time to look into this.

[ahkole]

Okay, no worries there is no rush. Just wanted to check if anyone was still watching this project.