Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > linux.debian.bugs.dist > #1179432 > unrolled thread
| Started by | zhangdandan <zhangdandan@loongson.cn> |
|---|---|
| First post | 2023-12-20 07:30 +0100 |
| Last post | 2023-12-20 08:40 +0100 |
| Articles | 2 — 2 participants |
Back to article view | Back to linux.debian.bugs.dist
Bug#1059090: elpi: add build support for loongarch64 zhangdandan <zhangdandan@loongson.cn> - 2023-12-20 07:30 +0100
Bug#1059090: elpi: add build support for loongarch64 Julien Puydt <julien.puydt@gmail.com> - 2023-12-20 08:40 +0100
| From | zhangdandan <zhangdandan@loongson.cn> |
|---|---|
| Date | 2023-12-20 07:30 +0100 |
| Subject | Bug#1059090: elpi: add build support for loongarch64 |
| Message-ID | <HMYfD-eNI7-1@gated-at.bofh.it> |
Source: elpi Version: 8.5.4-1 Severity: wishlist Tags: patch User: debian-loongarch@lists.debian.org Usertags: loong64 Dear maintainers, The elpi source package lacks LoongArch architecture support. We need to add build support for loongarch64 in d/control, for examples, ``` Package: libelpi-ocaml -Architecture: amd64 arm64 i386 ppc64el ppc64 riscv64 sh4 +Architecture: amd64 arm64 i386 loong64 ppc64el ppc64 riscv64 sh4 Package: libelpi-ocaml-dev -Architecture: amd64 arm64 i386 ppc64el ppc64 riscv64 sh4 +Architecture: amd64 arm64 i386 loong64 ppc64el ppc64 riscv64 sh4 Package: elpi -Architecture: amd64 arm64 i386 ppc64el ppc64 riscv64 sh4 +Architecture: amd64 arm64 i386 loong64 ppc64el ppc64 riscv64 sh4 ``` I would like to remind you that the compilation dependencies of loong64 elpi are not yet satisfied. If you have any questions, you can contact me at any time. thanks, Dandan Zhang
[toc] | [next] | [standalone]
| From | Julien Puydt <julien.puydt@gmail.com> |
|---|---|
| Date | 2023-12-20 08:40 +0100 |
| Message-ID | <HMZlo-eOjc-13@gated-at.bofh.it> |
| In reply to | #1179432 |
[Multipart message — attachments visible in raw view] — view raw
Hi, Le mer. 20 déc. 2023, 07:27, zhangdandan <zhangdandan@loongson.cn> a écrit : > Source: elpi > Version: 8.5.4-1 > Severity: wishlist > Tags: patch > User: debian-loongarch@lists.debian.org > Usertags: loong64 > > Dear maintainers, > > The elpi source package lacks LoongArch architecture support. > We need to add build support for loongarch64 in d/control, for examples, > ``` > Package: libelpi-ocaml > -Architecture: amd64 arm64 i386 ppc64el ppc64 riscv64 sh4 > +Architecture: amd64 arm64 i386 loong64 ppc64el ppc64 riscv64 sh4 > > Package: libelpi-ocaml-dev > -Architecture: amd64 arm64 i386 ppc64el ppc64 riscv64 sh4 > +Architecture: amd64 arm64 i386 loong64 ppc64el ppc64 riscv64 sh4 > > Package: elpi > -Architecture: amd64 arm64 i386 ppc64el ppc64 riscv64 sh4 > +Architecture: amd64 arm64 i386 loong64 ppc64el ppc64 riscv64 sh4 > ``` > I'm ok with adding support for the architecture. I would like to remind you that the compilation dependencies of loong64 > elpi are not yet satisfied. > If you have any questions, you can contact me at any time. > I guess you're working your way up and you want to remove future easy hurdles already. I'll get this out of your way, but notice all Coq packages are mostly blocked since weeks - I'll push the change for elpi on salsa but won't upload before I can get everything in shape, probably not before january. Cheers, J.Puydt >
[toc] | [prev] | [standalone]
Back to top | Article view | linux.debian.bugs.dist
csiph-web