Bug#953739: aac-tactics: FTBFS in sid
Source: aac-tactics
Version: 8.9.0-1
Severity: serious
Hello, looks like some changes in sid made aac-tactics FTBFS in sid, log is available here:
http://debomatic-amd64.debian.net/distribution#unstable/aac-tactics/8.9.0-1/buildlog
I: Running cd /build/aac-tactics-8.9.0/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin" HOME="/nonexistent" dpkg-buildpackage -us -uc
dpkg-buildpackage: info: source package aac-tactics
dpkg-buildpackage: info: source version 8.9.0-1
dpkg-buildpackage: info: source distribution unstable
dpkg-buildpackage: info: source changed by Stéphane Glondu <glondu@debian.org>
dpkg-source --before-build .
dpkg-buildpackage: info: host architecture amd64
debian/rules clean
dh clean --with ocaml
debian/rules override_dh_auto_clean
make[1]: Entering directory '/build/aac-tactics-8.9.0'
/usr/bin/make clean
make[2]: Entering directory '/build/aac-tactics-8.9.0'
coq_makefile -f _CoqProject -o Makefile.coq
camlp5 macro files not supported anymore, please port src/aac.ml4 to coqpp
Usage summary:
coq_makefile .... [file.v] ... [file.ml[ig]?] ... [file.ml{lib,pack}]
... [any] ... [-extra[-phony] result dependencies command]
... [-I dir] ... [-R physicalpath logicalpath]
... [-Q physicalpath logicalpath] ... [VARIABLE = value]
... [-arg opt] ... [-opt|-byte] [-no-install] [-f file] [-o file]
[-h] [--help]
Full list of options:
[file.v]: Coq file to be compiled
[file.ml[ig]?]: Objective Caml file to be compiled
[file.ml{lib,pack}]: ocamlbuild-style file that describes a Objective Caml
library/module
[any] : subdirectory that should be "made" and has a Makefile itself
to do so. Very fragile and discouraged.
[-extra result dependencies command]: add target "result" with command
"command" and dependencies "dependencies". If "result" is not
generic (do not contains a %), "result" is built by _make all_ and
deleted by _make clean_.
[-extra-phony result dependencies command]: add a PHONY target "result"
with command "command" and dependencies "dependencies". Note that
_-extra-phony foo bar ""_ is a regular way to add the target "bar" as
as a dependencies of an already defined target "foo".
[-I dir]: look for Objective Caml dependencies in "dir"
[-R physicalpath logicalpath]: look for Coq dependencies recursively
starting from "physicalpath". The logical path associated to the
physical path is "logicalpath".
[-Q physicalpath logicalpath]: look for Coq dependencies starting from
"physicalpath". The logical path associated to the physical path
is "logicalpath".
[VARIABLE = value]: Add the variable definition "VARIABLE=value"
[-byte]: compile with byte-code version of coq
[-opt]: compile with native-code version of coq
[-arg opt]: send option "opt" to coqc
[-install opt]: where opt is "user" to force install into user directory,
"none" to build a makefile with no install target or
"global" to force install in $COQLIB directory
[-f file]: take the contents of file as arguments
[-o file]: output should go in file file (recommended)
Output file outside the current directory is forbidden.
[-h]: print this usage summary
[--help]: equivalent to [-h]
make[2]: *** [Makefile:9: Makefile.coq] Error 1
make[2]: Leaving directory '/build/aac-tactics-8.9.0'
make[1]: *** [debian/rules:21: override_dh_auto_clean] Error 2
make[1]: Leaving directory '/build/aac-tactics-8.9.0'
make: *** [debian/rules:18: clean] Error 2
dpkg-buildpackage: error: debian/rules clean subprocess returned exit status 2
I: copying local configuration
Can you please have a look?
G.
Reply to: