Quoting Jan Wielemaker (2020-04-30 14:40:58)
> In theory we could have a package that merely contains /usr/bin/swipl
> and /usr/lib/libswipl.so.8.2.0. That is enough to run saved states
> (provided they have been built such that no dependencies need to be
> loaded at runtime) and is indeed a lot
Hi Jonas,
In theory we could have a package that merely contains /usr/bin/swipl
and /usr/lib/libswipl.so.8.2.0. That is enough to run saved states
(provided they have been built such that no dependencies need to be
loaded at runtime) and is indeed a lot smaller than swi-prolog-nox.
Possibly bundl
2 matches
Mail list logo