I now have this problem:
1. uninstall, delete, and reinstall cygwin
2. svn checkout http://hol-light.googlecode.com/svn/trunk/ hol_light
3. extract camlp5-6.02.0
4. ./configure --strict
user@X220 /camlp5-6.02.0
$ ./configure --strict
>> Fatal error: cannot open pervasives.cmi
Fatal error: exception Misc.Fatal_error
>> Fatal error: cannot open pervasives.cmi
Fatal error: exception Misc.Fatal_error
Resulting configuration file (config/Makefile.cnf):
MODE=S
EXE=
OPT=.opt
EXT_OBJ=.o
EXT_LIB=.a
OVERSION=3.12.1
VERSION=6.02.0
OTOP=$(TOP)/ocaml_stuff/3.12.1
OCAMLC_W_Y="-w y"
WARNERR="-warn-error A"
NO_PR_DIR=--no-print-directory
OLIBDIR=C:\cygwin\opt\lib\ocaml
BINDIR=/usr/bin
LIBDIR=C:\cygwin\opt\lib\ocaml
MANDIR=/usr/man
=== strict mode ===
1. add C:\cygwin\lib\ocaml to path
then I get the same error again..
On 15 March 2012 03:51, Vincent Aravantinos
<[email protected]>wrote:
> 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
>
>
------------------------------------------------------------------------------
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
