sbuild (Debian sbuild) 0.63.1 (31 May 2012) on build02.raspbian.lan ╔══════════════════════════════════════════════════════════════════════════════╗ ║ fact++ 1.5.3~dfsg-1 (armhf) 10 Jul 2012 04:28 ║ ╚══════════════════════════════════════════════════════════════════════════════╝ Package: fact++ Version: 1.5.3~dfsg-1 Source Version: 1.5.3~dfsg-1 Distribution: testing Machine Architecture: armhf Host Architecture: armhf Build Architecture: armhf W: line 7 [testing-armhf-sbuild]: Deprecated key ‘script-config’ used I: This option will be removed in the future; please update your configuration I: NOTICE: Log filtering will replace 'build/fact++-FWKEto/fact++-1.5.3~dfsg' with '«PKGBUILDDIR»' I: NOTICE: Log filtering will replace 'build/fact++-FWKEto' with '«BUILDDIR»' I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/testing-armhf-sbuild-557c57aa-61cb-45f9-91e6-71741f25d65d' with '«CHROOT»' ┌──────────────────────────────────────────────────────────────────────────────┐ │ Update chroot │ └──────────────────────────────────────────────────────────────────────────────┘ Hit http://repo.raspbian.lan testing InRelease Hit http://repo.raspbian.lan testing/main Sources Hit http://repo.raspbian.lan testing/main armhf Packages Ign http://repo.raspbian.lan testing/main Translation-en Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Fetch source files │ └──────────────────────────────────────────────────────────────────────────────┘ Check APT ───────── Checking available source versions... Download source files with APT ────────────────────────────── Reading package lists... Building dependency tree... Reading state information... NOTICE: 'fact++' packaging is maintained in the 'Git' version control system at: git://git.debian.org/git/collab-maint/fact++.git Need to get 386 kB of source archives. Get:1 http://repo.raspbian.lan/raspbian/ testing/main fact++ 1.5.3~dfsg-1 (dsc) [1934 B] Get:2 http://repo.raspbian.lan/raspbian/ testing/main fact++ 1.5.3~dfsg-1 (tar) [377 kB] Get:3 http://repo.raspbian.lan/raspbian/ testing/main fact++ 1.5.3~dfsg-1 (diff) [7121 B] Fetched 386 kB in 0s (2688 kB/s) Download complete and in download only mode Check arch ────────── Merged Build-Depends: build-essential, fakeroot Filtered Build-Depends: build-essential, fakeroot dpkg-deb: building package `sbuild-build-depends-core-dummy' in `/build/fact++-FWKEto/resolver-ZzAvg8/apt_archive/sbuild-build-depends-core-dummy.deb'. OK Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Install core build dependencies (apt-based resolver) │ └──────────────────────────────────────────────────────────────────────────────┘ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: sbuild-build-depends-core-dummy debconf: delaying package configuration, since apt-utils is not installed 0 upgraded, 1 newly installed, 0 to remove and 4 not upgraded. Need to get 0 B/706 B of archives. After this operation, 0 B of additional disk space will be used. Selecting previously unselected package sbuild-build-depends-core-dummy. (Reading database ... 10635 files and directories currently installed.) Unpacking sbuild-build-depends-core-dummy (from .../sbuild-build-depends-core-dummy.deb) ... Setting up sbuild-build-depends-core-dummy (0.invalid.0) ... Merged Build-Depends: libc6-dev | libc-dev, gcc (>= 4:4.4.3), g++ (>= 4:4.4.3), make, dpkg-dev (>= 1.13.5), devscripts, cdbs (>= 0.4.72~), debhelper, dh-buildinfo, cloog-ppl Merged Build-Conflicts: libtextcat-dev Filtered Build-Depends: libc6-dev, gcc (>= 4:4.4.3), g++ (>= 4:4.4.3), make, dpkg-dev (>= 1.13.5), devscripts, cdbs (>= 0.4.72~), debhelper, dh-buildinfo, cloog-ppl Filtered Build-Conflicts: libtextcat-dev dpkg-deb: building package `sbuild-build-depends-fact++-dummy' in `/build/fact++-FWKEto/resolver-ky6Gvk/apt_archive/sbuild-build-depends-fact++-dummy.deb'. OK Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Install fact++ build dependencies (apt-based resolver) │ └──────────────────────────────────────────────────────────────────────────────┘ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: bsdmainutils cdbs cloog-ppl debhelper devscripts dh-buildinfo file gettext gettext-base groff-base html2text intltool-debian libasprintf0c2 libcloog-ppl0 libcroco3 libexpat1 libffi5 libgettextpo0 libglib2.0-0 libgmpxx4ldbl libmagic1 libpcre3 libpipeline1 libppl-c4 libppl9 libpwl5 libsqlite3-0 libssl1.0.0 libunistring0 libxml2 man-db mime-support po-debconf python python-minimal python2.7 python2.7-minimal Suggested packages: wamerican wordlist whois vacation dh-make bsd-mailx mailx cvs-buildpackage devscripts-el gnuplot libauthen-sasl-perl libfile-desktopentry-perl libnet-smtp-ssl-perl libterm-size-perl libyaml-syck-perl mutt ssh-client svn-buildpackage w3m gettext-doc groff less www-browser libmail-box-perl python-doc python-tk python2.7-doc binfmt-support Recommended packages: autotools-dev at curl wget dctrl-tools dput dupload libdistro-info-perl libjson-perl libparse-debcontrol-perl liburi-perl libwww-perl lintian patchutils python-debian python-magic strace unzip wdiff debian-keyring equivs libcrypt-ssleay-perl libsoap-lite-perl autopoint libglib2.0-data shared-mime-info xml-core libmail-sendmail-perl The following NEW packages will be installed: bsdmainutils cdbs cloog-ppl debhelper devscripts dh-buildinfo file gettext gettext-base groff-base html2text intltool-debian libasprintf0c2 libcloog-ppl0 libcroco3 libexpat1 libffi5 libgettextpo0 libglib2.0-0 libgmpxx4ldbl libmagic1 libpcre3 libpipeline1 libppl-c4 libppl9 libpwl5 libsqlite3-0 libssl1.0.0 libunistring0 libxml2 man-db mime-support po-debconf python python-minimal python2.7 python2.7-minimal sbuild-build-depends-fact++-dummy 0 upgraded, 38 newly installed, 0 to remove and 4 not upgraded. Need to get 1476 kB/17.9 MB of archives. After this operation, 48.6 MB of additional disk space will be used. Get:1 http://repo.raspbian.lan/raspbian/ testing/main libppl9 armhf 0.11.2-6 [477 kB] Get:2 http://repo.raspbian.lan/raspbian/ testing/main libpwl5 armhf 0.11.2-6 [28.9 kB] Get:3 http://repo.raspbian.lan/raspbian/ testing/main libppl-c4 armhf 0.11.2-6 [907 kB] Get:4 http://repo.raspbian.lan/raspbian/ testing/main libcloog-ppl0 armhf 0.15.11-4 [54.7 kB] Get:5 http://repo.raspbian.lan/raspbian/ testing/main cloog-ppl armhf 0.15.11-4 [8084 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 1476 kB in 0s (3333 kB/s) Selecting previously unselected package libpcre3:armhf. (Reading database ... 10635 files and directories currently installed.) Unpacking libpcre3:armhf (from .../libpcre3_1%3a8.30-5_armhf.deb) ... Selecting previously unselected package libpipeline1:armhf. Unpacking libpipeline1:armhf (from .../libpipeline1_1.2.1-1_armhf.deb) ... Selecting previously unselected package libssl1.0.0:armhf. Unpacking libssl1.0.0:armhf (from .../libssl1.0.0_1.0.1c-3+rpi1_armhf.deb) ... Selecting previously unselected package libasprintf0c2:armhf. Unpacking libasprintf0c2:armhf (from .../libasprintf0c2_0.18.1.1-9_armhf.deb) ... Selecting previously unselected package libmagic1:armhf. Unpacking libmagic1:armhf (from .../libmagic1_5.11-1_armhf.deb) ... Selecting previously unselected package libsqlite3-0:armhf. Unpacking libsqlite3-0:armhf (from .../libsqlite3-0_3.7.13-1_armhf.deb) ... Selecting previously unselected package libxml2:armhf. Unpacking libxml2:armhf (from .../libxml2_2.8.0+dfsg1-4_armhf.deb) ... Selecting previously unselected package libgmpxx4ldbl:armhf. Unpacking libgmpxx4ldbl:armhf (from .../libgmpxx4ldbl_2%3a5.0.5+dfsg-2_armhf.deb) ... Selecting previously unselected package libppl9:armhf. Unpacking libppl9:armhf (from .../libppl9_0.11.2-6_armhf.deb) ... Selecting previously unselected package libpwl5:armhf. Unpacking libpwl5:armhf (from .../libpwl5_0.11.2-6_armhf.deb) ... Selecting previously unselected package libppl-c4:armhf. Unpacking libppl-c4:armhf (from .../libppl-c4_0.11.2-6_armhf.deb) ... Selecting previously unselected package libcloog-ppl0:armhf. Unpacking libcloog-ppl0:armhf (from .../libcloog-ppl0_0.15.11-4_armhf.deb) ... Selecting previously unselected package libffi5:armhf. Unpacking libffi5:armhf (from .../libffi5_3.0.10-3+b3_armhf.deb) ... Selecting previously unselected package libglib2.0-0:armhf. Unpacking libglib2.0-0:armhf (from .../libglib2.0-0_2.32.3-1_armhf.deb) ... Selecting previously unselected package libcroco3:armhf. Unpacking libcroco3:armhf (from .../libcroco3_0.6.5-1_armhf.deb) ... Selecting previously unselected package libexpat1:armhf. Unpacking libexpat1:armhf (from .../libexpat1_2.1.0-1_armhf.deb) ... Selecting previously unselected package libunistring0:armhf. Unpacking libunistring0:armhf (from .../libunistring0_0.9.3-5_armhf.deb) ... Selecting previously unselected package libgettextpo0:armhf. Unpacking libgettextpo0:armhf (from .../libgettextpo0_0.18.1.1-9_armhf.deb) ... Selecting previously unselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_9.0.3_armhf.deb) ... Selecting previously unselected package groff-base. Unpacking groff-base (from .../groff-base_1.21-9_armhf.deb) ... Selecting previously unselected package man-db. Unpacking man-db (from .../man-db_2.6.2-1_armhf.deb) ... Selecting previously unselected package file. Unpacking file (from .../archives/file_5.11-1_armhf.deb) ... Selecting previously unselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.18.1.1-9_armhf.deb) ... Selecting previously unselected package mime-support. Unpacking mime-support (from .../mime-support_3.52-1_all.deb) ... Selecting previously unselected package python2.7-minimal. Unpacking python2.7-minimal (from .../python2.7-minimal_2.7.3~rc2-2.1_armhf.deb) ... Selecting previously unselected package python2.7. Unpacking python2.7 (from .../python2.7_2.7.3~rc2-2.1_armhf.deb) ... Selecting previously unselected package python-minimal. Unpacking python-minimal (from .../python-minimal_2.7.3~rc2-1_all.deb) ... Selecting previously unselected package python. Unpacking python (from .../python_2.7.3~rc2-1_all.deb) ... Selecting previously unselected package cdbs. Unpacking cdbs (from .../archives/cdbs_0.4.115_all.deb) ... Selecting previously unselected package cloog-ppl. Unpacking cloog-ppl (from .../cloog-ppl_0.15.11-4_armhf.deb) ... Selecting previously unselected package html2text. Unpacking html2text (from .../html2text_1.3.2a-15_armhf.deb) ... Selecting previously unselected package gettext. Unpacking gettext (from .../gettext_0.18.1.1-9_armhf.deb) ... Selecting previously unselected package intltool-debian. Unpacking intltool-debian (from .../intltool-debian_0.35.0+20060710.1_all.deb) ... Selecting previously unselected package po-debconf. Unpacking po-debconf (from .../po-debconf_1.0.16+nmu2_all.deb) ... Selecting previously unselected package debhelper. Unpacking debhelper (from .../debhelper_9.20120608_all.deb) ... Selecting previously unselected package devscripts. Unpacking devscripts (from .../devscripts_2.11.9_armhf.deb) ... Selecting previously unselected package dh-buildinfo. Unpacking dh-buildinfo (from .../dh-buildinfo_0.9+nmu1_all.deb) ... Selecting previously unselected package sbuild-build-depends-fact++-dummy. Unpacking sbuild-build-depends-fact++-dummy (from .../sbuild-build-depends-fact++-dummy.deb) ... Setting up libpcre3:armhf (1:8.30-5) ... Setting up libpipeline1:armhf (1.2.1-1) ... Setting up libssl1.0.0:armhf (1.0.1c-3+rpi1) ... Setting up libasprintf0c2:armhf (0.18.1.1-9) ... Setting up libmagic1:armhf (5.11-1) ... Setting up libsqlite3-0:armhf (3.7.13-1) ... Setting up libxml2:armhf (2.8.0+dfsg1-4) ... Setting up libgmpxx4ldbl:armhf (2:5.0.5+dfsg-2) ... Setting up libppl9:armhf (0.11.2-6) ... Setting up libpwl5:armhf (0.11.2-6) ... Setting up libppl-c4:armhf (0.11.2-6) ... Setting up libcloog-ppl0:armhf (0.15.11-4) ... Setting up libffi5:armhf (3.0.10-3+b3) ... Setting up libglib2.0-0:armhf (2.32.3-1) ... No schema files found: doing nothing. Setting up libcroco3:armhf (0.6.5-1) ... Setting up libexpat1:armhf (2.1.0-1) ... Setting up libunistring0:armhf (0.9.3-5) ... Setting up libgettextpo0:armhf (0.18.1.1-9) ... Setting up bsdmainutils (9.0.3) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode. update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode. Setting up groff-base (1.21-9) ... Setting up man-db (2.6.2-1) ... Building database of manual pages ... Setting up file (5.11-1) ... Setting up gettext-base (0.18.1.1-9) ... Setting up mime-support (3.52-1) ... update-alternatives: using /usr/bin/see to provide /usr/bin/view (view) in auto mode. Setting up python2.7-minimal (2.7.3~rc2-2.1) ... Setting up python2.7 (2.7.3~rc2-2.1) ... Setting up python-minimal (2.7.3~rc2-1) ... Setting up python (2.7.3~rc2-1) ... Setting up cdbs (0.4.115) ... Setting up cloog-ppl (0.15.11-4) ... Setting up html2text (1.3.2a-15) ... Setting up gettext (0.18.1.1-9) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu2) ... Setting up debhelper (9.20120608) ... Setting up devscripts (2.11.9) ... Setting up dh-buildinfo (0.9+nmu1) ... Setting up sbuild-build-depends-fact++-dummy (0.invalid.0) ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build environment │ └──────────────────────────────────────────────────────────────────────────────┘ Kernel: Linux 3.2.0-2-mx5 armhf (armv7l) Toolchain package versions: binutils_2.22-6.1 dpkg-dev_1.16.4.3 g++-4.6_4.6.3-8+rpi1 gcc-4.6_4.6.3-8+rpi1 libc6-dev_2.13-33 libstdc++6_4.7.1-2+rpi1 libstdc++6-4.6-dev_4.6.3-8+rpi1 linux-libc-dev_3.2.21-1+rpi1 Package versions: apt_0.9.3+rpi1 base-files_6.9 base-passwd_3.5.26 bash_4.2-2 binutils_2.22-6.1 bsdmainutils_9.0.3 bsdutils_1:2.20.1-5.1 build-essential_11.5+b1 bzip2_1.0.6-3 cdbs_0.4.115 cloog-ppl_0.15.11-4 coreutils_8.13-3.2 cpp_4:4.6.3-7 cpp-4.6_4.6.3-8+rpi1 dash_0.5.7-3 debconf_1.5.44 debfoster_2.7-1.1 debhelper_9.20120608 debian-archive-keyring_2012.3 debianutils_4.3.1 devscripts_2.11.9 dh-buildinfo_0.9+nmu1 diffutils_1:3.2-6 dpkg_1.16.4.3 dpkg-dev_1.16.4.3 e2fslibs_1.42.4-3 e2fsprogs_1.42.4-3 fakeroot_1.18.4-2 file_5.11-1 findutils_4.4.2-4 g++_4:4.6.3-6 g++-4.6_4.6.3-8+rpi1 gcc_4:4.6.3-7 gcc-4.4-base_4.4.7-1.1+rpi1 gcc-4.5-base_4.5.3-12+rpi1 gcc-4.6_4.6.3-8+rpi1 gcc-4.6-base_4.6.3-8+rpi1 gcc-4.7-base_4.7.1-2+rpi1 gettext_0.18.1.1-9 gettext-base_0.18.1.1-9 gnupg_1.4.12-4 gpgv_1.4.12-4 grep_2.12-2 groff-base_1.21-9 gzip_1.5-1.1 hostname_3.11 html2text_1.3.2a-15 initscripts_2.88dsf-22.1 insserv_1.14.0-3 intltool-debian_0.35.0+20060710.1 libacl1_2.2.51-8 libapt-pkg4.12_0.9.3+rpi1 libasprintf0c2_0.18.1.1-9 libattr1_1:2.4.46-8 libblkid1_2.20.1-5.1 libbz2-1.0_1.0.6-3 libc-bin_2.13-33 libc-dev-bin_2.13-33 libc6_2.13-33 libc6-dev_2.13-33 libclass-isa-perl_0.36-3 libcloog-ppl0_0.15.11-4 libcomerr2_1.42.4-3 libcroco3_0.6.5-1 libdb5.1_5.1.29-4 libdpkg-perl_1.16.4.3 libexpat1_2.1.0-1 libffi5_3.0.10-3+b3 libfile-fcntllock-perl_0.14-2 libgc1c2_1:7.1-8 libgcc1_1:4.7.1-2+rpi1 libgdbm3_1.8.3-11 libgettextpo0_0.18.1.1-9 libglib2.0-0_2.32.3-1 libgmp10_2:5.0.5+dfsg-2 libgmpxx4ldbl_2:5.0.5+dfsg-2 libgomp1_4.7.1-2+rpi1 liblocale-gettext-perl_1.05-7 liblzma5_5.1.1alpha+20120614-1 libmagic1_5.11-1 libmount1_2.20.1-5.1 libmpc2_0.9-4 libmpfr4_3.1.0-5 libncurses5_5.9-10 libncursesw5_5.9-10 libpam-modules_1.1.3-7.1 libpam-modules-bin_1.1.3-7.1 libpam-runtime_1.1.3-7.1 libpam0g_1.1.3-7.1 libpcre3_1:8.30-5 libpipeline1_1.2.1-1 libppl-c4_0.11.2-6 libppl9_0.11.2-6 libpwl5_0.11.2-6 libreadline6_6.2-8 libselinux1_2.1.9-5 libsemanage-common_2.1.6-6 libsemanage1_2.1.6-6 libsepol1_2.1.4-3 libslang2_2.2.4-10 libsqlite3-0_3.7.13-1 libss2_1.42.4-3 libssl1.0.0_1.0.1c-3+rpi1 libstdc++6_4.7.1-2+rpi1 libstdc++6-4.6-dev_4.6.3-8+rpi1 libswitch-perl_2.16-2 libtext-charwidth-perl_0.04-7 libtext-iconv-perl_1.7-5 libtext-wrapi18n-perl_0.06-7 libtimedate-perl_1.2000-1 libtinfo5_5.9-10 libunistring0_0.9.3-5 libusb-0.1-4_2:0.1.12-20 libustr-1.0-1_1.0.4-3 libuuid1_2.20.1-5.1 libxml2_2.8.0+dfsg1-4 linux-libc-dev_3.2.21-1+rpi1 login_1:4.1.5.1-1 lsb-base_4.1+Debian7 make_3.81-8.2 man-db_2.6.2-1 mawk_1.3.3-17 mime-support_3.52-1 mount_2.20.1-5.1 multiarch-support_2.13-33 ncurses-base_5.9-9 ncurses-bin_5.9-10 passwd_1:4.1.5.1-1 patch_2.6.1-3 perl_5.14.2-12+rpi1 perl-base_5.14.2-12+rpi1 perl-modules_5.14.2-12+rpi1 po-debconf_1.0.16+nmu2 python_2.7.3~rc2-1 python-minimal_2.7.3~rc2-1 python2.7_2.7.3~rc2-2.1 python2.7-minimal_2.7.3~rc2-2.1 raspbian-archive-keyring_20120528.2 readline-common_6.2-8 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-fact++-dummy_0.invalid.0 sed_4.2.1-10 sensible-utils_0.0.7 sysv-rc_2.88dsf-22.1 sysvinit_2.88dsf-22.1 sysvinit-utils_2.88dsf-22.1 tar_1.26-4 tzdata_2012c-1 ucf_3.0025+nmu3 util-linux_2.20.1-5.1 xz-utils_5.1.1alpha+20120614-1 zlib1g_1:1.2.7.dfsg-13 ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build │ └──────────────────────────────────────────────────────────────────────────────┘ Unpack source ───────────── gpgv: keyblock resource `/sbuild-nonexistent/.gnupg/trustedkeys.gpg': file open error gpgv: Signature made Wed Jun 27 18:36:04 2012 UTC using RSA key ID C1A00121 gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./fact++_1.5.3~dfsg-1.dsc dpkg-source: info: extracting fact++ in fact++-1.5.3~dfsg dpkg-source: info: unpacking fact++_1.5.3~dfsg.orig.tar.gz dpkg-source: info: unpacking fact++_1.5.3~dfsg-1.debian.tar.gz dpkg-source: info: applying 2001_use_default-java_path.patch Check disc space ──────────────── Sufficient free space for build User Environment ──────────────── HOME=/sbuild-nonexistent LOGNAME=buildd PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/X11R6/bin:/usr/games SCHROOT_ALIAS_NAME=chroot:testing-armhf-sbuild SCHROOT_CHROOT_NAME=testing-armhf-sbuild SCHROOT_COMMAND=env SCHROOT_GID=108 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=testing-armhf-sbuild-557c57aa-61cb-45f9-91e6-71741f25d65d SCHROOT_UID=106 SCHROOT_USER=buildd SHELL=/bin/sh TERM=xterm USER=buildd dpkg-buildpackage ───────────────── dpkg-buildpackage: source package fact++ dpkg-buildpackage: source version 1.5.3~dfsg-1 dpkg-source --before-build fact++-1.5.3~dfsg dpkg-buildpackage: host architecture armhf fakeroot debian/rules clean test -x debian/rules dh_testroot rmdir build rmdir: failed to remove `build': No such file or directory make: [cleanbuilddir] Error 1 (ignored) /usr/bin/make -C src/Kernel CFLAGS="-g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall" CXXFLAGS="-g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall" CPPFLAGS="-D_FORTIFY_SOURCE=2" LDFLAGS="-Wl,-z,relro" DEFINES="-D_FORTIFY_SOURCE=2" -k clean make[1]: Entering directory `/build/fact++-FWKEto/fact++-1.5.3~dfsg/src/Kernel' ../Makefile.include:204: .deps: No such file or directory rm -f .deps touch .deps for file in dltree.cpp configure.cpp LeveLogger.cpp dlTBox.cpp dlCompletionTree.cpp Reasoner.cpp dlVertex.cpp dlDag.cpp RoleMaster.cpp LogicFeature.cpp ifOptions.cpp Blocking.cpp Taxonomy.cpp Kernel.cpp Tactic.cpp modelCacheIan.cpp DLConceptTaxonomy.cpp taxVertex.cpp tRole.cpp tConcept.cpp dumpInterface.cpp dumpLisp.cpp dlCompletionGraph.cpp Relevance.cpp BuildDAG.cpp DataReasoning.cpp SortedReasoning.cpp CWDArray.cpp RAutomaton.cpp tAxiomSet.cpp tAxiom.cpp DataTypeCenter.cpp Preprocess.cpp Input.cpp SaveLoad.cpp ReasonerNom.cpp tExpressionManager.cpp CascadedCache.cpp TriRelation.cpp tSubsumptionMap.cpp Actor.cpp tDag2Interface.cpp tSplitExpansionRules.cpp tDLAxiom.cpp ; do \ g++ -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -MM $file > .deps.tmp ; \ sed '1 s/^\(.*\)/obj\/\1/' .deps.tmp > .deps.tmp2 ; \ cat .deps.tmp2 >> .deps ; \ echo >> .deps ; \ done rm -f .deps.tmp .deps.tmp2 make[1]: Leaving directory `/build/fact++-FWKEto/fact++-1.5.3~dfsg/src/Kernel' make[1]: Entering directory `/build/fact++-FWKEto/fact++-1.5.3~dfsg/src/Kernel' rm -rf obj libKernel.a .deps make[1]: Leaving directory `/build/fact++-FWKEto/fact++-1.5.3~dfsg/src/Kernel' rm -f debian/stamp-makefile-build/kernel debian/stamp-makefile-install/kernel rm -f debian/stamp-makefile-check/kernel /usr/bin/make -C src/FaCT++ CFLAGS="-g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall" CXXFLAGS="-g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall" CPPFLAGS="-D_FORTIFY_SOURCE=2" LDFLAGS="-Wl,-z,relro" DEFINES="-D_FORTIFY_SOURCE=2" -k clean make[1]: Entering directory `/build/fact++-FWKEto/fact++-1.5.3~dfsg/src/FaCT++' ../Makefile.include:204: .deps: No such file or directory rm -f .deps touch .deps for file in scanner.cpp parser.cpp FaCT.cpp; do \ g++ -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -I../Kernel -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -MM $file > .deps.tmp ; \ sed '1 s/^\(.*\)/obj\/\1/' .deps.tmp > .deps.tmp2 ; \ cat .deps.tmp2 >> .deps ; \ echo >> .deps ; \ done rm -f .deps.tmp .deps.tmp2 make[1]: Leaving directory `/build/fact++-FWKEto/fact++-1.5.3~dfsg/src/FaCT++' make[1]: Entering directory `/build/fact++-FWKEto/fact++-1.5.3~dfsg/src/FaCT++' rm -rf obj FaCT++ .deps make[1]: Leaving directory `/build/fact++-FWKEto/fact++-1.5.3~dfsg/src/FaCT++' rm -f debian/stamp-makefile-build/lisp debian/stamp-makefile-install/lisp rm -f debian/stamp-makefile-check/lisp rmdir --ignore-fail-on-non-empty debian/stamp-makefile-build debian/stamp-makefile-install rmdir: failed to remove `debian/stamp-makefile-build': No such file or directory rmdir: failed to remove `debian/stamp-makefile-install': No such file or directory make: [makefile-clean] Error 1 (ignored) rm -f debian/copyright_newhints rm -f debian/cdbs-install-list debian/cdbs-package-list debian/stamp-copyright-check rm -rf "debian/upstream-cruft" rm -f debian/stamp-upstream-cruft dh_clean debian/rules build-arch test -x debian/rules mkdir -p "build" Scanning upstream source for new/changed copyright notices... licensecheck -c '.*' -r --copyright -i '^debian/(changelog|copyright(|_hints|_newhints))' -l '99999' * | /usr/lib/cdbs/licensecheck2dep5 > debian/copyright_newhints 22 combinations of copyright and licensing found. No new copyright notices found - assuming no news is good news... touch debian/stamp-copyright-check touch debian/stamp-upstream-cruft mkdir -p debian/stamp-makefile-build debian/stamp-makefile-install /usr/bin/make -C src/Kernel CFLAGS="-g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall" CXXFLAGS="-g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall" CPPFLAGS="-D_FORTIFY_SOURCE=2" LDFLAGS="-Wl,-z,relro" DEFINES="-D_FORTIFY_SOURCE=2" make[1]: Entering directory `/build/fact++-FWKEto/fact++-1.5.3~dfsg/src/Kernel' ../Makefile.include:204: .deps: No such file or directory rm -f .deps touch .deps for file in dltree.cpp configure.cpp LeveLogger.cpp dlTBox.cpp dlCompletionTree.cpp Reasoner.cpp dlVertex.cpp dlDag.cpp RoleMaster.cpp LogicFeature.cpp ifOptions.cpp Blocking.cpp Taxonomy.cpp Kernel.cpp Tactic.cpp modelCacheIan.cpp DLConceptTaxonomy.cpp taxVertex.cpp tRole.cpp tConcept.cpp dumpInterface.cpp dumpLisp.cpp dlCompletionGraph.cpp Relevance.cpp BuildDAG.cpp DataReasoning.cpp SortedReasoning.cpp CWDArray.cpp RAutomaton.cpp tAxiomSet.cpp tAxiom.cpp DataTypeCenter.cpp Preprocess.cpp Input.cpp SaveLoad.cpp ReasonerNom.cpp tExpressionManager.cpp CascadedCache.cpp TriRelation.cpp tSubsumptionMap.cpp Actor.cpp tDag2Interface.cpp tSplitExpansionRules.cpp tDLAxiom.cpp ; do \ g++ -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -MM $file > .deps.tmp ; \ sed '1 s/^\(.*\)/obj\/\1/' .deps.tmp > .deps.tmp2 ; \ cat .deps.tmp2 >> .deps ; \ echo >> .deps ; \ done rm -f .deps.tmp .deps.tmp2 make[1]: Leaving directory `/build/fact++-FWKEto/fact++-1.5.3~dfsg/src/Kernel' make[1]: Entering directory `/build/fact++-FWKEto/fact++-1.5.3~dfsg/src/Kernel' mkdir -p obj g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/dltree.o dltree.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/configure.o configure.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/LeveLogger.o LeveLogger.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/dlTBox.o dlTBox.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/dlCompletionTree.o dlCompletionTree.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/Reasoner.o Reasoner.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/dlVertex.o dlVertex.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/dlDag.o dlDag.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/RoleMaster.o RoleMaster.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/LogicFeature.o LogicFeature.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/ifOptions.o ifOptions.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/Blocking.o Blocking.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/Taxonomy.o Taxonomy.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/Kernel.o Kernel.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/Tactic.o Tactic.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/modelCacheIan.o modelCacheIan.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/DLConceptTaxonomy.o DLConceptTaxonomy.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/taxVertex.o taxVertex.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/tRole.o tRole.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/tConcept.o tConcept.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/dumpInterface.o dumpInterface.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/dumpLisp.o dumpLisp.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/dlCompletionGraph.o dlCompletionGraph.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/Relevance.o Relevance.cpp Relevance.cpp: In member function 'void TBox::gatherRelevanceInfo()': Relevance.cpp:137:8: warning: variable 'cRatio' set but not used [-Wunused-but-set-variable] Relevance.cpp:137:28: warning: variable 'logCSize' set but not used [-Wunused-but-set-variable] Relevance.cpp:137:42: warning: variable 'logBSize' set but not used [-Wunused-but-set-variable] Relevance.cpp:137:56: warning: variable 'sqCSize' set but not used [-Wunused-but-set-variable] g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/BuildDAG.o BuildDAG.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/DataReasoning.o DataReasoning.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/SortedReasoning.o SortedReasoning.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/CWDArray.o CWDArray.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/RAutomaton.o RAutomaton.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/tAxiomSet.o tAxiomSet.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/tAxiom.o tAxiom.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/DataTypeCenter.o DataTypeCenter.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/Preprocess.o Preprocess.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/Input.o Input.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/SaveLoad.o SaveLoad.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/ReasonerNom.o ReasonerNom.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/tExpressionManager.o tExpressionManager.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/CascadedCache.o CascadedCache.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/TriRelation.o TriRelation.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/tSubsumptionMap.o tSubsumptionMap.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/Actor.o Actor.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/tDag2Interface.o tDag2Interface.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/tSplitExpansionRules.o tSplitExpansionRules.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/tDLAxiom.o tDLAxiom.cpp ar cr obj/libKernel.a obj/dltree.o obj/configure.o obj/LeveLogger.o obj/dlTBox.o obj/dlCompletionTree.o obj/Reasoner.o obj/dlVertex.o obj/dlDag.o obj/RoleMaster.o obj/LogicFeature.o obj/ifOptions.o obj/Blocking.o obj/Taxonomy.o obj/Kernel.o obj/Tactic.o obj/modelCacheIan.o obj/DLConceptTaxonomy.o obj/taxVertex.o obj/tRole.o obj/tConcept.o obj/dumpInterface.o obj/dumpLisp.o obj/dlCompletionGraph.o obj/Relevance.o obj/BuildDAG.o obj/DataReasoning.o obj/SortedReasoning.o obj/CWDArray.o obj/RAutomaton.o obj/tAxiomSet.o obj/tAxiom.o obj/DataTypeCenter.o obj/Preprocess.o obj/Input.o obj/SaveLoad.o obj/ReasonerNom.o obj/tExpressionManager.o obj/CascadedCache.o obj/TriRelation.o obj/tSubsumptionMap.o obj/Actor.o obj/tDag2Interface.o obj/tSplitExpansionRules.o obj/tDLAxiom.o ranlib obj/libKernel.a rm -f libKernel.a && ln -s obj/libKernel.a . make[1]: Leaving directory `/build/fact++-FWKEto/fact++-1.5.3~dfsg/src/Kernel' touch debian/stamp-makefile-build/kernel /usr/bin/make -C src/FaCT++ CFLAGS="-g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall" CXXFLAGS="-g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall" CPPFLAGS="-D_FORTIFY_SOURCE=2" LDFLAGS="-Wl,-z,relro" DEFINES="-D_FORTIFY_SOURCE=2" make[1]: Entering directory `/build/fact++-FWKEto/fact++-1.5.3~dfsg/src/FaCT++' ../Makefile.include:204: .deps: No such file or directory rm -f .deps touch .deps for file in scanner.cpp parser.cpp FaCT.cpp; do \ g++ -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -I../Kernel -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -MM $file > .deps.tmp ; \ sed '1 s/^\(.*\)/obj\/\1/' .deps.tmp > .deps.tmp2 ; \ cat .deps.tmp2 >> .deps ; \ echo >> .deps ; \ done rm -f .deps.tmp .deps.tmp2 make[1]: Leaving directory `/build/fact++-FWKEto/fact++-1.5.3~dfsg/src/FaCT++' make[1]: Entering directory `/build/fact++-FWKEto/fact++-1.5.3~dfsg/src/FaCT++' mkdir -p obj g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -I../Kernel -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/scanner.o scanner.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -I../Kernel -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/parser.o parser.cpp g++ -c -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -I../Kernel -D_FORTIFY_SOURCE=2 -finline-limit=1200 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -ftracer -fgcse-sm -fgcse-las -fpeel-loops -fmodulo-sched -ftree-loop-linear -ftree-loop-im -fweb -ftree-loop-ivcanon -fivopts -ftree-vectorize -fvariable-expansion-in-unroller -funsafe-loop-optimizations -fmodulo-sched-allow-regmoves -fipa-cp -fvect-cost-model -o obj/FaCT.o FaCT.cpp g++ obj/scanner.o obj/parser.o obj/FaCT.o -L../Kernel -lKernel -Wl,-z,relro -s -o obj/FaCT++ rm -f FaCT++ && ln -s obj/FaCT++ FaCT++ make[1]: Leaving directory `/build/fact++-FWKEto/fact++-1.5.3~dfsg/src/FaCT++' touch debian/stamp-makefile-build/lisp DEB_MAKE_CHECK_TARGET unset, not running checks DEB_MAKE_CHECK_TARGET unset, not running checks fakeroot debian/rules binary-arch test -x debian/rules dh_testroot dh_prep dh_installdirs -A mkdir -p "build" mkdir -p debian/stamp-makefile-build debian/stamp-makefile-install DEB_MAKE_CHECK_TARGET unset, not running checks DEB_MAKE_CHECK_TARGET unset, not running checks DEB_MAKE_INSTALL_TARGET unset, skipping default makefile.mk common-install target DEB_MAKE_INSTALL_TARGET unset, skipping default makefile.mk common-install target Adding cdbs dependencies to debian/fact++.substvars dh_installdirs -pfact++ dh_installdocs -pfact++ ./README dh_installexamples -pfact++ dh_installman -pfact++ dh_installinfo -pfact++ dh_installmenu -pfact++ dh_installcron -pfact++ dh_installinit -pfact++ dh_installdebconf -pfact++ dh_installemacsen -pfact++ dh_installcatalogs -pfact++ dh_installpam -pfact++ dh_installlogrotate -pfact++ dh_installlogcheck -pfact++ dh_installchangelogs -pfact++ dh_installudev -pfact++ dh_lintian -pfact++ dh_bugfiles -pfact++ dh_install -pfact++ src/FaCT++/obj/FaCT++ usr/bin dh_link -pfact++ dh_buildinfo -pfact++ Use of uninitialized value within @essentials in string ne at /usr/bin/dh_buildinfo line 164. dh_installmime -pfact++ dh_installgsettings -pfact++ dh_strip -pfact++ dh_compress -pfact++ dh_fixperms -pfact++ dh_makeshlibs -pfact++ dh_installdeb -pfact++ dh_perl -pfact++ dh_shlibdeps -pfact++ dpkg-shlibdeps: warning: debian/fact++/usr/bin/FaCT++ contains an unresolvable reference to symbol __aeabi_unwind_cpp_pr1@GCC_3.5: it's probably a plugin. dh_gencontrol -pfact++ dh_md5sums -pfact++ dh_builddeb -pfact++ dpkg-deb: building package `fact++' in `../fact++_1.5.3~dfsg-1_armhf.deb'. dpkg-genchanges -B -mbuildd >../fact++_1.5.3~dfsg-1_armhf.changes dpkg-genchanges: arch-specific upload - not including arch-independent packages dpkg-genchanges: binary-only upload - not including any source code dpkg-source --after-build fact++-1.5.3~dfsg dpkg-buildpackage: binary only upload (no source included) ──────────────────────────────────────────────────────────────────────────────── Build finished at 20120710-0456 Finished ──────── I: Built successfully ┌──────────────────────────────────────────────────────────────────────────────┐ │ Changes │ └──────────────────────────────────────────────────────────────────────────────┘ fact++_1.5.3~dfsg-1_armhf.changes: ────────────────────────────────── Format: 1.8 Date: Wed, 27 Jun 2012 20:25:49 +0200 Source: fact++ Binary: fact++ Architecture: armhf Version: 1.5.3~dfsg-1 Distribution: testing Urgency: low Maintainer: buildd Changed-By: Jonas Smedegaard Description: fact++ - description logic reasoner for the semantic web Closes: 431175 Changes: fact++ (1.5.3~dfsg-1) unstable; urgency=low . * Initial packaging release. Closes: bug#431175. Checksums-Sha1: c80f570c1e1ba190784737591251c63527621a8b 397420 fact++_1.5.3~dfsg-1_armhf.deb Checksums-Sha256: 706c71b9f4ba99f470aca1444fda6cba4fcef5018733496d3092a5209d33596a 397420 fact++_1.5.3~dfsg-1_armhf.deb Files: 00bb8f310297445324eb389580fe9007 397420 x11 optional fact++_1.5.3~dfsg-1_armhf.deb ┌──────────────────────────────────────────────────────────────────────────────┐ │ Package contents │ └──────────────────────────────────────────────────────────────────────────────┘ fact++_1.5.3~dfsg-1_armhf.deb ───────────────────────────── new debian package, version 2.0. size 397420 bytes: control archive=834 bytes. 725 bytes, 16 lines control 328 bytes, 5 lines md5sums Package: fact++ Version: 1.5.3~dfsg-1 Architecture: armhf Maintainer: Jonas Smedegaard Installed-Size: 910 Depends: libc6 (>= 2.13-28), libgcc1 (>= 1:4.4.0), libstdc++6 (>= 4.6), dbus-x11 Suggests: antiword, catdoc, catdvi, djvulibre-bin, poppler-utils | xpdf-utils, rpm, unrtf, unzip Section: x11 Priority: optional Homepage: http://code.google.com/p/fact++-search/ Description: description logic reasoner for the semantic web FaCT++ is a DL reasoner. It supports OWL DL as well as the forthcoming standard OWL 1.1. FaCT++ is implemented in C++ and uses optimised tableaux algorithms. The tool is probably best known for its compatibility with the tool Protege that helps to formally represent semantics. drwxr-xr-x root/root 0 2012-07-10 04:55 ./ drwxr-xr-x root/root 0 2012-07-10 04:55 ./usr/ drwxr-xr-x root/root 0 2012-07-10 04:55 ./usr/share/ drwxr-xr-x root/root 0 2012-07-10 04:55 ./usr/share/doc/ drwxr-xr-x root/root 0 2012-07-10 04:56 ./usr/share/doc/fact++/ -rw-r--r-- root/root 169 2012-06-27 11:25 ./usr/share/doc/fact++/changelog.Debian.gz -rw-r--r-- root/root 1605 2012-07-10 04:56 ./usr/share/doc/fact++/buildinfo_armhf.gz -rw-r--r-- root/root 1936 2011-12-07 10:42 ./usr/share/doc/fact++/README.gz -rw-r--r-- root/root 2897 2012-06-27 11:02 ./usr/share/doc/fact++/copyright drwxr-xr-x root/root 0 2012-07-10 04:56 ./usr/bin/ -rwxr-xr-x root/root 896268 2012-07-10 04:56 ./usr/bin/FaCT++ ┌──────────────────────────────────────────────────────────────────────────────┐ │ Post Build │ └──────────────────────────────────────────────────────────────────────────────┘ ┌──────────────────────────────────────────────────────────────────────────────┐ │ Cleanup │ └──────────────────────────────────────────────────────────────────────────────┘ Purging /build/fact++-FWKEto Reading package lists... Building dependency tree... Reading state information... 0 upgraded, 0 newly installed, 0 to remove and 4 not upgraded. Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: bsdmainutils* cdbs* cloog-ppl* debhelper* devscripts* dh-buildinfo* file* gettext* gettext-base* groff-base* html2text* intltool-debian* libasprintf0c2* libcloog-ppl0* libcroco3* libexpat1* libffi5* libgettextpo0* libglib2.0-0* libgmpxx4ldbl* libmagic1* libpcre3* libpipeline1* libppl-c4* libppl9* libpwl5* libsqlite3-0* libssl1.0.0* libunistring0* libxml2* man-db* mime-support* po-debconf* python* python-minimal* python2.7* python2.7-minimal* sbuild-build-depends-core-dummy* sbuild-build-depends-fact++-dummy* 0 upgraded, 0 newly installed, 39 to remove and 4 not upgraded. After this operation, 48.6 MB disk space will be freed. (Reading database ... 13262 files and directories currently installed.) Removing sbuild-build-depends-fact++-dummy ... Removing dh-buildinfo ... Removing debhelper ... Removing man-db ... Purging configuration files for man-db ... Removing bsdmainutils ... Purging configuration files for bsdmainutils ... Removing cdbs ... Removing cloog-ppl ... Removing devscripts ... Purging configuration files for devscripts ... Removing file ... Removing po-debconf ... Removing intltool-debian ... Removing gettext ... Removing gettext-base ... Removing groff-base ... Purging configuration files for groff-base ... Removing html2text ... Purging configuration files for html2text ... Removing libasprintf0c2:armhf ... Removing libcloog-ppl0:armhf ... Purging configuration files for libcloog-ppl0:armhf ... Removing libcroco3:armhf ... Purging configuration files for libcroco3:armhf ... Removing python ... Purging configuration files for python ... Removing python2.7 ... Purging configuration files for python2.7 ... Removing libexpat1:armhf ... Purging configuration files for libexpat1:armhf ... Removing libglib2.0-0:armhf ... Purging configuration files for libglib2.0-0:armhf ... Removing libffi5:armhf ... Purging configuration files for libffi5:armhf ... Removing libgettextpo0:armhf ... Removing libppl-c4:armhf ... Purging configuration files for libppl-c4:armhf ... Removing libppl9:armhf ... Purging configuration files for libppl9:armhf ... Removing libgmpxx4ldbl:armhf ... Purging configuration files for libgmpxx4ldbl:armhf ... Removing libmagic1:armhf ... Purging configuration files for libmagic1:armhf ... Removing libpcre3:armhf ... Purging configuration files for libpcre3:armhf ... Removing libpipeline1:armhf ... Purging configuration files for libpipeline1:armhf ... Removing libpwl5:armhf ... Purging configuration files for libpwl5:armhf ... Removing libsqlite3-0:armhf ... Purging configuration files for libsqlite3-0:armhf ... Removing python-minimal ... Removing python2.7-minimal ... Purging configuration files for python2.7-minimal ... Removing libssl1.0.0:armhf ... Purging configuration files for libssl1.0.0:armhf ... Removing libunistring0:armhf ... Purging configuration files for libunistring0:armhf ... Removing libxml2:armhf ... Purging configuration files for libxml2:armhf ... Removing mime-support ... Purging configuration files for mime-support ... Removing sbuild-build-depends-core-dummy ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Summary │ └──────────────────────────────────────────────────────────────────────────────┘ Build Architecture: armhf Build-Space: 109712 Build-Time: 1544 Distribution: testing Host Architecture: armhf Install-Time: 105 Job: fact++_1.5.3~dfsg-1 Machine Architecture: armhf Package: fact++ Package-Time: 1669 Source-Version: 1.5.3~dfsg-1 Space: 109712 Status: successful Version: 1.5.3~dfsg-1 ──────────────────────────────────────────────────────────────────────────────── Finished at 20120710-0456 Build needed 00:27:49, 109712k disc space