Source: undertaker Version: 1.3b-1 Severity: important Justification: fails to build from source (but built successfully in the past)
Hi, your package fails to build, please see the attached full log. -- System Information: Debian Release: 7.0 APT prefers unreleased APT policy: (500, 'unreleased'), (500, 'unstable') Architecture: m68k Kernel: Linux 3.2.0-4-atari Locale: LANG=C, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/mksh-static
I: Using pkgname logfile I: Current time: Fri Feb 1 17:51:58 UTC 2013 I: pbuilder-time-stamp: 1359741118 I: Obtaining the cached apt archive contents I: Installing the build-deps W: no hooks of type D found -- ignoring -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy Version: 0.invalid.0 Architecture: m68k Maintainer: Debian Pbuilder Team <[email protected]> Description: Dummy package to satisfy dependencies with aptitude - created by pbuilder This package was created automatically by pbuilder to satisfy the build-dependencies of the package being currently built. Depends: check, debhelper (>= 7.0.50~), libboost-dev (>= 1.40), libboost-filesystem-dev (>= 1.40), libboost-regex-dev (>= 1.40), libboost-thread-dev (>= 1.40), libboost-wave-dev (>= 1.40), libpstreams-dev, libpuma-dev (>= 1:1.1+svn20120529-2~), picosat (>= 913-4~), python-all (>= 2.6.6-3~) dpkg-deb: building package `pbuilder-satisfydepends-dummy' in `/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. (Reading database ... 12264 files and directories currently installed.) Unpacking pbuilder-satisfydepends-dummy (from .../pbuilder-satisfydepends-dummy.deb) ... dpkg: pbuilder-satisfydepends-dummy: dependency problems, but configuring anyway as you requested: pbuilder-satisfydepends-dummy depends on check; however: Package check is not installed. pbuilder-satisfydepends-dummy depends on libboost-dev (>= 1.40); however: Package libboost-dev is not installed. pbuilder-satisfydepends-dummy depends on libboost-filesystem-dev (>= 1.40); however: Package libboost-filesystem-dev is not installed. pbuilder-satisfydepends-dummy depends on libboost-regex-dev (>= 1.40); however: Package libboost-regex-dev is not installed. pbuilder-satisfydepends-dummy depends on libboost-thread-dev (>= 1.40); however: Package libboost-thread-dev is not installed. pbuilder-satisfydepends-dummy depends on libboost-wave-dev (>= 1.40); however: Package libboost-wave-dev is not installed. pbuilder-satisfydepends-dummy depends on libpstreams-dev; however: Package libpstreams-dev is not installed. pbuilder-satisfydepends-dummy depends on libpuma-dev (>= 1:1.1+svn20120529-2~); however Setting up pbuilder-satisfydepends-dummy (0.invalid.0) ... Reading package lists... Building dependency tree... Reading state information... Initializing package states... Writing extended state information... The following NEW packages will be installed: check{a} libboost-date-time1.49-dev{a} libboost-date-time1.49.0{a} libboost-dev{a} libboost-filesystem-dev{a} libboost-filesystem1.49-dev{a} libboost-filesystem1.49.0{a} libboost-regex-dev{a} libboost-regex1.49-dev{a} libboost-regex1.49.0{a} libboost-serialization1.49-dev{a} libboost-serialization1.49.0{a} libboost-system1.49-dev{a} libboost-system1.49.0{a} libboost-thread-dev{a} libboost-thread1.49-dev{a} libboost-thread1.49.0{a} libboost-wave-dev{a} libboost-wave1.49-dev{a} libboost-wave1.49.0{a} libboost1.49-dev{a} libexpat1{a} libicu-dev{a} libicu48{a} libpstreams-dev{a} libpuma-dev{a} libssl1.0.0{a} mime-support{a} picosat{a} python{a} python-all{a} python-minimal{a} python2.6{a} python2.6-minimal{a} python2.7{a} python2.7-minimal{a} 0 packages upgraded, 36 newly installed, 0 to remove and 0 not upgraded. Need to get 4121 kB/34.5 MB of archives. After unpacking 214 MB will be used. Writing extended state information... Get: 1 http://ftp.de.debian.org/debian-ports/ unstable/main libboost-wave1.49.0 m68k 1.49.0-3.1 [263 kB] Get: 2 http://ftp.de.debian.org/debian-ports/ unstable/main libboost-wave1.49-dev m68k 1.49.0-3.1 [471 kB] Get: 3 http://ftp.de.debian.org/debian-ports/ unstable/main libboost-wave-dev m68k 1.49.0.1 [2754 B] Get: 4 http://ftp.de.debian.org/debian-ports/ unstable/main libpstreams-dev all 0.7.0-2 [151 kB] Get: 5 http://ftp.de.debian.org/debian-ports/ unstable/main libpuma-dev m68k 1:1.1+svn20120529-2 [2954 kB] Get: 6 http://ftp.de.debian.org/debian-ports/ unstable/main picosat m68k 954-1 [280 kB] Fetched 4121 kB in 1min 23s (49.2 kB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libssl1.0.0:m68k. (Reading database ... 12264 files and directories currently installed.) Unpacking libssl1.0.0:m68k (from .../libssl1.0.0_1.0.1c-4_m68k.deb) ... Selecting previously unselected package libexpat1:m68k. Unpacking libexpat1:m68k (from .../libexpat1_2.1.0-1_m68k.deb) ... Selecting previously unselected package libicu48:m68k. Unpacking libicu48:m68k (from .../libicu48_4.8.1.1-10_m68k.deb) ... Selecting previously unselected package mime-support. Unpacking mime-support (from .../mime-support_3.52-2_all.deb) ... Selecting previously unselected package python2.7-minimal. Unpacking python2.7-minimal (from .../python2.7-minimal_2.7.3-6_m68k.deb) ... Selecting previously unselected package python2.7. Unpacking python2.7 (from .../python2.7_2.7.3-6_m68k.deb) ... Selecting previously unselected package python-minimal. Unpacking python-minimal (from .../python-minimal_2.7.3-3_all.deb) ... Selecting previously unselected package python. Unpacking python (from .../python_2.7.3-3_all.deb) ... Selecting previously unselected package python2.6-minimal. Unpacking python2.6-minimal (from .../python2.6-minimal_2.6.8-1.1_m68k.deb) ... Selecting previously unselected package check. Unpacking check (from .../check_0.9.8-2_m68k.deb) ... Selecting previously unselected package libboost1.49-dev. Unpacking libboost1.49-dev (from .../libboost1.49-dev_1.49.0-3.1_m68k.deb) ... Selecting previously unselected package libboost-date-time1.49.0. Unpacking libboost-date-time1.49.0 (from .../libboost-date-time1.49.0_1.49.0-3.1_m68k.deb) ... Selecting previously unselected package libboost-serialization1.49.0. Unpacking libboost-serialization1.49.0 (from .../libboost-serialization1.49.0_1.49.0-3.1_m68k.deb) ... Selecting previously unselected package libboost-serialization1.49-dev. Unpacking libboost-serialization1.49-dev (from .../libboost-serialization1.49-dev_1.49.0-3.1_m68k.deb) ... Selecting previously unselected package libboost-date-time1.49-dev. Unpacking libboost-date-time1.49-dev (from .../libboost-date-time1.49-dev_1.49.0-3.1_m68k.deb) ... Selecting previously unselected package libboost-dev. Unpacking libboost-dev (from .../libboost-dev_1.49.0.1_m68k.deb) ... Selecting previously unselected package libboost-system1.49.0. Unpacking libboost-system1.49.0 (from .../libboost-system1.49.0_1.49.0-3.1_m68k.deb) ... Selecting previously unselected package libboost-filesystem1.49.0. Unpacking libboost-filesystem1.49.0 (from .../libboost-filesystem1.49.0_1.49.0-3.1_m68k.deb) ... Selecting previously unselected package libboost-system1.49-dev. Unpacking libboost-system1.49-dev (from .../libboost-system1.49-dev_1.49.0-3.1_m68k.deb) ... Selecting previously unselected package libboost-filesystem1.49-dev. Unpacking libboost-filesystem1.49-dev (from .../libboost-filesystem1.49-dev_1.49.0-3.1_m68k.deb) ... Selecting previously unselected package libboost-filesystem-dev. Unpacking libboost-filesystem-dev (from .../libboost-filesystem-dev_1.49.0.1_m68k.deb) ... Selecting previously unselected package libboost-regex1.49.0. Unpacking libboost-regex1.49.0 (from .../libboost-regex1.49.0_1.49.0-3.1_m68k.deb) ... Selecting previously unselected package libicu-dev. Unpacking libicu-dev (from .../libicu-dev_4.8.1.1-10_m68k.deb) ... Selecting previously unselected package libboost-regex1.49-dev. Unpacking libboost-regex1.49-dev (from .../libboost-regex1.49-dev_1.49.0-3.1_m68k.deb) ... Selecting previously unselected package libboost-regex-dev. Unpacking libboost-regex-dev (from .../libboost-regex-dev_1.49.0.1_m68k.deb) ... Selecting previously unselected package libboost-thread1.49.0. Unpacking libboost-thread1.49.0 (from .../libboost-thread1.49.0_1.49.0-3.1_m68k.deb) ... Selecting previously unselected package libboost-thread1.49-dev. Unpacking libboost-thread1.49-dev (from .../libboost-thread1.49-dev_1.49.0-3.1_m68k.deb) ... Selecting previously unselected package libboost-thread-dev. Unpacking libboost-thread-dev (from .../libboost-thread-dev_1.49.0.1_m68k.deb) ... Selecting previously unselected package libboost-wave1.49.0. Unpacking libboost-wave1.49.0 (from .../libboost-wave1.49.0_1.49.0-3.1_m68k.deb) ... Selecting previously unselected package libboost-wave1.49-dev. Unpacking libboost-wave1.49-dev (from .../libboost-wave1.49-dev_1.49.0-3.1_m68k.deb) ... Selecting previously unselected package libboost-wave-dev. Unpacking libboost-wave-dev (from .../libboost-wave-dev_1.49.0.1_m68k.deb) ... Selecting previously unselected package libpstreams-dev. Unpacking libpstreams-dev (from .../libpstreams-dev_0.7.0-2_all.deb) ... Selecting previously unselected package libpuma-dev. Unpacking libpuma-dev (from .../libpuma-dev_1%3a1.1+svn20120529-2_m68k.deb) ... Selecting previously unselected package python2.6. Unpacking python2.6 (from .../python2.6_2.6.8-1.1_m68k.deb) ... Selecting previously unselected package python-all. Unpacking python-all (from .../python-all_2.7.3-3_all.deb) ... Selecting previously unselected package picosat. Unpacking picosat (from .../picosat_954-1_m68k.deb) ... Processing triggers for man-db ... Setting up libssl1.0.0:m68k (1.0.1c-4) ... Setting up libexpat1:m68k (2.1.0-1) ... Setting up libicu48:m68k (4.8.1.1-10) ... Setting up mime-support (3.52-2) ... update-alternatives: using /usr/bin/see to provide /usr/bin/view (view) in auto mode Setting up python2.7-minimal (2.7.3-6) ... Setting up python2.7 (2.7.3-6) ... Setting up python-minimal (2.7.3-3) ... Setting up python (2.7.3-3) ... Setting up python2.6-minimal (2.6.8-1.1) ... Setting up check (0.9.8-2) ... Setting up libboost1.49-dev (1.49.0-3.1) ... Setting up libboost-date-time1.49.0 (1.49.0-3.1) ... Setting up libboost-serialization1.49.0 (1.49.0-3.1) ... Setting up libboost-serialization1.49-dev (1.49.0-3.1) ... Setting up libboost-date-time1.49-dev (1.49.0-3.1) ... Setting up libboost-dev (1.49.0.1) ... Setting up libboost-system1.49.0 (1.49.0-3.1) ... Setting up libboost-filesystem1.49.0 (1.49.0-3.1) ... Setting up libboost-system1.49-dev (1.49.0-3.1) ... Setting up libboost-filesystem1.49-dev (1.49.0-3.1) ... Setting up libboost-filesystem-dev (1.49.0.1) ... Setting up libboost-regex1.49.0 (1.49.0-3.1) ... Setting up libicu-dev (4.8.1.1-10) ... Setting up libboost-regex1.49-dev (1.49.0-3.1) ... Setting up libboost-regex-dev (1.49.0.1) ... Setting up libboost-thread1.49.0 (1.49.0-3.1) ... Setting up libboost-thread1.49-dev (1.49.0-3.1) ... Setting up libboost-thread-dev (1.49.0.1) ... Setting up libboost-wave1.49.0 (1.49.0-3.1) ... Setting up libboost-wave1.49-dev (1.49.0-3.1) ... Setting up libboost-wave-dev (1.49.0.1) ... Setting up libpstreams-dev (0.7.0-2) ... Setting up libpuma-dev (1:1.1+svn20120529-2) ... Setting up python2.6 (2.6.8-1.1) ... Setting up python-all (2.7.3-3) ... Setting up picosat (954-1) ... Reading package lists... Building dependency tree... Reading state information... Reading extended state information... Initializing package states... Writing extended state information... -> Finished parsing the build-deps Reading package lists... Building dependency tree... Reading state information... Starting Starting 2 Done debhelper is already the newest version. eatmydata is already the newest version. fakeroot is already the newest version. 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. I: Copying back the cached apt archive contents I: new cache content libboost-wave1.49-dev_1.49.0-3.1_m68k.deb added I: new cache content libpuma-dev_1%3a1.1+svn20120529-2_m68k.deb added I: new cache content libpstreams-dev_0.7.0-2_all.deb added I: new cache content libboost-wave1.49.0_1.49.0-3.1_m68k.deb added I: new cache content picosat_954-1_m68k.deb added I: new cache content libboost-wave-dev_1.49.0.1_m68k.deb added I: Copying source file I: copying [/root/undertaker_1.3b-1.dsc] I: copying [/root/undertaker_1.3b.orig.tar.xz] I: copying [/root/undertaker_1.3b-1.debian.tar.gz] I: Extracting source gpgv: keyblock resource `/tmp/buildd/.gnupg/trustedkeys.gpg': file open error gpgv: Signature made Sat Jun 30 16:55:06 2012 UTC using RSA key ID 4008C6F9 gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./undertaker_1.3b-1.dsc dpkg-source: info: extracting undertaker in undertaker-1.3b dpkg-source: info: unpacking undertaker_1.3b.orig.tar.xz dpkg-source: info: unpacking undertaker_1.3b-1.debian.tar.gz I: Building the package W: no hooks of type A found -- ignoring I: Running cd tmp/buildd/*/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin" dpkg-buildpackage -us -uc -B -m'Thorsten Glaser <[email protected]>' -B -m'Thorsten Glaser <[email protected]>' -B -rfakeroot dpkg-buildpackage: source package undertaker dpkg-buildpackage: source version 1.3b-1 dpkg-source --before-build undertaker-1.3b dpkg-buildpackage: host architecture m68k fakeroot debian/rules clean dh --with python2 clean --parallel dh_testdir -O--parallel dh_auto_clean -O--parallel make[1]: Entering directory `/tmp/buildd/undertaker-1.3b' make -f Makefile.kbuild clean make[2]: Entering directory `/tmp/buildd/undertaker-1.3b' make[2]: Leaving directory `/tmp/buildd/undertaker-1.3b' make -C undertaker clean make[2]: Entering directory `/tmp/buildd/undertaker-1.3b/undertaker' find coverage-tests validation/ \ \( -name "*.c.output.expected" \ -o -name "*.c.output.got" \ -o -name "*.c.output.diff" \ -o -name "*.c.error.expected" \ -o -name "*.c.error.got" \ -o -name "*.c.error.diff" \ -o -name "*.c.config*" \ -o -name "*.c:[0-9].config" \ -o -name "*.c:[0-9][0-9].config" \ -o -name "*.dead" \ -o -name "_block.config" \ -o -name "*.undead" \ \) -exec rm {} \; rm -vf coverage-tests/coverage-cat.c.got rm -rf *.o *.a *.gcda *.gcno *.d make[2]: Leaving directory `/tmp/buildd/undertaker-1.3b/undertaker' make -C ziz clean make[2]: Entering directory `/tmp/buildd/undertaker-1.3b/ziz' rm -rf test/out rm -rf *.o *.a zizzler make[2]: Leaving directory `/tmp/buildd/undertaker-1.3b/ziz' make -C python clean make[2]: Entering directory `/tmp/buildd/undertaker-1.3b/python' find validation/ \( -name "*.output.expected" \ -o -name "*.output.got" \ -o -name "*.output.diff" \ -o -name "*.error.expected" \ -o -name "*.error.diff" \ -o -name "*.error.got" \ -o -name "*.dead" \ -o -name "*.undead" \ -o -name "*.plist" \ -o -name "*config*.report.*" \ \) -delete make[2]: Leaving directory `/tmp/buildd/undertaker-1.3b/python' running clean make[1]: Leaving directory `/tmp/buildd/undertaker-1.3b' dh_clean -O--parallel debian/rules build-arch dh --with python2 build-arch --parallel dh_testdir -a -O--parallel dh_auto_configure -a -O--parallel debian/rules override_dh_auto_build make[1]: Entering directory `/tmp/buildd/undertaker-1.3b' echo 'const char * version = "1.3";' > version.h dh_auto_build make[2]: Entering directory `/tmp/buildd/undertaker-1.3b' make -f Makefile.kbuild dumpconf make[3]: Entering directory `/tmp/buildd/undertaker-1.3b' make -f scripts/Makefile.build obj=scripts/basic gcc -Wp,-MD,scripts/basic/.fixdep.d -Wall -Wstrict-prototypes -O2 -fomit-frame-pointer -o scripts/basic/fixdep scripts/basic/fixdep.c make -f scripts/Makefile.build obj=scripts/kconfig dumpconf gcc -Wp,-MD,scripts/kconfig/.conf.o.d -Wall -Wstrict-prototypes -O2 -fomit-frame-pointer -DCURSES_LOC="<curses.h>" -DLOCALE -c -o scripts/kconfig/conf.o scripts/kconfig/conf.c gcc -Wp,-MD,scripts/kconfig/.dumpconf.o.d -Wall -Wstrict-prototypes -O2 -fomit-frame-pointer -DCURSES_LOC="<curses.h>" -DLOCALE -c -o scripts/kconfig/dumpconf.o scripts/kconfig/dumpconf.c scripts/kconfig/dumpconf.c: In function 'main': scripts/kconfig/dumpconf.c:274:6: warning: unused variable 'opt' [-Wunused-variable] cat scripts/kconfig/zconf.tab.c_shipped > scripts/kconfig/zconf.tab.c cat scripts/kconfig/lex.zconf.c_shipped > scripts/kconfig/lex.zconf.c cat scripts/kconfig/zconf.hash.c_shipped > scripts/kconfig/zconf.hash.c gcc -Wp,-MD,scripts/kconfig/.zconf.tab.o.d -Wall -Wstrict-prototypes -O2 -fomit-frame-pointer -DCURSES_LOC="<curses.h>" -DLOCALE -Iscripts/kconfig -c -o scripts/kconfig/zconf.tab.o scripts/kconfig/zconf.tab.c gcc -o scripts/kconfig/dumpconf scripts/kconfig/dumpconf.o scripts/kconfig/zconf.tab.o scripts/kconfig/dumpconf /tmp/buildd/undertaker-1.3b/fm/main.fm setting archusing arch x86 Item Synchronization boolean HasPrompts Synchronization 0 Item einseitig boolean HasPrompts einseitig 1 ItemSelects einseitig "Synchronization" "y" ItemSelects einseitig "unterdrueckend" "y" Item unterdrueckend boolean Depends unterdrueckend "einseitig" HasPrompts unterdrueckend 1 Item mehrseitig boolean HasPrompts mehrseitig 0 ItemSelects mehrseitig "Synchronization" "y" Item blockierend boolean HasPrompts blockierend 1 ItemSelects blockierend "mehrseitig" "y" Item nichtblockierend boolean HasPrompts nichtblockierend 1 ItemSelects nichtblockierend "mehrseitig" "y" make[3]: Leaving directory `/tmp/buildd/undertaker-1.3b' make -C undertaker undertaker make[3]: Entering directory `/tmp/buildd/undertaker-1.3b/undertaker' make[3]: Leaving directory `/tmp/buildd/undertaker-1.3b/undertaker' make[3]: Entering directory `/tmp/buildd/undertaker-1.3b/undertaker' g++ -Wall -Wextra -O2 -c -o undertaker.o undertaker.cpp g++ -Wall -Wextra -O2 -c -o RsfReader.o RsfReader.cpp g++ -Wall -Wextra -O2 -c -o KconfigWhitelist.o KconfigWhitelist.cpp g++ -Wall -Wextra -O2 -c -o PresetList.o PresetList.cpp g++ -Wall -Wextra -O2 -c -o ConfigurationModel.o ConfigurationModel.cpp g++ -Wall -Wextra -O2 -c -o ModelContainer.o ModelContainer.cpp g++ -Wall -Wextra -O2 -c -o SatChecker.o SatChecker.cpp SatChecker.cpp: In member function 'int SatChecker::newSymbol()': SatChecker.cpp:80:41: error: too few arguments to function 'int Picosat::picosat_inc_max_var(Picosat::PicoSAT*)' /usr/include/picosat/picosat.h:215:5: note: declared here SatChecker.cpp: In member function 'void SatChecker::addClause(int*)': SatChecker.cpp:85:32: error: invalid conversion from 'int' to 'Picosat::PicoSAT*' [-fpermissive] SatChecker.cpp:85:32: error: too few arguments to function 'int Picosat::picosat_add(Picosat::PicoSAT*, int)' /usr/include/picosat/picosat.h:295:5: note: declared here SatChecker.cpp:86:27: error: too few arguments to function 'int Picosat::picosat_add(Picosat::PicoSAT*, int)' /usr/include/picosat/picosat.h:295:5: note: declared here SatChecker.cpp: In member function 'int SatChecker::fillSatChecker(std::string)': SatChecker.cpp:311:32: error: too few arguments to function 'void Picosat::picosat_reset(Picosat::PicoSAT*)' /usr/include/picosat/picosat.h:82:6: note: declared here SatChecker.cpp: In member function 'int SatChecker::fillSatChecker(boost::spirit::classic::tree_parse_info<>&)': SatChecker.cpp:321:39: error: invalid conversion from 'int' to 'Picosat::PicoSAT*' [-fpermissive] SatChecker.cpp:321:39: error: too few arguments to function 'void Picosat::picosat_assume(Picosat::PicoSAT*, int)' /usr/include/picosat/picosat.h:392:6: note: declared here SatChecker.cpp: In member function 'virtual bool SatChecker::operator()(SatChecker::SATMode)': SatChecker.cpp:340:55: error: cannot convert 'SatChecker::SATMode' to 'Picosat::PicoSAT*' for argument '1' to 'void Picosat::picosat_set_global_default_phase(Picosat::PicoSAT*, int)' SatChecker.cpp:344:42: error: invalid conversion from 'int' to 'Picosat::PicoSAT*' [-fpermissive] SatChecker.cpp:344:42: error: too few arguments to function 'int Picosat::picosat_sat(Picosat::PicoSAT*, int)' /usr/include/picosat/picosat.h:409:5: note: declared here SatChecker.cpp:351:66: error: invalid conversion from 'int' to 'Picosat::PicoSAT*' [-fpermissive] SatChecker.cpp:351:66: error: too few arguments to function 'int Picosat::picosat_deref(Picosat::PicoSAT*, int)' /usr/include/picosat/picosat.h:426:5: note: declared here SatChecker.cpp:356:32: error: too few arguments to function 'void Picosat::picosat_reset(Picosat::PicoSAT*)' /usr/include/picosat/picosat.h:82:6: note: declared here SatChecker.cpp: At global scope: SatChecker.cpp:664:6: warning: unused parameter 'missingSet' [-Wunused-parameter] SatChecker.cpp: In member function 'virtual bool BaseExpressionSatChecker::operator()(const std::set<std::basic_string<char>, std::less<std::basic_string<char> >, std::allocator<std::basic_string<char> > >&)': SatChecker.cpp:744:44: error: invalid conversion from 'int' to 'Picosat::PicoSAT*' [-fpermissive] SatChecker.cpp:744:44: error: too few arguments to function 'void Picosat::picosat_assume(Picosat::PicoSAT*, int)' /usr/include/picosat/picosat.h:392:6: note: declared here SatChecker.cpp:749:66: error: invalid conversion from 'int' to 'Picosat::PicoSAT*' [-fpermissive] SatChecker.cpp:749:66: error: too few arguments to function 'void Picosat::picosat_assume(Picosat::PicoSAT*, int)' /usr/include/picosat/picosat.h:392:6: note: declared here SatChecker.cpp:753:52: error: invalid conversion from 'int' to 'Picosat::PicoSAT*' [-fpermissive] SatChecker.cpp:753:52: error: too few arguments to function 'void Picosat::picosat_set_global_default_phase(Picosat::PicoSAT*, int)' /usr/include/picosat/picosat.h:124:6: note: declared here SatChecker.cpp:755:42: error: invalid conversion from 'int' to 'Picosat::PicoSAT*' [-fpermissive] SatChecker.cpp:755:42: error: too few arguments to function 'int Picosat::picosat_sat(Picosat::PicoSAT*, int)' /usr/include/picosat/picosat.h:409:5: note: declared here SatChecker.cpp:763:66: error: invalid conversion from 'int' to 'Picosat::PicoSAT*' [-fpermissive] SatChecker.cpp:763:66: error: too few arguments to function 'int Picosat::picosat_deref(Picosat::PicoSAT*, int)' /usr/include/picosat/picosat.h:426:5: note: declared here SatChecker.cpp: In member function 'int SatChecker::newSymbol()': SatChecker.cpp:81:1: warning: control reaches end of non-void function [-Wreturn-type] make[3]: *** [SatChecker.o] Error 1 make[3]: Leaving directory `/tmp/buildd/undertaker-1.3b/undertaker' make[2]: *** [undertaker/undertaker] Error 2 make[2]: Leaving directory `/tmp/buildd/undertaker-1.3b' dh_auto_build: make -j1 returned exit code 2 make[1]: *** [override_dh_auto_build] Error 2 make[1]: Leaving directory `/tmp/buildd/undertaker-1.3b' make: *** [build-arch] Error 2 dpkg-buildpackage: error: debian/rules build-arch gave error exit status 2 E: Failed autobuilding of package I: user script /var/cache/pbuilder/build/cow.10328/tmp/hooks/C80shell-jupp starting Build failed. Trying to invoke a shell. Reading package lists... Building dependency tree... Reading state information... Starting Starting 2 Done The following NEW packages will be installed: ed jupp less mksh 0 upgraded, 4 newly installed, 0 to remove and 0 not upgraded. Need to get 826 kB/877 kB of archives. After this operation, 1780 kB of additional disk space will be used. Get:1 http://ftp.de.debian.org/debian-ports/ unstable/main less m68k 456-1 [117 kB] Get:2 http://ftp.de.debian.org/debian-ports/ unstable/main jupp m68k 3.1.24-1 [228 kB] Get:3 http://ftp.de.debian.org/debian-ports/ unstable/main mksh m68k 40.9.20120630-4 [481 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 826 kB in 16s (49.0 kB/s) Selecting previously unselected package less. (Reading database ... 24939 files and directories currently installed.) Unpacking less (from .../archives/less_456-1_m68k.deb) ... Selecting previously unselected package ed. Unpacking ed (from .../apt/archives/ed_1.6-2_m68k.deb) ... Selecting previously unselected package jupp. Unpacking jupp (from .../jupp_3.1.24-1_m68k.deb) ... Selecting previously unselected package mksh. Unpacking mksh (from .../mksh_40.9.20120630-4_m68k.deb) ... Processing triggers for man-db ... Processing triggers for mime-support ... Setting up less (456-1) ... Setting up ed (1.6-2) ... Setting up jupp (3.1.24-1) ... update-alternatives: using /usr/bin/jupp to provide /usr/bin/editor (editor) in auto mode Setting up mksh (40.9.20120630-4) ... update-alternatives: using /bin/mksh to provide /bin/ksh (ksh) in auto mode I: user script /var/cache/pbuilder/build/cow.10328/tmp/hooks/C80shell-jupp finished I: unmounting dev/pts filesystem I: unmounting proc filesystem
