Is lua-5.1.5 needed? - Githubissues

gap-system / ward

Code generation tool needed for HPC-GAP

Boost Software License 1.0

3 stars 7 forks source link

Open fingolfin opened 7 years ago

fingolfin commented 7 years ago

The repository contains lua-5.1.5 inside the ext dir. Is this actually used?

fingolfin commented 7 years ago

@rbehrends Any comment on this?

rbehrends commented 7 years ago

It is the backup solution for when we're dealing with a platform that doesn't support LuaJIT (such as cygwin under certain circumstances).