My Situation:
Windows 7 64-bit Ultimate
Cygwin (with the Cygwin version of OCaml 3.12.1)
Since there is no pa_j_3.12.ml file I copied pa_j_3.11.ml to pa_j.ml
I get the following error when trying to 'make' HOL:
$ ocamlc -c -pp "camlp5r pa_lexer.cmo pa_extend.cmo q_MLast.cmo" -I +camlp5
pa_j.ml
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
Not having the first clue about OCaml, I don't know how to proceed from
here..
Many Thanks :-)
Adam Golding
------------------------------------------------------------------------------
Virtualization & Cloud Management Using Capacity Planning
Cloud computing makes use of virtualization - but cloud computing
also focuses on allowing computing to be delivered as a service.
http://www.accelacomm.com/jaw/sfnl/114/51521223/
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
