Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/f/fact++/fact++_1.6.5~dfsg-3_amd64.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/fact++-1.6.5~dfsg-3idu1w9h6/fact++_1.6.5~dfsg-3_amd64.buildinfo Get source package info: fact++=1.6.5~dfsg-3 Source URL: http://snapshot.notset.fr/mr/package/fact++/1.6.5~dfsg-3/srcfiles?fileinfo=1 env -i PATH=/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp mmdebstrap --arch=amd64 --include=autoconf=2.69-11.1 automake=1:1.16.2-4 autopoint=0.19.8.1-10 autotools-dev=20180224.1 base-files=11 base-passwd=3.5.47 bash=5.0-7 binutils=2.35.1-1 binutils-common=2.35.1-1 binutils-x86-64-linux-gnu=2.35.1-1 bsdextrautils=2.36-3+b1 bsdutils=1:2.36-3 build-essential=12.8 bzip2=1.0.8-4 coreutils=8.32-4 cpp=4:10.2.0-1 cpp-10=10.2.0-9 dash=0.5.10.2-7 debconf=1.5.74 debhelper=13.2.1 debianutils=4.11.1 dh-autoreconf=19 dh-strip-nondeterminism=1.9.0-1 diffutils=1:3.7-3 dpkg=1.20.5 dpkg-dev=1.20.5 dwz=0.13-5 file=1:5.38-5 findutils=4.7.0-1 g++=4:10.2.0-1 g++-10=10.2.0-9 gcc=4:10.2.0-1 gcc-10=10.2.0-9 gcc-10-base=10.2.0-9 gettext=0.19.8.1-10 gettext-base=0.19.8.1-10 grep=3.4-1 groff-base=1.22.4-5 gzip=1.10-2 hostname=3.23 init-system-helpers=1.58 intltool-debian=0.35.0+20060710.5 libacl1=2.2.53-8 libarchive-zip-perl=1.68-1 libasan6=10.2.0-9 libatomic1=10.2.0-9 libattr1=1:2.4.48-5 libaudit-common=1:2.8.5-3 libaudit1=1:2.8.5-3+b1 libbinutils=2.35.1-1 libblkid1=2.36-3 libbz2-1.0=1.0.8-4 libc-bin=2.31-3 libc-dev-bin=2.31-3 libc6=2.31-3 libc6-dev=2.31-3 libcap-ng0=0.7.9-2.2 libcc1-0=10.2.0-9 libcroco3=0.6.13-1 libcrypt-dev=1:4.4.17-1 libcrypt1=1:4.4.17-1 libctf-nobfd0=2.35.1-1 libctf0=2.35.1-1 libdb5.3=5.3.28+dfsg1-0.6 libdebconfclient0=0.254 libdebhelper-perl=13.2.1 libdpkg-perl=1.20.5 libelf1=0.181-1 libffi7=3.3-4 libfile-stripnondeterminism-perl=1.9.0-1 libgcc-10-dev=10.2.0-9 libgcc-s1=10.2.0-9 libgcrypt20=1.8.6-2 libgdbm-compat4=1.18.1-5.1 libgdbm6=1.18.1-5.1 libglib2.0-0=2.66.0-2 libgmp10=2:6.2.0+dfsg-6 libgomp1=10.2.0-9 libgpg-error0=1.38-2 libicu67=67.1-4 libisl22=0.22.1-1 libitm1=10.2.0-9 liblsan0=10.2.0-9 liblz4-1=1.9.2-2 liblzma5=5.2.4-1+b1 libmagic-mgc=1:5.38-5 libmagic1=1:5.38-5 libmount1=2.36-3 libmpc3=1.2.0-1 libmpfr6=4.1.0-3 libpam-modules=1.3.1-5 libpam-modules-bin=1.3.1-5 libpam-runtime=1.3.1-5 libpam0g=1.3.1-5 libpcre2-8-0=10.34-7 libpcre3=2:8.39-13 libperl5.30=5.30.3-4 libpipeline1=1.5.3-1 libquadmath0=10.2.0-9 libseccomp2=2.4.4-1 libselinux1=3.1-2 libsigsegv2=2.12-2 libsmartcols1=2.36-3 libstdc++-10-dev=10.2.0-9 libstdc++6=10.2.0-9 libsub-override-perl=0.09-2 libsystemd0=246.6-1 libtinfo6=6.2+20200918-1 libtool=2.4.6-14 libtsan0=10.2.0-9 libubsan1=10.2.0-9 libuchardet0=0.0.7-1 libudev1=246.6-1 libunistring2=0.9.10-4 libuuid1=2.36-3 libxml2=2.9.10+dfsg-6 libzstd1=1.4.5+dfsg-4 linux-libc-dev=5.8.10-1 login=1:4.8.1-1 lsb-base=11.1.0 m4=1.4.18-4 make=4.3-4 man-db=2.9.3-2 mawk=1.3.4.20200120-2 ncurses-base=6.2+20200918-1 ncurses-bin=6.2+20200918-1 patch=2.7.6-6 perl=5.30.3-4 perl-base=5.30.3-4 perl-modules-5.30=5.30.3-4 po-debconf=1.0.21 sed=4.7-1 sensible-utils=0.0.12+nmu1 sysvinit-utils=2.96-5 tar=1.30+dfsg-7 util-linux=2.36-3 xz-utils=5.2.4-1+b1 zlib1g=1:1.2.11.dfsg-2 --variant=apt --aptopt=Acquire::Check-Valid-Until "false" --aptopt=Acquire::http::Dl-Limit "1000"; --aptopt=Acquire::https::Dl-Limit "1000"; --aptopt=Acquire::Retries "5"; --aptopt=APT::Get::allow-downgrades "true"; --keyring=/usr/share/keyrings/ --essential-hook=chroot "$1" sh -c "apt-get --yes install fakeroot util-linux" --essential-hook=copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ --essential-hook=chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20201101T210343Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20200924T084650Z/ unstable main' >> /etc/apt/sources.list && apt-get update" --customize-hook=chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash --customize-hook=chroot "$1" env sh -c "apt-get source --only-source -d fact++=1.6.5~dfsg-3 && mkdir -p /build/fact++-NIxEjA && dpkg-source --no-check -x /*.dsc /build/fact++-NIxEjA/fact++-1.6.5-dfsg && chown -R builduser:builduser /build/fact++-NIxEjA" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/fact++-NIxEjA/fact++-1.6.5-dfsg && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1601125922" dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/fact++-NIxEjA /tmp/fact++-1.6.5~dfsg-3idu1w9h6 bullseye /dev/null deb http://snapshot.notset.fr/archive/debian/20200924T084650Z unstable main I: automatically chosen mode: root I: chroot architecture amd64 is equal to the host's architecture I: automatically chosen format: tar I: using /tmp/mmdebstrap.kDDk1JP0F_ as tempdir I: running apt-get update... I: downloading packages with apt... I: extracting archives... I: installing essential packages... I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "apt-get --yes install fakeroot util-linux"' exec /tmp/mmdebstrap.kDDk1JP0F_ Reading package lists... Building dependency tree... util-linux is already the newest version (2.36-3). The following NEW packages will be installed: fakeroot libfakeroot 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 134 kB of archives. After this operation, 393 kB of additional disk space will be used. Get:1 http://snapshot.notset.fr/archive/debian/20200924T084650Z unstable/main amd64 libfakeroot amd64 1.25.1-1 [46.8 kB] Get:2 http://snapshot.notset.fr/archive/debian/20200924T084650Z unstable/main amd64 fakeroot amd64 1.25.1-1 [86.8 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 134 kB in 0s (560 kB/s) Selecting previously unselected package libfakeroot:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 4575 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.25.1-1_amd64.deb ... Unpacking libfakeroot:amd64 (1.25.1-1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.25.1-1_amd64.deb ... Unpacking fakeroot (1.25.1-1) ... Setting up libfakeroot:amd64 (1.25.1-1) ... Setting up fakeroot (1.25.1-1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Processing triggers for libc-bin (2.31-3) ... I: running special hook: copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20201101T210343Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20200924T084650Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.kDDk1JP0F_ Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm InRelease [81.6 kB] Get:2 http://snapshot.notset.fr/archive/debian/20201101T210343Z unstable InRelease [146 kB] Hit:3 http://snapshot.notset.fr/archive/debian/20200924T084650Z unstable InRelease Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Get:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources [11.4 MB] Get:5 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages [11.1 MB] Ign:6 http://snapshot.notset.fr/archive/debian/20201101T210343Z unstable/main amd64 Packages Ign:6 http://snapshot.notset.fr/archive/debian/20201101T210343Z unstable/main amd64 Packages Ign:6 http://snapshot.notset.fr/archive/debian/20201101T210343Z unstable/main amd64 Packages Get:6 http://snapshot.notset.fr/archive/debian/20201101T210343Z unstable/main amd64 Packages [11.5 MB] Fetched 34.2 MB in 29s (1182 kB/s) Reading package lists... I: installing remaining packages inside the chroot... I: running --customize-hook in shell: sh -c 'chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash' exec /tmp/mmdebstrap.kDDk1JP0F_ I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d fact++=1.6.5~dfsg-3 && mkdir -p /build/fact++-NIxEjA && dpkg-source --no-check -x /*.dsc /build/fact++-NIxEjA/fact++-1.6.5-dfsg && chown -R builduser:builduser /build/fact++-NIxEjA"' exec /tmp/mmdebstrap.kDDk1JP0F_ Reading package lists... NOTICE: 'fact++' packaging is maintained in the 'Git' version control system at: https://salsa.debian.org/debian/factplusplus.git Please use: git clone https://salsa.debian.org/debian/factplusplus.git to retrieve the latest (possibly unreleased) updates to the package. Need to get 352 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main fact++ 1.6.5~dfsg-3 (dsc) [1926 B] Get:2 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main fact++ 1.6.5~dfsg-3 (tar) [343 kB] Get:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main fact++ 1.6.5~dfsg-3 (diff) [7284 B] Fetched 352 kB in 0s (860 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'fact++_1.6.5~dfsg-3.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting fact++ in /build/fact++-NIxEjA/fact++-1.6.5-dfsg dpkg-source: info: unpacking fact++_1.6.5~dfsg.orig.tar.bz2 dpkg-source: info: unpacking fact++_1.6.5~dfsg-3.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying 1001_gcc-10.patch I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/fact++-NIxEjA/fact++-1.6.5-dfsg && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1601125922" dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap.kDDk1JP0F_ dpkg-buildpackage: info: source package fact++ dpkg-buildpackage: info: source version 1.6.5~dfsg-3 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Jonas Smedegaard dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 debian/rules clean dh clean dh_auto_clean make -j4 clean make[1]: Entering directory '/build/fact++-NIxEjA/fact++-1.6.5-dfsg' for dir in Kernel FaCT++ FaCT++.JNI FaCT++.C; do \ (cd $dir && make `echo clean_subdirs | cut -d_ -f1`) || exit 1; \ done make[2]: Entering directory '/build/fact++-NIxEjA/fact++-1.6.5-dfsg/Kernel' rm -rf obj libKernel.a .deps make[2]: Leaving directory '/build/fact++-NIxEjA/fact++-1.6.5-dfsg/Kernel' make[2]: Entering directory '/build/fact++-NIxEjA/fact++-1.6.5-dfsg/FaCT++' rm -rf obj FaCT++ .deps make[2]: Leaving directory '/build/fact++-NIxEjA/fact++-1.6.5-dfsg/FaCT++' make[2]: Entering directory '/build/fact++-NIxEjA/fact++-1.6.5-dfsg/FaCT++.JNI' rm -rf obj libFaCTPlusPlusJNI.jnilib .deps make[2]: Leaving directory '/build/fact++-NIxEjA/fact++-1.6.5-dfsg/FaCT++.JNI' make[2]: Entering directory '/build/fact++-NIxEjA/fact++-1.6.5-dfsg/FaCT++.C' rm -rf obj libfact.jnilib .deps make[2]: Leaving directory '/build/fact++-NIxEjA/fact++-1.6.5-dfsg/FaCT++.C' rm -rf obj .deps make[1]: Leaving directory '/build/fact++-NIxEjA/fact++-1.6.5-dfsg' dh_clean debian/rules binary-arch dh binary-arch dh_update_autotools_config -a dh_autoreconf -a dh_auto_configure -a debian/rules override_dh_auto_build make[1]: Entering directory '/build/fact++-NIxEjA/fact++-1.6.5-dfsg' dh_auto_build -- -C Kernel OS=LINUX DEFINES="-Wdate-time -D_FORTIFY_SOURCE=2" make -j4 "INSTALL=install --strip-program=true" -C Kernel OS=LINUX "DEFINES=-Wdate-time -D_FORTIFY_SOURCE=2" make[2]: Entering directory '/build/fact++-NIxEjA/fact++-1.6.5-dfsg/Kernel' 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 Actor.cpp tDag2Interface.cpp tDLAxiom.cpp AtomicDecomposer.cpp KnowledgeExplorer.cpp TaxonomyCreator.cpp Incremental.cpp ExtendedDataRange.cpp SaveLoadManager.cpp dir_util.cpp LocalityChecker.cpp ; do \ g++ -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -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 mkdir -p obj g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/dltree.o dltree.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/configure.o configure.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/LeveLogger.o LeveLogger.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/dlTBox.o dlTBox.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/dlCompletionTree.o dlCompletionTree.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/Reasoner.o Reasoner.cpp In file included from tFastSet.h:23, from RAutomaton.h:27, from tRole.h:31, from dlCompletionTreeArc.h:26, from dlCompletionTree.h:26, from dlCompletionTree.cpp:20: growingArray.h: In instantiation of ‘void growingArray::add(const C&) [with C = ConceptWDep]’: CWDArray.h:101:48: required from here growingArray.h:74:16: warning: implicitly-declared ‘ConceptWDep& ConceptWDep::operator=(const ConceptWDep&)’ is deprecated [-Wdeprecated-copy] 74 | Body[last++] = entry; | ~~~~~~~~~~~~~^~~~~~~ In file included from CWDArray.h:28, from CGLabel.h:23, from dlCompletionTree.h:29, from dlCompletionTree.cpp:20: ConceptWithDep.h:43:2: note: because ‘ConceptWDep’ has user-provided ‘ConceptWDep::ConceptWDep(const ConceptWDep&)’ 43 | ConceptWDep ( const ConceptWDep& c ) : Concept(c.Concept), depSet(c.depSet) {} | ^~~~~~~~~~~ In file included from ReasonerNom.h:23, from dlTBox.cpp:28: Reasoner.h: In member function ‘void DlSatTester::initBC()’: Reasoner.h:636:26: warning: implicitly-declared ‘ConceptWDep& ConceptWDep::operator=(const ConceptWDep&)’ is deprecated [-Wdeprecated-copy] 636 | bContext->curConcept = curConcept; | ^~~~~~~~~~ In file included from dlDag.h:32, from dlTBox.h:33, from dlTBox.cpp:20: ConceptWithDep.h:43:2: note: because ‘ConceptWDep’ has user-provided ‘ConceptWDep::ConceptWDep(const ConceptWDep&)’ 43 | ConceptWDep ( const ConceptWDep& c ) : Concept(c.Concept), depSet(c.depSet) {} | ^~~~~~~~~~~ g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/dlVertex.o dlVertex.cpp In file included from tFastSet.h:23, from RAutomaton.h:27, from tRole.h:31, from RoleMaster.h:26, from dlTBox.h:31, from dlTBox.cpp:20: growingArray.h: In instantiation of ‘void growingArray::add(const C&) [with C = ConceptWDep]’: CWDArray.h:101:48: required from here growingArray.h:74:16: warning: implicitly-declared ‘ConceptWDep& ConceptWDep::operator=(const ConceptWDep&)’ is deprecated [-Wdeprecated-copy] 74 | Body[last++] = entry; | ~~~~~~~~~~~~~^~~~~~~ In file included from dlDag.h:32, from dlTBox.h:33, from dlTBox.cpp:20: ConceptWithDep.h:43:2: note: because ‘ConceptWDep’ has user-provided ‘ConceptWDep::ConceptWDep(const ConceptWDep&)’ 43 | ConceptWDep ( const ConceptWDep& c ) : Concept(c.Concept), depSet(c.depSet) {} | ^~~~~~~~~~~ In file included from Reasoner.cpp:22: Reasoner.h: In member function ‘void DlSatTester::initBC()’: Reasoner.h:636:26: warning: implicitly-declared ‘ConceptWDep& ConceptWDep::operator=(const ConceptWDep&)’ is deprecated [-Wdeprecated-copy] 636 | bContext->curConcept = curConcept; | ^~~~~~~~~~ In file included from CWDArray.h:28, from CGLabel.h:23, from dlCompletionTree.h:29, from tBranchingContext.h:23, from Reasoner.h:24, from Reasoner.cpp:22: ConceptWithDep.h:43:2: note: because ‘ConceptWDep’ has user-provided ‘ConceptWDep::ConceptWDep(const ConceptWDep&)’ 43 | ConceptWDep ( const ConceptWDep& c ) : Concept(c.Concept), depSet(c.depSet) {} | ^~~~~~~~~~~ Reasoner.cpp: In member function ‘bool DlSatTester::checkSatisfiability()’: Reasoner.cpp:471:59: warning: implicitly-declared ‘ConceptWDep& ConceptWDep::operator=(const ConceptWDep&)’ is deprecated [-Wdeprecated-copy] 471 | curConcept = curNode->label().getConcept(curTDE->offset); | ^ In file included from CWDArray.h:28, from CGLabel.h:23, from dlCompletionTree.h:29, from tBranchingContext.h:23, from Reasoner.h:24, from Reasoner.cpp:22: ConceptWithDep.h:43:2: note: because ‘ConceptWDep’ has user-provided ‘ConceptWDep::ConceptWDep(const ConceptWDep&)’ 43 | ConceptWDep ( const ConceptWDep& c ) : Concept(c.Concept), depSet(c.depSet) {} | ^~~~~~~~~~~ Reasoner.cpp: In member function ‘void DlSatTester::restoreBC()’: Reasoner.cpp:545:25: warning: implicitly-declared ‘ConceptWDep& ConceptWDep::operator=(const ConceptWDep&)’ is deprecated [-Wdeprecated-copy] 545 | curConcept = bContext->curConcept; | ^~~~~~~~~~ In file included from CWDArray.h:28, from CGLabel.h:23, from dlCompletionTree.h:29, from tBranchingContext.h:23, from Reasoner.h:24, from Reasoner.cpp:22: ConceptWithDep.h:43:2: note: because ‘ConceptWDep’ has user-provided ‘ConceptWDep::ConceptWDep(const ConceptWDep&)’ 43 | ConceptWDep ( const ConceptWDep& c ) : Concept(c.Concept), depSet(c.depSet) {} | ^~~~~~~~~~~ In file included from tFastSet.h:23, from RAutomaton.h:27, from tRole.h:31, from dlCompletionTreeArc.h:26, from dlCompletionTree.h:26, from tBranchingContext.h:23, from Reasoner.h:24, from Reasoner.cpp:22: growingArray.h: In instantiation of ‘void growingArray::add(const C&) [with C = ConceptWDep]’: CWDArray.h:101:48: required from here growingArray.h:74:16: warning: implicitly-declared ‘ConceptWDep& ConceptWDep::operator=(const ConceptWDep&)’ is deprecated [-Wdeprecated-copy] 74 | Body[last++] = entry; | ~~~~~~~~~~~~~^~~~~~~ In file included from CWDArray.h:28, from CGLabel.h:23, from dlCompletionTree.h:29, from tBranchingContext.h:23, from Reasoner.h:24, from Reasoner.cpp:22: ConceptWithDep.h:43:2: note: because ‘ConceptWDep’ has user-provided ‘ConceptWDep::ConceptWDep(const ConceptWDep&)’ 43 | ConceptWDep ( const ConceptWDep& c ) : Concept(c.Concept), depSet(c.depSet) {} | ^~~~~~~~~~~ g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/dlDag.o dlDag.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/RoleMaster.o RoleMaster.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/LogicFeature.o LogicFeature.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/ifOptions.o ifOptions.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/Blocking.o Blocking.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/Taxonomy.o Taxonomy.cpp In file included from Blocking.cpp:22: Reasoner.h: In member function ‘void DlSatTester::initBC()’: Reasoner.h:636:26: warning: implicitly-declared ‘ConceptWDep& ConceptWDep::operator=(const ConceptWDep&)’ is deprecated [-Wdeprecated-copy] 636 | bContext->curConcept = curConcept; | ^~~~~~~~~~ In file included from dlDag.h:32, from Blocking.cpp:20: ConceptWithDep.h:43:2: note: because ‘ConceptWDep’ has user-provided ‘ConceptWDep::ConceptWDep(const ConceptWDep&)’ 43 | ConceptWDep ( const ConceptWDep& c ) : Concept(c.Concept), depSet(c.depSet) {} | ^~~~~~~~~~~ In file included from tFastSet.h:23, from RAutomaton.h:27, from tRole.h:31, from dlVHash.h:26, from dlDag.h:29, from Blocking.cpp:20: growingArray.h: In instantiation of ‘void growingArray::add(const C&) [with C = ConceptWDep]’: CWDArray.h:101:48: required from here growingArray.h:74:16: warning: implicitly-declared ‘ConceptWDep& ConceptWDep::operator=(const ConceptWDep&)’ is deprecated [-Wdeprecated-copy] 74 | Body[last++] = entry; | ~~~~~~~~~~~~~^~~~~~~ In file included from dlDag.h:32, from Blocking.cpp:20: ConceptWithDep.h:43:2: note: because ‘ConceptWDep’ has user-provided ‘ConceptWDep::ConceptWDep(const ConceptWDep&)’ 43 | ConceptWDep ( const ConceptWDep& c ) : Concept(c.Concept), depSet(c.depSet) {} | ^~~~~~~~~~~ g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/Kernel.o Kernel.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/Tactic.o Tactic.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/modelCacheIan.o modelCacheIan.cpp In file included from Tactic.cpp:24: Reasoner.h: In member function ‘void DlSatTester::initBC()’: Reasoner.h:636:26: warning: implicitly-declared ‘ConceptWDep& ConceptWDep::operator=(const ConceptWDep&)’ is deprecated [-Wdeprecated-copy] 636 | bContext->curConcept = curConcept; | ^~~~~~~~~~ In file included from CWDArray.h:28, from CGLabel.h:23, from dlCompletionTree.h:29, from tBranchingContext.h:23, from Reasoner.h:24, from Tactic.cpp:24: ConceptWithDep.h:43:2: note: because ‘ConceptWDep’ has user-provided ‘ConceptWDep::ConceptWDep(const ConceptWDep&)’ 43 | ConceptWDep ( const ConceptWDep& c ) : Concept(c.Concept), depSet(c.depSet) {} | ^~~~~~~~~~~ Tactic.cpp: In member function ‘bool DlSatTester::commonTacticBodySome(const DLVertex&)’: Tactic.cpp:552:24: warning: implicitly-declared ‘ConceptWDep& ConceptWDep::operator=(const ConceptWDep&)’ is deprecated [-Wdeprecated-copy] 552 | rFuncRestriction = LC; | ^~ In file included from CWDArray.h:28, from CGLabel.h:23, from dlCompletionTree.h:29, from tBranchingContext.h:23, from Reasoner.h:24, from Tactic.cpp:24: ConceptWithDep.h:43:2: note: because ‘ConceptWDep’ has user-provided ‘ConceptWDep::ConceptWDep(const ConceptWDep&)’ 43 | ConceptWDep ( const ConceptWDep& c ) : Concept(c.Concept), depSet(c.depSet) {} | ^~~~~~~~~~~ In file included from tFastSet.h:23, from RAutomaton.h:27, from tRole.h:31, from dlCompletionTreeArc.h:26, from dlCompletionTree.h:26, from tBranchingContext.h:23, from Reasoner.h:24, from Tactic.cpp:24: growingArray.h: In instantiation of ‘void growingArray::add(const C&) [with C = ConceptWDep]’: CWDArray.h:101:48: required from here growingArray.h:74:16: warning: implicitly-declared ‘ConceptWDep& ConceptWDep::operator=(const ConceptWDep&)’ is deprecated [-Wdeprecated-copy] 74 | Body[last++] = entry; | ~~~~~~~~~~~~~^~~~~~~ In file included from CWDArray.h:28, from CGLabel.h:23, from dlCompletionTree.h:29, from tBranchingContext.h:23, from Reasoner.h:24, from Tactic.cpp:24: ConceptWithDep.h:43:2: note: because ‘ConceptWDep’ has user-provided ‘ConceptWDep::ConceptWDep(const ConceptWDep&)’ 43 | ConceptWDep ( const ConceptWDep& c ) : Concept(c.Concept), depSet(c.depSet) {} | ^~~~~~~~~~~ In file included from tFastSet.h:23, from RAutomaton.h:27, from tRole.h:31, from dlCompletionTreeArc.h:26, from dlCompletionTree.h:26, from modelCacheIan.h:24, from modelCacheIan.cpp:22: growingArray.h: In instantiation of ‘void growingArray::add(const C&) [with C = ConceptWDep]’: CWDArray.h:101:48: required from here growingArray.h:74:16: warning: implicitly-declared ‘ConceptWDep& ConceptWDep::operator=(const ConceptWDep&)’ is deprecated [-Wdeprecated-copy] 74 | Body[last++] = entry; | ~~~~~~~~~~~~~^~~~~~~ In file included from CWDArray.h:28, from CGLabel.h:23, from dlCompletionTree.h:29, from modelCacheIan.h:24, from modelCacheIan.cpp:22: ConceptWithDep.h:43:2: note: because ‘ConceptWDep’ has user-provided ‘ConceptWDep::ConceptWDep(const ConceptWDep&)’ 43 | ConceptWDep ( const ConceptWDep& c ) : Concept(c.Concept), depSet(c.depSet) {} | ^~~~~~~~~~~ g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/DLConceptTaxonomy.o DLConceptTaxonomy.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/taxVertex.o taxVertex.cpp In file included from DLConceptTaxonomy.cpp:26: Reasoner.h: In member function ‘void DlSatTester::initBC()’: Reasoner.h:636:26: warning: implicitly-declared ‘ConceptWDep& ConceptWDep::operator=(const ConceptWDep&)’ is deprecated [-Wdeprecated-copy] 636 | bContext->curConcept = curConcept; | ^~~~~~~~~~ In file included from CWDArray.h:28, from CGLabel.h:23, from dlCompletionTree.h:29, from tBranchingContext.h:23, from Reasoner.h:24, from DLConceptTaxonomy.cpp:26: ConceptWithDep.h:43:2: note: because ‘ConceptWDep’ has user-provided ‘ConceptWDep::ConceptWDep(const ConceptWDep&)’ 43 | ConceptWDep ( const ConceptWDep& c ) : Concept(c.Concept), depSet(c.depSet) {} | ^~~~~~~~~~~ g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/tRole.o tRole.cpp In file included from tFastSet.h:23, from RAutomaton.h:27, from tRole.h:31, from dlCompletionTreeArc.h:26, from dlCompletionTree.h:26, from tBranchingContext.h:23, from Reasoner.h:24, from DLConceptTaxonomy.cpp:26: growingArray.h: In instantiation of ‘void growingArray::add(const C&) [with C = ConceptWDep]’: CWDArray.h:101:48: required from here growingArray.h:74:16: warning: implicitly-declared ‘ConceptWDep& ConceptWDep::operator=(const ConceptWDep&)’ is deprecated [-Wdeprecated-copy] 74 | Body[last++] = entry; | ~~~~~~~~~~~~~^~~~~~~ In file included from CWDArray.h:28, from CGLabel.h:23, from dlCompletionTree.h:29, from tBranchingContext.h:23, from Reasoner.h:24, from DLConceptTaxonomy.cpp:26: ConceptWithDep.h:43:2: note: because ‘ConceptWDep’ has user-provided ‘ConceptWDep::ConceptWDep(const ConceptWDep&)’ 43 | ConceptWDep ( const ConceptWDep& c ) : Concept(c.Concept), depSet(c.depSet) {} | ^~~~~~~~~~~ g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/tConcept.o tConcept.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/dumpInterface.o dumpInterface.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/dumpLisp.o dumpLisp.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/dlCompletionGraph.o dlCompletionGraph.cpp In file included from tFastSet.h:23, from RAutomaton.h:27, from tRole.h:31, from dlCompletionTreeArc.h:26, from dlCompletionTree.h:26, from dlCompletionGraph.h:27, from dlCompletionGraph.cpp:20: growingArray.h: In instantiation of ‘void growingArray::add(const C&) [with C = ConceptWDep]’: CWDArray.h:101:48: required from here growingArray.h:74:16: warning: implicitly-declared ‘ConceptWDep& ConceptWDep::operator=(const ConceptWDep&)’ is deprecated [-Wdeprecated-copy] 74 | Body[last++] = entry; | ~~~~~~~~~~~~~^~~~~~~ In file included from CWDArray.h:28, from CGLabel.h:23, from dlCompletionTree.h:29, from dlCompletionGraph.h:27, from dlCompletionGraph.cpp:20: ConceptWithDep.h:43:2: note: because ‘ConceptWDep’ has user-provided ‘ConceptWDep::ConceptWDep(const ConceptWDep&)’ 43 | ConceptWDep ( const ConceptWDep& c ) : Concept(c.Concept), depSet(c.depSet) {} | ^~~~~~~~~~~ g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/Relevance.o Relevance.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/BuildDAG.o BuildDAG.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/DataReasoning.o DataReasoning.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/SortedReasoning.o SortedReasoning.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/CWDArray.o CWDArray.cpp CWDArray.cpp: In member function ‘virtual void UnMerge::restore()’: CWDArray.cpp:40:31: warning: implicitly-declared ‘ConceptWDep& ConceptWDep::operator=(const ConceptWDep&)’ is deprecated [-Wdeprecated-copy] 40 | *p = ConceptWDep(p->bp(),dep); | ^ In file included from CWDArray.h:28, from CWDArray.cpp:20: ConceptWithDep.h:43:2: note: because ‘ConceptWDep’ has user-provided ‘ConceptWDep::ConceptWDep(const ConceptWDep&)’ 43 | ConceptWDep ( const ConceptWDep& c ) : Concept(c.Concept), depSet(c.depSet) {} | ^~~~~~~~~~~ CWDArray.cpp: In member function ‘void CWDArray::restore(const CWDArray::SaveState&, unsigned int)’: CWDArray.cpp:76:37: warning: implicitly-declared ‘ConceptWDep& ConceptWDep::operator=(const ConceptWDep&)’ is deprecated [-Wdeprecated-copy] 76 | Base[j] = ConceptWDep(1,DepSet()); | ^ In file included from CWDArray.h:28, from CWDArray.cpp:20: ConceptWithDep.h:43:2: note: because ‘ConceptWDep’ has user-provided ‘ConceptWDep::ConceptWDep(const ConceptWDep&)’ 43 | ConceptWDep ( const ConceptWDep& c ) : Concept(c.Concept), depSet(c.depSet) {} | ^~~~~~~~~~~ In file included from CWDArray.h:27, from CWDArray.cpp:20: growingArray.h: In instantiation of ‘void growingArray::add(const C&) [with C = ConceptWDep]’: CWDArray.h:101:48: required from here growingArray.h:74:16: warning: implicitly-declared ‘ConceptWDep& ConceptWDep::operator=(const ConceptWDep&)’ is deprecated [-Wdeprecated-copy] 74 | Body[last++] = entry; | ~~~~~~~~~~~~~^~~~~~~ In file included from CWDArray.h:28, from CWDArray.cpp:20: ConceptWithDep.h:43:2: note: because ‘ConceptWDep’ has user-provided ‘ConceptWDep::ConceptWDep(const ConceptWDep&)’ 43 | ConceptWDep ( const ConceptWDep& c ) : Concept(c.Concept), depSet(c.depSet) {} | ^~~~~~~~~~~ g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/RAutomaton.o RAutomaton.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/tAxiomSet.o tAxiomSet.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/tAxiom.o tAxiom.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/DataTypeCenter.o DataTypeCenter.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/Preprocess.o Preprocess.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/Input.o Input.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/SaveLoad.o SaveLoad.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/ReasonerNom.o ReasonerNom.cpp In file included from ReasonerNom.h:23, from SaveLoad.cpp:25: Reasoner.h: In member function ‘void DlSatTester::initBC()’: Reasoner.h:636:26: warning: implicitly-declared ‘ConceptWDep& ConceptWDep::operator=(const ConceptWDep&)’ is deprecated [-Wdeprecated-copy] 636 | bContext->curConcept = curConcept; | ^~~~~~~~~~ In file included from dlDag.h:32, from dlTBox.h:33, from Kernel.h:27, from SaveLoad.cpp:24: ConceptWithDep.h:43:2: note: because ‘ConceptWDep’ has user-provided ‘ConceptWDep::ConceptWDep(const ConceptWDep&)’ 43 | ConceptWDep ( const ConceptWDep& c ) : Concept(c.Concept), depSet(c.depSet) {} | ^~~~~~~~~~~ SaveLoad.cpp: In member function ‘void Taxonomy::Save(SaveLoadManager&, const std::set&) const’: SaveLoad.cpp:804:76: warning: unused parameter ‘excluded’ [-Wunused-parameter] 804 | Taxonomy :: Save ( SaveLoadManager& m, const std::set& excluded ) const | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~ In file included from tFastSet.h:23, from RAutomaton.h:27, from tRole.h:31, from RoleMaster.h:26, from dlTBox.h:31, from Kernel.h:27, from SaveLoad.cpp:24: growingArray.h: In instantiation of ‘void growingArray::add(const C&) [with C = ConceptWDep]’: CWDArray.h:101:48: required from here growingArray.h:74:16: warning: implicitly-declared ‘ConceptWDep& ConceptWDep::operator=(const ConceptWDep&)’ is deprecated [-Wdeprecated-copy] 74 | Body[last++] = entry; | ~~~~~~~~~~~~~^~~~~~~ In file included from dlDag.h:32, from dlTBox.h:33, from Kernel.h:27, from SaveLoad.cpp:24: ConceptWithDep.h:43:2: note: because ‘ConceptWDep’ has user-provided ‘ConceptWDep::ConceptWDep(const ConceptWDep&)’ 43 | ConceptWDep ( const ConceptWDep& c ) : Concept(c.Concept), depSet(c.depSet) {} | ^~~~~~~~~~~ In file included from ReasonerNom.h:23, from ReasonerNom.cpp:20: Reasoner.h: In member function ‘void DlSatTester::initBC()’: Reasoner.h:636:26: warning: implicitly-declared ‘ConceptWDep& ConceptWDep::operator=(const ConceptWDep&)’ is deprecated [-Wdeprecated-copy] 636 | bContext->curConcept = curConcept; | ^~~~~~~~~~ In file included from CWDArray.h:28, from CGLabel.h:23, from dlCompletionTree.h:29, from tBranchingContext.h:23, from Reasoner.h:24, from ReasonerNom.h:23, from ReasonerNom.cpp:20: ConceptWithDep.h:43:2: note: because ‘ConceptWDep’ has user-provided ‘ConceptWDep::ConceptWDep(const ConceptWDep&)’ 43 | ConceptWDep ( const ConceptWDep& c ) : Concept(c.Concept), depSet(c.depSet) {} | ^~~~~~~~~~~ In file included from tFastSet.h:23, from RAutomaton.h:27, from tRole.h:31, from dlCompletionTreeArc.h:26, from dlCompletionTree.h:26, from tBranchingContext.h:23, from Reasoner.h:24, from ReasonerNom.h:23, from ReasonerNom.cpp:20: growingArray.h: In instantiation of ‘void growingArray::add(const C&) [with C = ConceptWDep]’: CWDArray.h:101:48: required from here growingArray.h:74:16: warning: implicitly-declared ‘ConceptWDep& ConceptWDep::operator=(const ConceptWDep&)’ is deprecated [-Wdeprecated-copy] 74 | Body[last++] = entry; | ~~~~~~~~~~~~~^~~~~~~ In file included from CWDArray.h:28, from CGLabel.h:23, from dlCompletionTree.h:29, from tBranchingContext.h:23, from Reasoner.h:24, from ReasonerNom.h:23, from ReasonerNom.cpp:20: ConceptWithDep.h:43:2: note: because ‘ConceptWDep’ has user-provided ‘ConceptWDep::ConceptWDep(const ConceptWDep&)’ 43 | ConceptWDep ( const ConceptWDep& c ) : Concept(c.Concept), depSet(c.depSet) {} | ^~~~~~~~~~~ g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/tExpressionManager.o tExpressionManager.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/CascadedCache.o CascadedCache.cpp In file included from CascadedCache.cpp:20: Reasoner.h: In member function ‘void DlSatTester::initBC()’: Reasoner.h:636:26: warning: implicitly-declared ‘ConceptWDep& ConceptWDep::operator=(const ConceptWDep&)’ is deprecated [-Wdeprecated-copy] 636 | bContext->curConcept = curConcept; | ^~~~~~~~~~ In file included from CWDArray.h:28, from CGLabel.h:23, from dlCompletionTree.h:29, from tBranchingContext.h:23, from Reasoner.h:24, from CascadedCache.cpp:20: ConceptWithDep.h:43:2: note: because ‘ConceptWDep’ has user-provided ‘ConceptWDep::ConceptWDep(const ConceptWDep&)’ 43 | ConceptWDep ( const ConceptWDep& c ) : Concept(c.Concept), depSet(c.depSet) {} | ^~~~~~~~~~~ In file included from tFastSet.h:23, from RAutomaton.h:27, from tRole.h:31, from dlCompletionTreeArc.h:26, from dlCompletionTree.h:26, from tBranchingContext.h:23, from Reasoner.h:24, from CascadedCache.cpp:20: growingArray.h: In instantiation of ‘void growingArray::add(const C&) [with C = ConceptWDep]’: CWDArray.h:101:48: required from here growingArray.h:74:16: warning: implicitly-declared ‘ConceptWDep& ConceptWDep::operator=(const ConceptWDep&)’ is deprecated [-Wdeprecated-copy] 74 | Body[last++] = entry; | ~~~~~~~~~~~~~^~~~~~~ In file included from CWDArray.h:28, from CGLabel.h:23, from dlCompletionTree.h:29, from tBranchingContext.h:23, from Reasoner.h:24, from CascadedCache.cpp:20: ConceptWithDep.h:43:2: note: because ‘ConceptWDep’ has user-provided ‘ConceptWDep::ConceptWDep(const ConceptWDep&)’ 43 | ConceptWDep ( const ConceptWDep& c ) : Concept(c.Concept), depSet(c.depSet) {} | ^~~~~~~~~~~ g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/Actor.o Actor.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/tDag2Interface.o tDag2Interface.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/tDLAxiom.o tDLAxiom.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/AtomicDecomposer.o AtomicDecomposer.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/KnowledgeExplorer.o KnowledgeExplorer.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/TaxonomyCreator.o TaxonomyCreator.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/Incremental.o Incremental.cpp In file included from tFastSet.h:23, from RAutomaton.h:27, from tRole.h:31, from dlVHash.h:26, from dlDag.h:29, from tDag2Interface.h:25, from KnowledgeExplorer.h:24, from KnowledgeExplorer.cpp:20: growingArray.h: In instantiation of ‘void growingArray::add(const C&) [with C = ConceptWDep]’: CWDArray.h:101:48: required from here growingArray.h:74:16: warning: implicitly-declared ‘ConceptWDep& ConceptWDep::operator=(const ConceptWDep&)’ is deprecated [-Wdeprecated-copy] 74 | Body[last++] = entry; | ~~~~~~~~~~~~~^~~~~~~ In file included from dlDag.h:32, from tDag2Interface.h:25, from KnowledgeExplorer.h:24, from KnowledgeExplorer.cpp:20: ConceptWithDep.h:43:2: note: because ‘ConceptWDep’ has user-provided ‘ConceptWDep::ConceptWDep(const ConceptWDep&)’ 43 | ConceptWDep ( const ConceptWDep& c ) : Concept(c.Concept), depSet(c.depSet) {} | ^~~~~~~~~~~ g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/ExtendedDataRange.o ExtendedDataRange.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/SaveLoadManager.o SaveLoadManager.cpp In file included from tFastSet.h:23, from RAutomaton.h:27, from tRole.h:31, from RoleMaster.h:26, from dlTBox.h:31, from Kernel.h:27, from ExtendedDataRange.cpp:22: growingArray.h: In instantiation of ‘void growingArray::add(const C&) [with C = ConceptWDep]’: CWDArray.h:101:48: required from here growingArray.h:74:16: warning: implicitly-declared ‘ConceptWDep& ConceptWDep::operator=(const ConceptWDep&)’ is deprecated [-Wdeprecated-copy] 74 | Body[last++] = entry; | ~~~~~~~~~~~~~^~~~~~~ In file included from dlDag.h:32, from dlTBox.h:33, from Kernel.h:27, from ExtendedDataRange.cpp:22: ConceptWithDep.h:43:2: note: because ‘ConceptWDep’ has user-provided ‘ConceptWDep::ConceptWDep(const ConceptWDep&)’ 43 | ConceptWDep ( const ConceptWDep& c ) : Concept(c.Concept), depSet(c.depSet) {} | ^~~~~~~~~~~ g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/dir_util.o dir_util.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/LocalityChecker.o LocalityChecker.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/Actor.o obj/tDag2Interface.o obj/tDLAxiom.o obj/AtomicDecomposer.o obj/KnowledgeExplorer.o obj/TaxonomyCreator.o obj/Incremental.o obj/ExtendedDataRange.o obj/SaveLoadManager.o obj/dir_util.o obj/LocalityChecker.o ranlib obj/libKernel.a rm -f libKernel.a && ln -s obj/libKernel.a . make[2]: Leaving directory '/build/fact++-NIxEjA/fact++-1.6.5-dfsg/Kernel' dh_auto_build -- -C FaCT++ OS=LINUX DEFINES="-Wdate-time -D_FORTIFY_SOURCE=2" make -j4 "INSTALL=install --strip-program=true" -C FaCT\+\+ OS=LINUX "DEFINES=-Wdate-time -D_FORTIFY_SOURCE=2" make[2]: Entering directory '/build/fact++-NIxEjA/fact++-1.6.5-dfsg/FaCT++' rm -f .deps touch .deps for file in scanner.cpp parser.cpp AD.cpp FaCT.cpp; do \ g++ -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -I../Kernel -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -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 mkdir -p obj g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -I../Kernel -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/scanner.o scanner.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -I../Kernel -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/parser.o parser.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -I../Kernel -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/AD.o AD.cpp g++ -c -g -O2 -fdebug-prefix-map=/build/fact++-NIxEjA/fact++-1.6.5-dfsg=. -fstack-protector-strong -Wformat -Werror=format-security -I../Kernel -Wdate-time -D_FORTIFY_SOURCE=2 -ffast-math -W -Wall -Wextra -O3 -fomit-frame-pointer -fPIC -o obj/FaCT.o FaCT.cpp parser.cpp: In member function ‘DLLispParser::TConceptExpr* DLLispParser::getComplexConceptExpression()’: parser.cpp:422:11: warning: this statement may fall through [-Wimplicit-fallthrough=] 422 | NextLex (); | ~~~~~~~~^~ parser.cpp:424:2: note: here 424 | case L_FORALL: | ^~~~ g++ obj/scanner.o obj/parser.o obj/AD.o obj/FaCT.o -L../Kernel -lKernel -Wl,-z,relro -s -o obj/FaCT++ rm -f FaCT++ && ln -s obj/FaCT++ FaCT++ make[2]: Leaving directory '/build/fact++-NIxEjA/fact++-1.6.5-dfsg/FaCT++' make[1]: Leaving directory '/build/fact++-NIxEjA/fact++-1.6.5-dfsg' dh_auto_test -a create-stamp debian/debhelper-build-stamp dh_testroot -a dh_prep -a dh_auto_install -a dh_install -a dh_installdocs -a dh_installchangelogs -a dh_installexamples -a dh_perl -a dh_link -a dh_strip_nondeterminism -a dh_compress -a dh_fixperms -a dh_missing -a dh_dwz -a -a dwz: debian/fact++/usr/bin/FaCT++: .debug_info section not present dh_strip -a -a dh_makeshlibs -a -a dh_shlibdeps -a -a dh_installdeb -a dh_gencontrol -a dh_md5sums -a dh_builddeb -a dpkg-deb: building package 'fact++' in '../fact++_1.6.5~dfsg-3_amd64.deb'. dpkg-genbuildinfo --build=any dpkg-genchanges --build=any >../fact++_1.6.5~dfsg-3_amd64.changes dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) I: running special hook: sync-out /build/fact++-NIxEjA /tmp/fact++-1.6.5~dfsg-3idu1w9h6 I: cleaning package lists and apt cache... I: creating tarball... I: done I: removing tempdir /tmp/mmdebstrap.kDDk1JP0F_... I: success in 922.4443 seconds md5: fact++_1.6.5~dfsg-3_amd64.deb: OK sha1: fact++_1.6.5~dfsg-3_amd64.deb: OK sha256: fact++_1.6.5~dfsg-3_amd64.deb: OK Checksums: OK