I'm getting the following trying to build HOL Light with ocaml 4.04, camlp5
6.17:
File "pa_j.ml", line 1918, characters 35-43:
While expanding quotation "str_item":
Parse error: antiquot "_" or antiquot "" or [ident] expected after 'type'
(in
[str_item])
I found a similar issue on Github at
https://github.com/jrh13/hol-light/issues/9, and a old thread by Rob Arthan
on this list: https://sourceforge.net/p/hol/mailman/message/31518128.
Rob: The mailing list thread says you have a patch, but doesn't say what
that patch is. What was it, and was it upstreamed? If not, does anyone
know how to fix the issue?
------------------------------------------------------------------------------
Developer Access Program for Intel Xeon Phi Processors
Access to Intel Xeon Phi processor-based developer platforms.
With one year of Intel Parallel Studio XE.
Training and support from Colfax.
Order your platform today.http://sdm.link/xeonphi
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
