Source: elpi Version: 1.16.7-2 Severity: wishlist Tags: ftbfs patch User: debian-ri...@lists.debian.org Usertags: riscv64 X-Debbugs-Cc: m...@debian.org, debian-ri...@lists.debian.org
Hi, Please enable this architecture, with the patch attached or an equivalent. I built it locally on hardware, it built fine just by enabling the architecture in debian/control, and increasing the timeout. I only tried with doubling the current timeot, maybe it can do with significantly less time, but 600 from longer_timeout.patch is already much higher than the original 90. But if you want I can try and try to get a more accurate limit. Thanks and cheers. -- Manuel A. Fernandez Montecelo <m...@debian.org>
diff -Nru elpi-1.16.7/debian/changelog elpi-1.16.7/debian/changelog --- elpi-1.16.7/debian/changelog 2022-10-26 09:11:53.000000000 +0000 +++ elpi-1.16.7/debian/changelog 2022-11-29 17:27:58.000000000 +0000 @@ -1,3 +1,10 @@ +elpi (1.16.7-2.1) UNRELEASED; urgency=medium + + * Non-maintainer upload. + * Add support for riscv64 arch + + -- Manuel A. Fernandez Montecelo <m...@debian.org> Tue, 29 Nov 2022 17:27:58 +0000 + elpi (1.16.7-2) unstable; urgency=medium * Limit the architectures where the package builds, diff -Nru elpi-1.16.7/debian/control elpi-1.16.7/debian/control --- elpi-1.16.7/debian/control 2022-10-26 09:11:53.000000000 +0000 +++ elpi-1.16.7/debian/control 2022-11-29 17:27:58.000000000 +0000 @@ -26,7 +26,7 @@ Homepage: https://github.com/LPCIC/elpi Package: libelpi-ocaml -Architecture: amd64 arm64 i386 ppc64el ppc64 sh4 +Architecture: amd64 arm64 i386 ppc64el ppc64 riscv64 sh4 Depends: ${misc:Depends}, ${ocaml:Depends}, ${shlibs:Depends} Provides: ${ocaml:Provides} Recommends: ocaml-findlib @@ -38,7 +38,7 @@ This package provides the runtime files. Package: libelpi-ocaml-dev -Architecture: amd64 arm64 i386 ppc64el ppc64 sh4 +Architecture: amd64 arm64 i386 ppc64el ppc64 riscv64 sh4 Depends: ${misc:Depends}, ${ocaml:Depends}, ${shlibs:Depends} Provides: ${ocaml:Provides} Recommends: ocaml-findlib @@ -50,7 +50,7 @@ This package provides the dev files. Package: elpi -Architecture: amd64 arm64 i386 ppc64el ppc64 sh4 +Architecture: amd64 arm64 i386 ppc64el ppc64 riscv64 sh4 Depends: libelpi-ocaml (= ${binary:Version}), ${misc:Depends}, ${shlibs:Depends} diff -Nru elpi-1.16.7/debian/patches/longer_timeout.patch elpi-1.16.7/debian/patches/longer_timeout.patch --- elpi-1.16.7/debian/patches/longer_timeout.patch 2022-10-26 09:11:53.000000000 +0000 +++ elpi-1.16.7/debian/patches/longer_timeout.patch 2022-11-29 17:27:58.000000000 +0000 @@ -2,14 +2,16 @@ Author: Julien Puydt Forwarded: Debian-specific ---- elpi.orig/Makefile -+++ elpi/Makefile -@@ -24,7 +24,7 @@ +Index: elpi-1.16.7/Makefile +=================================================================== +--- elpi-1.16.7.orig/Makefile ++++ elpi-1.16.7/Makefile +@@ -24,7 +24,7 @@ help: INSTALL=_build/install/default BUILD=_build/default SHELL:=/usr/bin/env bash -TIMEOUT=90.0 -+TIMEOUT=600.0 ++TIMEOUT=1200.0 PWD=$(shell pwd) RUNNERS=\ dune \
