Bug#806008: coq: FTBFS when built with dpkg-buildpackage -A (No such file or directory)
Version: 8.5~beta2+dfsg-1 Nevermind. I finally found it: coq (8.5~beta2+dfsg-1) experimental; urgency=medium * coq-theories is now arch any, since it contains .coq-native/ directories (i.e. cmxs files for native compute) Because there was not a Close statement there, I'm closing this report by hand with this message. Thanks.
Bug#806008: coq: FTBFS when built with dpkg-buildpackage -A (No such file or directory)
Dear maintainers: It seems this source package (coq) does not generate "Arch: all" packages anymore. If this is intentional, then this bug may be closed. But I don't know for sure because I didn't find anything about this in the changelog. Can you comment on this? Thanks.
Bug#806008: coq: FTBFS when built with dpkg-buildpackage -A (No such file or directory)
tags 806008 + patch thanks >debian/rules override_dh_install > make[1]: Entering directory '/<>' > dh_install --fail-missing > cp debian/coq.xpm debian/coqide/usr/share/pixmaps/coqide.xpm > cp: cannot create regular file 'debian/coqide/usr/share/pixmaps/coqide.xpm': > No such file or directory > debian/rules:86: recipe for target 'override_dh_install' failed Explanation: We are creating arch-independent packages only. The "coqide" package is arch-dependent so debian/coqide/[...] does not exist. The trivial fix is to override dh_install only for arch-dependent packages. The following patch (untested) might help. Another option, since the file is very small, is to have a copy at debian/coqide.xpm and add a suitable line to debian/coqide.install. In this case override_dh_install could be dropped completely. Thanks.diff --git a/debian/rules b/debian/rules index 6343da5..3835e2e 100755 --- a/debian/rules +++ b/debian/rules @@ -81,8 +81,8 @@ override_dh_auto_install: find debian/tmp -name '*.vo' -printf '%P\n' \ >> debian/coq-theories.install -.PHONY: override_dh_install -override_dh_install: +.PHONY: override_dh_install-arch +override_dh_install-arch: dh_install --fail-missing cp debian/coq.xpm debian/coqide/usr/share/pixmaps/coqide.xpm
Bug#806008: coq: FTBFS when built with dpkg-buildpackage -A (No such file or directory)
Package: src:coq Version: 8.4pl4dfsg-3 User: sanv...@debian.org Usertags: binary-indep Severity: important Dear maintainer: I tried to build this package with "dpkg-buildpackage -A" (i.e. only architecture-independent packages), and it failed: [...] fakeroot debian/rules binary-indep dh binary-indep --with ocaml dh_testroot -i dh_prep -i dh_installdirs -i debian/rules override_dh_auto_install make[1]: Entering directory '/<>' /usr/bin/make COQINSTALLPREFIX=/<>/debian/tmp OLDROOT= install make[2]: Entering directory '/<>' /usr/bin/make --warn-undefined-variable --no-builtin-rules -f Makefile.build "install" make[3]: Entering directory '/<>' install -d "/<>/debian/tmp/usr/bin" install bin/coqmktop bin/coqc bin/coqtop.byte bin/coqtop.opt bin/coqchk bin/coqchk.opt "/<>/debian/tmp/usr/bin" cd "/<>/debian/tmp/usr/bin"; ln -sf coqtop.opt coqtop; ln -sf coqchk.opt coqchk install -d "/<>/debian/tmp/usr/bin" # recopie des fichiers de style pour coqide install -d "/<>/debian/tmp/usr/lib/coq"/tools/coqdoc touch "/<>/debian/tmp/usr/lib/coq"/tools/coqdoc/coqdoc.sty "/<>/debian/tmp/usr/lib/coq"/tools/coqdoc/coqdoc.css # to have the mode according to umask (bug #1715) install -m 644 tools/coqdoc/coqdoc.css tools/coqdoc/coqdoc.sty "/<>/debian/tmp/usr/lib/coq"/tools/coqdoc install bin/coqdep bin/coq_makefile bin/gallina bin/coq-tex bin/coqwc bin/coqdoc "/<>/debian/tmp/usr/bin" install -d "/<>/debian/tmp/usr/lib/coq" ./install.sh "/<>/debian/tmp/usr/lib/coq" theories/Init/Datatypes.vo theories/Init/Logic_Type.vo theories/Init/Logic.vo theories/Init/Notations.vo theories/Init/Peano.vo theories/Init/Prelude.vo theories/Init/Specif.vo theories/Init/Tactics.vo theories/Init/Wf.vo theories/Logic/Berardi.vo theories/Logic/ChoiceFacts.vo theories/Logic/ClassicalChoice.vo theories/Logic/ClassicalDescription.vo theories/Logic/ClassicalEpsilon.vo theories/Logic/ClassicalFacts.vo theories/Logic/Classical_Pred_Set.vo theories/Logic/Classical_Pred_Type.vo theories/Logic/Classical_Prop.vo theories/Logic/Classical_Type.vo theories/Logic/ClassicalUniqueChoice.vo theories/Logic/Classical.vo theories/Logic/ConstructiveEpsilon.vo theories/Logic/Decidable.vo theories/Logic/Description.vo theories/Logic/Diaconescu.vo theories/Logic/Epsilon.vo theories/Logic/Eqdep_dec.vo theories/Logic/EqdepFacts.vo theories/Logic/Eqdep.vo theories/Logic/FunctionalExtensionality.vo theories/ Logic/Hurkens.vo theories/Logic/IndefiniteDescription.vo theories/Logic/JMeq.vo theories/Logic/ProofIrrelevanceFacts.vo theories/Logic/ProofIrrelevance.vo theories/Logic/RelationalChoice.vo theories/Logic/SetIsType.vo theories/Arith/Arith_base.vo theories/Arith/Arith.vo theories/Arith/Between.vo theories/Arith/Bool_nat.vo theories/Arith/Compare_dec.vo theories/Arith/Compare.vo theories/Arith/Div2.vo theories/Arith/EqNat.vo theories/Arith/Euclid.vo theories/Arith/Even.vo theories/Arith/Factorial.vo theories/Arith/Gt.vo theories/Arith/Le.vo theories/Arith/Lt.vo theories/Arith/Max.vo theories/Arith/Minus.vo theories/Arith/Min.vo theories/Arith/Mult.vo theories/Arith/Peano_dec.vo theories/Arith/Plus.vo theories/Arith/Wf_nat.vo theories/Bool/BoolEq.vo theories/Bool/Bool.vo theories/Bool/Bvector.vo theories/Bool/DecBool.vo theories/Bool/IfProp.vo theories/Bool/Sumbool.vo theories/Bool/Zerob.vo theories/PArith/BinPosDef.vo theories/PArith/BinPos.vo theo ries/PArith/Pnat.vo theories/PArith/POrderedType.vo theories/PArith/PArith.vo theories/NArith/BinNatDef.vo theories/NArith/BinNat.vo theories/NArith/NArith.vo theories/NArith/Ndec.vo theories/NArith/Ndigits.vo theories/NArith/Ndist.vo theories/NArith/Nnat.vo theories/NArith/Ndiv_def.vo theories/NArith/Nsqrt_def.vo theories/NArith/Ngcd_def.vo theories/ZArith/auxiliary.vo theories/ZArith/BinIntDef.vo theories/ZArith/BinInt.vo theories/ZArith/Int.vo theories/ZArith/Wf_Z.vo theories/ZArith/Zabs.vo theories/ZArith/ZArith_base.vo theories/ZArith/ZArith_dec.vo theories/ZArith/ZArith.vo theories/ZArith/Zdigits.vo theories/ZArith/Zbool.vo theories/ZArith/Zcompare.vo theories/ZArith/Zcomplements.vo theories/ZArith/Zdiv.vo theories/ZArith/Zeven.vo theories/ZArith/Zgcd_alt.vo theories/ZArith/Zpow_alt.vo theories/ZArith/Zhints.vo theories/ZArith/Zlogarithm.vo theories/ZArith/Zmax.vo theories/ZArith/Zminmax.vo theories/ZArith/Zmin.vo theories/ZArith/Zmisc.vo th eories/ZArith/Znat.vo theories/ZArith/Znumtheory.vo theories/ZArith/ZOdiv_def.vo theories/ZArith/ZOdiv.vo theories/ZArith/Zquot.vo theories/ZArith/Zorder.vo theories/ZArith/Zpow_def.vo theories/ZArith/Zpower.vo theories/ZArith/Zpow_facts.vo theories/ZArith/Zsqrt_compat.vo theories/ZArith/Zwf.vo theories/ZArith/Zeuclid.vo theories/Setoids/Setoid.vo theories/Lists/ListSet.vo theories/Lists/ListTactics.vo theories/Lists/
