[Hol-info] Similar trouble building HOL Light's pa_j.ml

[Geoffrey I. <ir...@na...>]

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?