Re: Request for: support LoongArch architecture in ocaml source
Dear Dandan Zhang,
Le 16/05/2024 à 11:12, zhangdandan a écrit :
I would like to ask for your help.
This e-mail is about the support for LoongArch architecture in ocaml
source.
IIUC, you are talking about support for native compilation (ocamlopt).
Does bytecode-only work out of the box? If not, this should be a first
step and related changes are more likely to be accepted upstream.
The support for LoongArch architecture has been submitted in ocaml
upstream.
However, the submission request to support LoongArch is still in open
status.
Please see https://github.com/ocaml/ocaml/pull/11974.
OCaml 4.14.x are LTS releases that Debian is currently following. I
don't think it's worth targetting for a new backend. Big changes have
been made between 4.x and 5.x, and IMHO you should focus on 5.x, which
will eventually be in Debian.
You should refresh your pull request to match current trunk.
You should also give a path to setting up CI for the new backend, and
offer CI resources for it. Maybe actually setting up everything in a
fork would help convincing upstream to merge.
For the above situation, the current solution is to upload the
unreleased version for loong64 to the debian ports.
Please see
http://ftp.ports.debian.org/debian-ports/pool-loong64/main/o/ocaml/.
Currently, based on the unreleased version of Ocaml, more and more
packages (the compilation dependency is ocaml) are being built for
loong64 in the Debian Package Auto-Building environment and the
packages' build status are normal.
The build status for loong64 can be found at
https://buildd.debian.org/status/architecture.php?a=loong64&suite=sid.
At the same time, we have submitted a patch with LoongArch support to
Debian BTS.
Please see https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1054109.
As said by Adrian, this is too large to be included in the Debian
package. If you goal is to bootstrap the loong64 port, you should
diverge as little as possible from upstream, which means stick to
bytecode-only compilation for now.
We hope the support for LoongArch can be merged into ocaml upstream.
Could you give us suggestions for promoting patches being merged?
Your opinions are welcome.
Having loong64 support in ocamlopt is another goal, which should not be
mixed with bootstrapping the Debian loong64 port IMHO.
Cheers,
--
Stéphane
Reply to: