3.09.3 release candidate 2 - fa.caml

Message from discussion 3.09.3 release candidate 2

Aleksey Nogin

View profile

More options Sep 12 2006, 10:50 pm

Newsgroups: fa.caml

From: Aleksey Nogin <no...@cs.caltech.edu>

Date: Wed, 13 Sep 2006 02:50:24 UTC

Local: Tues, Sep 12 2006 10:50 pm

Subject: Re: [Caml-list] 3.09.3 release candidate 2

  Reply to author
  |
  Forward
  | Print
  | View thread
  | Show original
  | Report this message
  | Find messages by this author
  

On 08.09.2006 07:47, Damien Doligez wrote:

> We have decided to make a second release candidate for 3.09.3.
> The only changes between rc1 and rc2 are camlp4-related:

> - camlp4: install pa_o_fast.o PR#3812
> - camlp4: install more modules PR#3689

> We would appreciate if camlp4 users (and particularly Hendrik) could
> test this version and report any problems found with it.

I was able to compile the MetaPRL theorem prover and run the regression
test without any issues. I was using natively compiled MetaPRL that
links against the natively compiled camlp4.

Aleksey

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

Reply to author Forward