Dear list,
I've been trying to build a recent commit of HOL (4b08982).
My environment is Arch Linux x64, Poly/ML 5.6.
This is the output of "bin/build":
Building directory src/holyhammer/hh [03 Apr, 14:01:12]
hh_parse.ml / toolbox.. | Holmake: Fail exception: Unknown
result status
Build failed in directory /home/lars/work/reify/HOL/src/holyhammer/hh
(exited with code 1)
If I re-run "bin/build" I get an error that seems to be related to OCaml:
Building directory src/holyhammer/hh [03 Apr, 14:03:21]
hh_parse.{cmi,cmx}
FAILED!
File "hh_parse.ml", line 1:
Error: Could not find the .cmi file for interface hh_parse.mli.
Build failed in directory /home/lars/work/reify/HOL/src/holyhammer/hh
(exited with code 1)
NB, the released Kananaskis 11 also fails to build, but with enough
repeated invocations of "bin/build" it eventually succeeds.
Cheers
Lars
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
