lua5.5 only: python.so: undefined symbol: luaL_openlibs #100

Activity

1. leso-kn commented on Jun 19, 2026

   

   leso-kn

   on Jun 19, 2026

   Collaborator

   More actions

   Note

   This comment goes for #98 and #99 as well

   Hi :) Thanks for pointing this out!

   The issues you've spotted can be resolved with Lua version specific #ifdefs.

   I can implement that, but would propose to wait until #94 is merged, as this will be a good test for the Github Actions pipeline.
2. cclauss commented on Jun 19, 2026

   

   cclauss

   on Jun 19, 2026

   Last edited by cclauss

   ContributorAuthor

   More actions

   I know Python, but I am using this effort to learn a bit of Lua.

   I agree that getting GHA running should happen before the fixes, so we have proof and can detect any future regressions.
3. leso-kn commented on Jun 19, 2026

   

   leso-kn

   on Jun 19, 2026

   Collaborator

   More actions

   oh, Nice :)

   Lua is fun! The Lua C-API (which is what we primarily work with in lunatic-python) is a bit more complex, but generally Lua does not have a lot of syntax.

   Let's implement the pipeline then and we can continue to these three issues. Should be quick to do!
4. cclauss commented on Jul 8, 2026

   

   cclauss

   on Jul 8, 2026

   Last edited by cclauss

   ContributorAuthor

   More actions

   As discussed in

   • Add Github Actions workflow to run both test_py.lua and test_lua.py #96
   • Add GitHub Action workflow to run lua tests/test_py.lua #103

   Important

   ALWAYS add the --lua-version option when running apt-installed luarocks!

   ---

   apt-installed luarocks is v3.8.0, not the current >= 3.13. On lua5.5, this causes Error: Unknown entry LUA_INCDIR on:
   % luarocks --local --lua-version=5.5 make

   An incomplete workaround:

         - if: runner.os == 'Linux' && matrix.lua-version == '5.5'  # Workaround for apt installed luarocks v3.8.0
           run: |
             mkdir -p $HOME/.luarocks/lua5.5
             luarocks --lua-version=5.5 config variables.LUA_INCDIR /usr/include/lua5.5
             luarocks --lua-version=5.5 config | grep LUA
             echo "---"
             luarocks --lua-version=5.5 config | grep LUA

   Wrote
   	variables.LUA_INCDIR = "/usr/include/lua5.5"
   to
   	/home/runner/.luarocks/config-5.5.lua
   
5. cclauss commented on Jul 14, 2026

   

   cclauss

   on Jul 14, 2026

   Last edited by cclauss

   ContributorAuthor

   More actions

   Issues with apt-get install lua5.5 liblua5.5-dev luarocks:

   • https://bugs.launchpad.net/ubuntu/+source/lua5.5/+bug/2160598
   • https://bugs.launchpad.net/ubuntu/+source/lua5.5/+bug/2160601