clangml - OCaml Clang bindings

[XVilka]

Seems abandoned but a great deal (not sure why Clang project doesn't adapt them)
https://github.com/Antique-team/clangml

[pmetzger]

I don't think the Clang/LLVM project generally has bindings for languages other than C and C++. (LLVM has official OCaml bindings but that's different from Clang.)

The license is also unusual, though that's not a problem for us, though it might be for the Clang people themselves.

Anyway, would you like to contact the authors and find out if they're willing to allow us to adopt the package? And would you be willing to handle the work?

[pmetzger]

@XVilka any progress?

[gasche]

(cc @UnixJunkie)

[UnixJunkie]

I don't maintain this anymore.
But I think it is still in use at INRIA.
Maybe SED people are maintaining it.
Ask Xavier Rival of inria, he will know.

[pmetzger]

@UnixJunkie Any possibility of you asking? Also, is it possible to get it relicensed?

[UnixJunkie]

@xrival Xavier, people are asking things about clangml.

[xrival]

Indeed, the project gets upgrades when needed for our research.
As of today, we use clangml on a regular basis but are not upgrading it as the current version does all we need it to. But we are considering making it compatible with the latest versions of clang.

There is of course no issue if you would like to use it or to contribute to it. Just let me know what you need or plan.

Best,

Xavier.

[UnixJunkie]

So, the conclusion is: not abandoned and not unmaintained.
I think you can close this, and post an issue in
https://github.com/Antique-team/clangml/issues
if you need an updated version.

[XVilka]

@UnixJunkie I opened last year already: Antique-team/clangml#66 and Antique-team/clangml#67

[XVilka]

Also no reaction to this PR: Antique-team/clangml#68

[UnixJunkie]

It's not very lively maybe, but it is used by @xrival and his students.
Moreover, @shindere and @thierry-martinez both know how to update it to a more recent clang version.
Personally, I am no more involved with this project.

[gasche]

@XVilka (and others): I got in touch with @xrival to try to explain the context better. They will be discussing what they want for the project sometime next week, and I think we should hear back after that.

[gasche]

(No matter what they prefer regarding ocaml-community, I pointed out that it would be nicer if the project got reactive maintenance, and I think they now understand that.)

[pmetzger]

@gasche BTW, please do ask them about the license. Using one that's compatible with clang/llvm might mean this could become an official binding distributed with the project.

[XVilka]

@pmetzger Antique-team/clangml#69

[thierry-martinez]

clangml.4.0.0beta1 is out: https://tmartine.gitlabpages.inria.fr/clangml/

[pmetzger]

Given that this isn't unmaintained and the maintainers don't want to move it to ocaml-community I'm going to close this.