Camlp5-6.12 is out

[GoogleCodeExporter]

What steps will reproduce the problem?
1. Install camlp5-6.12 (released 2014-09-19)
2. Checkout the source of hol-light (revision 199)
3. Run `make`

What is the expected output? What do you see instead?

The compilation fails, because the wrong file was copied to `pa_j.ml`.

What version of the product are you using? On what operating system?

hol-light r199 on linux x86_64 with ocaml 4.01.0 and camlp5 6.12

Please provide any additional information below.

Original issue reported on code.google.com by [email protected] on 30 Sep 2014 at 11:59

Attachments:

• Makefile.patch

[GoogleCodeExporter]

Thanks a lot for pointing this out and supplying a patch.
I've applied the change to r205 so I hope this is fixed (till next time...)

Original comment by [email protected] on 16 Nov 2014 at 8:36

[GoogleCodeExporter]

Next time has come…

camlp5-6.13 is out; it has been released on 2015-06-15.

Patch attached. Briefly tested with OCaml-4.01.1 on linux x86_64.

Regards,

Original comment by [email protected] on 17 Jun 2015 at 9:53

Attachments:

• Makefile.patch

[GoogleCodeExporter]

the makefile.patch also works with ocaml-4.02.1 at least under ubuntu 14.04 
64bit camlp5-6.13, just to let you know
regards

Original comment by [email protected] on 4 Jul 2015 at 1:50