LPCIC / elpi

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

Failure on armel architecture #235

Open SnarkBoojum opened 1 month ago

SnarkBoojum commented 1 month ago

I tried to compile elpi 1.18.2 on the armel architecture, and it failed with:

------------------------------------------------------------------
Log of the first failure: _log/elpi+trace-browser-cut.log
------------------------------------------------------------------
executable: /home/jpuydt/elpi-1.18.2/_build/install/default/bin/elpi
args: -no-tc -test -I /home/jpuydt/elpi-1.18.2/_build/install/default/bin/../lib/elpi/ -I /home/jpuydt/elpi-1.18.2/tests/sources/ trace_cut.elpi -trace-on json file:///tmp/trace_cut.json__13__.new -trace-at 0 99 -trace-only user

Parsing time: 0.000

Compilation time: 0.009
------------------------------------------------------------------
End log of the first failure: _log/elpi+trace-browser-cut.log
------------------------------------------------------------------

where I don't see an error message... how can I get more insight on the issue?