Bug#1025129: elpi: Please add support for "riscv64" arch

["Manuel A. Fernandez Montecelo" <mafm@debian.org>]

Source: elpi
Version: 1.16.7-2
Severity: wishlist
Tags: ftbfs patch
User: debian-riscv@lists.debian.org
Usertags: riscv64
X-Debbugs-Cc: mafm@debian.org, debian-riscv@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 <mafm@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 <mafm@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 \