Scryer Prolog aims to become to ISO Prolog what GHC is to Haskell: an open
source industrial strength production environment that is also a
testbed for bleeding edge research in logic and constraint
programming, which is itself written in a high-level language.
*/*: Fix many Rust ports to run without COMPAT11
RISCV does not include COMPAT11 by default. But Rust's libc bound the
compat-11 symbols until version 0.2.176. Patch a great many Rust ports
to use a newer version of libc, to eliminate the dependency on COMPAT11.
Explicitly patching Cargo.lock isn't usually necessarily, since within
the build jail cargo is forced to use whichever crates Makefile.crates
installs there.
Notes on specific ports:
* textproc/bookokrat: Rework bookokrat's existing patch to be more
robust. Also, report the issue upstream:
https://github.com/bugzmanov/bookokrat/issues/182
(Only the first 15 lines of the commit message are shown above )
lang/scryer-prolog: New port
Scryer Prolog aims to become to ISO Prolog what GHC is to Haskell: an open
source industrial strength production environment that is also a
testbed for bleeding edge research in logic and constraint
programming, which is itself written in a high-level language.
PR: 286124
Reported by: Siva Mahadevan <me@svmhdvn.name>
