Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

please port from Camlp4 to Camlp5 #36

Open
rosset opened this issue Jul 3, 2019 · 9 comments
Open

please port from Camlp4 to Camlp5 #36

rosset opened this issue Jul 3, 2019 · 9 comments

Comments

@rosset
Copy link

rosset commented Jul 3, 2019

please port from Camlp4 to Camlp5

@XVilka
Copy link

XVilka commented Aug 8, 2019

Note, that Camlp4 is deprecated officially now, and 4.08 version will be the last one: https://discuss.ocaml.org/t/the-end-of-camlp4/4216

It is advised to switch to extension points (ppx) instead.

@XVilka
Copy link

XVilka commented Nov 26, 2019

Btw, it will not work with 4.09 without this port.

@HinTak
Copy link
Contributor

HinTak commented May 15, 2020

Fedora 32 ships caml 4.10, and camlp4 is gone...

@ygrek
Copy link
Owner

ygrek commented May 19, 2020

@HinTak https://github.com/camlp4/camlp4 works for 4.10, I will do a release soon. So far it seems easier to keep camlp4 updated.

@HinTak
Copy link
Contributor

HinTak commented May 19, 2020

@ygrek if mldonkey can be changed to download just that? I expect newer linux distro will do similar - ships 4.10 with p5...

@ygrek
Copy link
Owner

ygrek commented May 19, 2020

longterm I hope to be able to use opam bundle

@ygrek
Copy link
Owner

ygrek commented May 24, 2020

fwiw camlp4 4.10 was released https://github.com/camlp4/camlp4/releases/tag/4.10%2B1

@XVilka
Copy link

XVilka commented May 24, 2020

Should it be closed then?

@HinTak
Copy link
Contributor

HinTak commented May 24, 2020

It would still be nice for mldonkey to only download comlp4 and rebuild that against newer caml though!

@HinTak HinTak mentioned this issue Sep 30, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

4 participants