Adding my own 2 cents...
HOL light should work fine with Ocaml 3.12 (at least I'm using it
every day with it), but the version of camlp5 is quite important since
camlp5 is under permanent development and undergoes quites many changes.
So, to sum up, the following worked for me recently (not tested under
Cygwin though): ocaml 3.12.x + camlp5 6.02.0 (be very careful: not
6.02.1 or 6.01.99!)
You can access older versions of camlp5 at http://pauillac.inria.fr/~ddr/camlp5/distrib/src/?C=M;O=A
.
About your flexlink problem, I would not be surprised that it comes
from your successive installations of ocaml 3.12 and ocaml 3.11.
I would suggest to just remove everything and start over.
Cheers,
V.
--
Vincent Aravantinos
PostDoctoral fellow, Concordia University, Hardware Verification Group
http://users.encs.concordia.ca/~vincent
Le 14 mars 12 à 02:58, Adam Golding a écrit :
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
------------------------------------------------------------------------------
This SF email is sponsosred by:
Try Windows Azure free for 90 days Click Here
http://p.sf.net/sfu/sfd2d-msazure
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
