Macaque dependency on pgocaml 1.7

[jmineraud]

Hi,

I have an issue with Macaque which seems to want to downgrade pgocaml to the 1.7 version. Currently the pgocaml version is 2.1. Unfortunately, it generates an issue for the undefined global value `PGOcaml_Config'. I used to have no problem using Macaque before. Was there a change in the dependency of the package that forces to downgrade the version of pgocaml ?

Best Regards,

Julien

[kit-ty-kate]

Related to #24. pgocaml 2.0 broke the compatibility with older versions and macaque doesn't support pgocaml >= 2.0 yet. Note also that opam should not allow you to install pgocaml >= 2.0 if macaque is installed (see: https://github.com/ocaml/opam-repository/blob/master/packages/macaque/macaque.0.6.1/opam#L10)

[jmineraud]

Yes, but I would need to install the version 1.7.1 and not the 1.7 that is the one my opam is installing after the downgrade. It used to work before but now that I have only the version 1.7, I am getting some compilation error about PGOcaml_Config

[kit-ty-kate]

Does it work if you replace 2.0 by 2.0.0 in ~/.opam/repo/default/packages/macaque.0.6.1/opam ?

[jmineraud]

The computer I am using at the moment do not have the issue but the version 2.0 of pgocaml was not installed. I will try your suggestion once I am back at home. Thank you

[jmineraud]

I haven't have to change anything, it seems like a simple update this morning updated the depedency of macaque from pgocaml 1.7 to 1.7.1. It works now