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