I'm trying to install HOL light with ocaml 3.12 and camlp5-6.06 but I
get this error, whether I have camlp5 built -transitional or -strict,
whatever that means.
Anyone kow how to make it go?
Ian
ian@jaguar:~/HOL/hol_light$ make
if test `ocamlc -version | cut -c1-4` = "3.10" -o `ocamlc -version | cut -c1-4`
= "3.12" ; \
then ocamlc -c -pp "camlp5r pa_lexer.cmo pa_extend.cmo
q_MLast.cmo" -I +camlp5 pa_j.ml; \
else ocamlc -c -pp "camlp4r pa_extend.cmo q_MLast.cmo" -I
+camlp4 pa_j.ml; \
fi
File "pa_j.ml", line 1689, characters 37-56:
While expanding quotation "class_expr":
Parse error: ']' or [expr] expected after '[' (in [expr])
File "pa_j.ml", line 1, characters 0-1:
Error: Preprocessor error
make: *** [pa_j.cmo] Error 2
------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and
threat landscape has changed and how IT managers can respond. Discussions
will include endpoint security, mobile security and the latest in malware
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
