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

Bug#1070787: marked as done (coq-corn: produces empty binary)

Your message dated Sat, 11 May 2024 16:04:40 +0000
with message-id <E1s5pDE-001z5U-4r@fasolo.debian.org>
and subject line Bug#1070787: fixed in coq-corn 8.19.0+ds1-1
has caused the Debian Bug report #1070787,
regarding coq-corn: produces empty binary
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.)


-- 
1070787: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1070787
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: coq-corn
Version: 8.19.0-1
Severity: serious

Hello, looks like there are at least two issues:
1) fta directory was stripped on tarball import, not sure how and why, because the upstream repo still contains it
(this makes autopkgtest fail)

2) the produced binary package looks empty

https://packages.debian.org/sid/amd64/libcoq-corn/filelist
/usr/share/doc/libcoq-corn/changelog.Debian.gz
/usr/share/doc/libcoq-corn/copyright
/var/lib/coq/md5sums/libcoq-corn.checksum


For sure changes in configure.sh are a possible culprit

diff --git a/configure.sh b/configure.sh
index fae7a08..c696c8f 100755
--- a/configure.sh
+++ b/configure.sh
@@ -1,11 +1,3 @@
-#!/usr/bin/env sh
-
-# Produce files Make and Makefile
-
-cp -f Make.in Make
-
-DIRECTORIES="algebra complex coq_reals fta ftc liouville logic metrics model raster reals tactics transc order metric2 stdlib_omissions util classes ode"
-
-find $DIRECTORIES -name "*.v" >>Make
-
-${COQBIN}coq_makefile -f Make -o Makefile
+#!/bin/sh
+cp -f _CoqProject.in _CoqProject
+find . -name "*.v" |grep -v misc/benchmarks_nobuild.v >> _CoqProject

thanks for having a look

Gianfranco

Attachment: OpenPGP_signature.asc
Description: OpenPGP digital signature


--- End Message ---
--- Begin Message --- 
Source: coq-corn
Source-Version: 8.19.0+ds1-1
Done: Julien Puydt <jpuydt@debian.org>

We believe that the bug you reported is fixed in the latest version of
coq-corn, 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 1070787@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 coq-corn 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: Sat, 11 May 2024 17:45:21 +0200
Source: coq-corn
Architecture: source
Version: 8.19.0+ds1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1070787
Changes:
 coq-corn (8.19.0+ds1-1) unstable; urgency=medium
 .
   * Use coq-corn's upstream sources instead of coq-math-classes'
     (Closes: #1070787).
   * Make d/watch mangle +ds* prefixes.
Checksums-Sha1:
 add397903762b28475ab7fff9254d575ebe9e830 2120 coq-corn_8.19.0+ds1-1.dsc
 372a19facf0f02611f0f553764ed124c3e811ab3 1321010 coq-corn_8.19.0+ds1.orig.tar.gz
 b4cb1b926d658ca1c10b5877ab5693e465166b66 4240 coq-corn_8.19.0+ds1-1.debian.tar.xz
 e053d960ea09ad160083896692d698fe0af4f0fa 8136 coq-corn_8.19.0+ds1-1_source.buildinfo
Checksums-Sha256:
 ded901d24bf0354a7a6cc9a853c7a11b6fedec61be0f9324fb02846a831ea2f5 2120 coq-corn_8.19.0+ds1-1.dsc
 93278dd07b52966741beee3e7a98d8b8ef808bf619e6427f93f66b5bd59f0cac 1321010 coq-corn_8.19.0+ds1.orig.tar.gz
 fa09743467cc02e7887880ea801a075afb425f025368bb33e5f0445d0c7d35f4 4240 coq-corn_8.19.0+ds1-1.debian.tar.xz
 c4eab40b3d23a9a757e033505c3d4c5e33724fef260f78a35a4ab08f03d6e516 8136 coq-corn_8.19.0+ds1-1_source.buildinfo
Files:
 644f656598aef573038d4741a6213734 2120 ocaml optional coq-corn_8.19.0+ds1-1.dsc
 1d4581910322a18aa965740c300ac1cd 1321010 ocaml optional coq-corn_8.19.0+ds1.orig.tar.gz
 eb6e093eda37440cfb10ee39063d5c5a 4240 ocaml optional coq-corn_8.19.0+ds1-1.debian.tar.xz
 86dde79499e35a7d1ed34496e8787181 8136 ocaml optional coq-corn_8.19.0+ds1-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmY/kroSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR3+YQAIpSk4YHoj0Dx22dacqhTTWhKnHXdcbh
mR1VJAI85q8jLRToBmlj85h5ypw/3yKU+IqMyImhImaC3SMnUZwO7Q4Wmhd44Xmh
+gcjGMFkvpQc53e7F9q+oSV4bWNUNI/pvV6eo7WZOzkoSi9JnLUZQD2GkyiWOSlP
ILTCKJCUs4FXkZuU0WNALqufS8MvJn5+gsx72/7RnuCkxmrIGlkI3j2OYlalyjDu
hRQL8BHZSL4pc4s8ByAA8+drTc04c6AXCWiHx6/fcAgmlA65sJNLoY6W5TcS9gan
3OgVXGfdnyvdoFM+P027ZewjWXtFEIl+qQODcKsnuBif/CrK6wCeUjTV3vBTCWUM
yHF2m5I0nso+6uq36L3Mb0je1QqJRF3/Hc08d9D5JVDRkz46H3YEkbchKpkkuZ/w
fVxYSe1/tI2Owo25T5grUrmcU7+hg9UKdjBKpF+ErwkDF2esSPoUGLt48Sr7qikS
csZpYNnfxdoooC8t5mM7N0VxUmIY0TzlgUTjLHdCRwIJbh0yuMoQkq+to9mD7CQ1
U2WgUyWyhgV9GbwJMQU02DdVRpFjir8vGoORLUv/VdgJElZZU2Qly0BLbmxQR1Vg
gGrTHzpph5ml62iMaWNSTT5vVykHmeecfeORJqnQdmgRtBrAaanXgU6TuWhy1WpR
uaFIpiVtEoon
=6xCp
-----END PGP SIGNATURE-----

Attachment: pgpfjPRSj1gaC.pgp
Description: PGP signature


--- End Message ---
Reply to: