Opened 5 years ago
Closed 3 years ago
#59446 closed update (fixed)
coccinelle: update to 1.0.8, remove camlp4 dependency
Reported by: | pmetzger (Perry E. Metzger) | Owned by: | g5pw (Aljaž Srebrnič) |
---|---|---|---|
Priority: | Normal | Milestone: | |
Component: | ports | Version: | |
Keywords: | Cc: | ||
Port: | coccinelle |
Description
coccinelle is now at 1.0.8
Note that camlp4 is being obsoleted, and is not actually needed to build most of coccinelle any more. I would ask that the dependency be removed, as we otherwise cannot upgrade to ocaml 4.09
Change History (6)
comment:1 Changed 5 years ago by g5pw (Aljaž Srebrnič)
comment:2 Changed 5 years ago by pmetzger (Perry E. Metzger)
They're on github now as their source repository, but http://coccinelle.lip6.fr/download.php seems to be where they have the "official" download.
comment:6 Changed 3 years ago by reneeotten (Renee Otten)
Resolution: | → fixed |
---|---|
Status: | assigned → closed |
Note: See
TracTickets for help on using
tickets.
Sure thing, I'll update it asap. I see upstream has switched to GitHub as primary source code repo? The download link on the webpage is giving me a 404.