[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1025129: marked as done (elpi: Please add support for "riscv64" arch)

Your message dated Wed, 07 Dec 2022 07:49:19 +0000
with message-id <E1p2pB9-00Gmxk-HD@fasolo.debian.org>
and subject line Bug#1025129: fixed in elpi 1.16.8-1
has caused the Debian Bug report #1025129,
regarding elpi: Please add support for "riscv64" arch
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
1025129: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1025129
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
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 \

--- End Message ---
--- Begin Message --- 
Source: elpi
Source-Version: 1.16.8-1
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
elpi, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 1025129@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Julien Puydt <jpuydt@debian.org> (supplier of updated elpi package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Wed, 07 Dec 2022 08:21:57 +0100
Source: elpi
Architecture: source
Version: 1.16.8-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1025129
Changes:
 elpi (1.16.8-1) unstable; urgency=medium
 .
   * Re-enable the archv64 architecture following advice from
   Manuel A. Fernandez Montecelo - thanks! (Closes: #1025129)
   * New upstream release.
   * Drop the patch for yojson 2.0 support (obsolete).
Checksums-Sha1:
 d9e58962238143e9b1759246eb01ae85b5845f6f 2430 elpi_1.16.8-1.dsc
 fac174f5494b57d3ecee852f2268ac4229c762c4 2601311 elpi_1.16.8.orig.tar.gz
 2e6cb0b2c08df7d88e3d60f7409014ac7019eaeb 4104 elpi_1.16.8-1.debian.tar.xz
 9e79eb47e2e592154d7acd0243f8d77187c1f55a 13271 elpi_1.16.8-1_source.buildinfo
Checksums-Sha256:
 6b61c92dee04b97ef6268810644c31d8d137bbdb021d76dad61762f0c7b323e9 2430 elpi_1.16.8-1.dsc
 407554ad82be468435df90211db5ff9f9a60d1559ab6e9d672ee422a9fc07c7f 2601311 elpi_1.16.8.orig.tar.gz
 9033551af29a906c7adf8d3b44b9a16d4dcc118c3e9c522c2a84bdcd92cc6c8f 4104 elpi_1.16.8-1.debian.tar.xz
 4687fa4aa1ebe94e7fdf7c937fc1e1ddea96be0e5442967b0072a95904e64613 13271 elpi_1.16.8-1_source.buildinfo
Files:
 8dd76c052a59ed9dfc9f087706ada4a4 2430 ocaml optional elpi_1.16.8-1.dsc
 40d9346be40acb470af26eac7c7c31ac 2601311 ocaml optional elpi_1.16.8.orig.tar.gz
 0b1b961b3a513a8474589a6ea17b04bb 4104 ocaml optional elpi_1.16.8-1.debian.tar.xz
 71d9c4d3fefc6fd10aab3d8388053575 13271 ocaml optional elpi_1.16.8-1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmOQP0ASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRxKkP/RR1ujzYmBiyi9ut5uonB9D0hWQld7Uu
8pdnmHAA3J5PyRMQ0e1/0Bgd8ql94e7x6j2DkP686AlT/9ms5gdCGGwqq14PyFKx
hxHiWP6pcU5RIMu4sN4Dg0yCMHG/xzNWpIfcy9lkPZRfacH6+5qKRCmNVHDDSlQp
YbsTyke8AR11w/cdQEjLNXIQ7l0J31LnPmB9ah+eJ/5Y/eo/IMJA8WRr8Alrz59D
GKK3sUakIqa01aV/bVZO0GVnvqpBTdw5xPMrKjJybtH0EwK/o/pbN7/TV+WL9DPj
Iqez3Hqy+eT+tQ1pXMyTfzrBOy16pE0OWhdL1VAuspr8hsvpOq3AXQx1FKwwu+PW
pG+3ap1JyOArwvk2sq3jscSq6gyRo/T6PCreWJO5fQmXoIOIO3YuwHy0+vgkrxHh
iUphZU1tE69rYuEPPh0x7TpHeEyUiRe24DGZlapFE3nu+J2OtNWMOqsr4x9FItal
CpT7yTcCs0kjw8Oly85KFtGviOcdBpmQ7vKdwze9QJ0m5blM1ysD2rhE9Z9gPsd7
bcXcYcJgh9J8IA5TRIhhHjzx7NBaZCZGzminQfwLuOI7DoBGNL4RU4mg4UrHSf5/
KX5XiXrEPzVs6bTEXs8NpkGxNMCNV6FVf9RyfYhJNU72OYtRelXUg8mZBGyeoQKB
fyAlllpcIwEl
=KKMp
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: