LPCIC / elpi

Embeddable Lambda Prolog Interpreter
GNU Lesser General Public License v2.1
273 stars 32 forks source link

Failure on S390X architecture #234

Open SnarkBoojum opened 1 month ago

SnarkBoojum commented 1 month ago

I tried to compile elpi 1.18.2 on the S390X architecture, just to see, and the result is a failure:

------------------------------------------------------------------
Log of the first failure: _log/dune+sepcomp1.log
------------------------------------------------------------------
executable: dune
args: exec tests/sources//sepcomp1.exe -- -I src/
Error: Thread.create: Resource temporarily unavailable
------------------------------------------------------------------
End log of the first failure: _log/dune+sepcomp1.log
------------------------------------------------------------------

It looks very much like this report ; I don't know what we can do... can the test framework be configured to launch less parallel tests?

gares commented 1 month ago

You can skip a category, see the opam file for an example.