search

immler / hol-light

Automatically exported from code.google.com/p/hol-light
Other
0 stars 0 forks source link

Camlp5-6.12 is out #25

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
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 vincent....@gmail.com on 30 Sep 2014 at 11:59

Attachments:

GoogleCodeExporter commented 9 years ago 
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 jrh...@gmail.com on 16 Nov 2014 at 8:36