Bug#921465: why3 FTBFS: dh_install: Cannot find (any matches for) "debian/tmp/usr/local/lib/ocaml/*/why3"

To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: Bug#921465: why3 FTBFS: dh_install: Cannot find (any matches for) "debian/tmp/usr/local/lib/ocaml/*/why3"
From: Adrian Bunk <bunk@debian.org>
Date: Tue, 05 Feb 2019 22:10:51 +0200
Message-id: <[🔎] 154939745149.17711.12798713540308387998.reportbug@localhost>
Reply-to: Adrian Bunk <bunk@debian.org>, 921465@bugs.debian.org

Source: why3
Version: 1.1.1-3
Severity: serious
Tags: ftbfs
Control: block 918633 by -1

https://buildd.debian.org/status/package.php?p=why3

...
dh_install -a -XLICENSE
dh_install: Cannot find (any matches for) "debian/tmp/usr/local/lib/ocaml/*/why3" (tried in ., debian/tmp)

dh_install: libwhy3-ocaml-dev missing files: debian/tmp/usr/local/lib/ocaml/*/why3
dh_install: missing files, aborting
make[1]: *** [debian/rules:31: override_dh_install-arch] Error 25

Reply to:

Follow-Ups:
- Processed: why3 FTBFS: dh_install: Cannot find (any matches for) "debian/tmp/usr/local/lib/ocaml/*/why3"
  - From: "Debian Bug Tracking System" <owner@bugs.debian.org>
- Bug#921465: marked as done (why3 FTBFS: dh_install: Cannot find (any matches for) "debian/tmp/usr/local/lib/ocaml/*/why3")
  - From: "Debian Bug Tracking System" <owner@bugs.debian.org>

Prev by Date: Processed: block 916369 with 919462
Next by Date: Processed: why3 FTBFS: dh_install: Cannot find (any matches for) "debian/tmp/usr/local/lib/ocaml/*/why3"
Previous by thread: Processed: block 916369 with 919462
Next by thread: Processed: why3 FTBFS: dh_install: Cannot find (any matches for) "debian/tmp/usr/local/lib/ocaml/*/why3"
Index(es):
- Date
- Thread