cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage --sanitize-env -us -uc -rfakeroot -SPrimitiveProjections.dot tests/PrimitiveProjections2.dot tests/graph.without.dot tests/search tests/graph2.dpdusage tests/attributes.err tests/double_node.err tests/lexing.err tests/missing_node.err tests/parsing.err tests/unterminated_comment.err tests/
----------------------------------------------------------------------------------------------------------------------------------
dpkg-buildpackage: info: source package coq-dpdgraph
dpkg-buildpackage: info: source version 1.0+8.17-1
dpkg-buildpackage: info: source distribution unstable
dpkg-buildpackage: info: source changed by Julien Puydt <jpuydt@debian.org>
dpkg-source --before-build .
debian/rules clean
dh clean --with coq,ocaml
dh_auto_clean
make -j8 clean
make[1]: Entering directory '/<<PKGBUILDDIR>>'
make -f Make_coq clean
rm -f tests/graph.dpd tests/graph2.dpd tests/Morph.dpd tests/Morph_rw.dpd tests/Polymorph.dpd tests/PrimitiveProjections.dpd tests/PrimitiveProjections2.dpd tests/graph.dot tests/graph2.dot tests/Morph.dot tests/Morph_rw.dot tests/Polymorph.dot tests/
tests/PrimitiveProjections.dot.log tests/PrimitiveProjections2.dot.log tests/graph.without.dot.log tests/search.log tests/graph2.dpdusage.log tests/attributes.err.log tests/double_node.err.log tests/lexing.err.log tests/missing_node.err.log tests/parsing.err.log tests/unterminated_comment.err.log tests/file_not_found.err.log tests/graph.dpd.ok tests/graph2.dpd.ok tests/Morph.dpd.ok tests/Morph_rw.dpd.ok tests/Polymorph.dpd.ok tests/PrimitiveProjections.dpd.ok tests/PrimitiveProjections2.dpd.ok
tests/missing_node.err.ok tests/parsing.err.ok tests/unterminated_comment.err.ok tests/file_not_found.err.okcmx version.o dpd_compute.o dpd_dot.o dpd_parse.o dpd_lex.o dpd2dot.o dpdusage.o *.cmi
make[2]: Entering directory '/<<PKGBUILDDIR>>'
rm -f tests/Test.vo tests/Test.glob
rm -f tests/Morph.vo tests/Morph.glob
rm -f tests/Polymorph.vo tests/Polymorph.glob
rm -f tests/.*.vo.aux
CLEAN
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
rm -f searchdepend.o graphdepend.o searchdepend.cmx graphdepend.cmx dpdgraph.cmxs Make_coq version.ml dpd_lex.ml dpd_parse.ml dpd_parse.mli .depend
rm -f version.cmo dpd_compute.cmo dpd_dot.cmo dpd_parse.cmo dpd_lex.cmo dpdusage.cmo version.cmo dpd_compute.cmo dpd_dot.cmo dpd_parse.cmo dpd_lex.cmo dpd2dot.cmo version.cmx dpd_compute.cmx dpd_dot.cmx dpd_parse.cmx dpd_lex.cmx dpd2dot.cmx dpdusage.
rm -f version.annot dpd_compute.annot dpd_dot.annot dpd_parse.annot dpd_lex.annot dpd2dot.annot dpdusage.annot
rm -f ./dpd2dot ./dpdusage ./dpdgraph.vo
Use: make clean_config to remove configuration generated files
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
dh_autoreconf_clean
dh_ocamlclean
dh_clean
dpkg-source -b .
dpkg-source: info: using source format '3.0 (quilt)'
dpkg-source: info: building coq-dpdgraph using existing ./coq-dpdgraph_1.0+8.17.orig.tar.gz
dpkg-source: info: using patch list from debian/patches/series
dpkg-source: warning: executable mode 0755 of 'config.status' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/Morph.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/Morph.vos' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/Polymorph.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/Polymorph.vos' will not be represented in diff
dpkg-source: error: cannot represent change to tests/PrimitiveProjections.vo: binary file contents changed
dpkg-source: error: add tests/PrimitiveProjections.vo in debian/source/include-binaries if you want to store the modified binary in the debian tarball
dpkg-source: warning: newly created empty file 'tests/PrimitiveProjections.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/PrimitiveProjections.vos' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/Test.vok' will not be represented in diff
dpkg-source: warning: newly created empty file 'tests/Test.vos' will not be represented in diff
dpkg-source: error: unrepresentable changes to source
dpkg-buildpackage: error: dpkg-source -b . subprocess returned exit status 1
E: Command 'cd /<<PKGBUILDDIR>> && runuser -u user42 -- dpkg-buildpackage --sanitize-env -us -uc -rfakeroot -S' failed to run.
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 297 |
Nodes: | 16 (2 / 14) |
Uptime: | 27:32:16 |
Calls: | 6,668 |
Files: | 12,216 |
Messages: | 5,337,860 |