Using container recipe deffile: /input/Singularity Sanitizing environment Adding base Singularity environment to container Docker image path: index.docker.io/library/ubuntu:bionic Cache folder set to /root/.singularity/docker [1/5] ||----------------------------------| 0.0% [1/5] |=======|---------------------------| 20.0% [2/5] |==============|--------------------| 40.0% [3/5] |=====================|-------------| 60.0% [4/5] |============================|------| 80.0% [5/5] |===================================| 100.0% Exploding layer: sha256:a48c500ed24e62926cb079df35f964c57d8bb08159b1d29c6a3b0a58dc365dc1.tar.gz Exploding layer: sha256:1e1de00ff7e1fea0858b6a4b5ca208eeca970607ea9a6eb5fc972494e7a0cdde.tar.gz Exploding layer: sha256:0330ca45a200e1fcef05ae97f434366d262a1c50b3dc053e7928b58dd37211dd.tar.gz Exploding layer: sha256:471db38bcfbf0f5bac78012b9d458dfd37309d5cbb99d4e95310321a60a0cfdf.tar.gz Exploding layer: sha256:0b4aba487617ca27519745ae722b8ea1917474c495b91b3c4887728a3f2ee7db.tar.gz Exploding layer: sha256:f6be9f4f6905406c1e7fd6031ee3104d25ad6a31d10d5e9192e7abf7a21e519a.tar.gz User defined %runscript found! Taking priority. Running post scriptlet Get:1 http://security.ubuntu.com/ubuntu bionic-security InRelease [83.2 kB] Get:2 http://archive.ubuntu.com/ubuntu bionic InRelease [242 kB] Get:3 http://archive.ubuntu.com/ubuntu bionic-updates InRelease [83.2 kB] Get:4 http://security.ubuntu.com/ubuntu bionic-security/universe Sources [4494 B] Get:5 http://archive.ubuntu.com/ubuntu bionic-backports InRelease [65.5 kB] Get:6 http://security.ubuntu.com/ubuntu bionic-security/main amd64 Packages [90.3 kB] Get:7 http://security.ubuntu.com/ubuntu bionic-security/universe amd64 Packages [22.7 kB] Get:8 http://security.ubuntu.com/ubuntu bionic-security/multiverse amd64 Packages [1066 B] Get:9 http://archive.ubuntu.com/ubuntu bionic/universe Sources [11.5 MB] Get:10 http://archive.ubuntu.com/ubuntu bionic/universe amd64 Packages [11.3 MB] Get:11 http://archive.ubuntu.com/ubuntu bionic/multiverse amd64 Packages [186 kB] Get:12 http://archive.ubuntu.com/ubuntu bionic-updates/universe Sources [29.4 kB] Get:13 http://archive.ubuntu.com/ubuntu bionic-updates/main amd64 Packages [129 kB] Get:14 http://archive.ubuntu.com/ubuntu bionic-updates/universe amd64 Packages [83.2 kB] Get:15 http://archive.ubuntu.com/ubuntu bionic-updates/multiverse amd64 Packages [1660 B] Fetched 23.9 MB in 4s (5643 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: autotools-dev binutils binutils-common binutils-x86-64-linux-gnu ca-certificates cmake-data cpp cpp-7 file g++-7 g++-7-multilib gcc gcc-7 gcc-7-base gcc-7-multilib gcc-multilib krb5-locales lib32asan4 lib32atomic1 lib32cilkrts5 lib32gcc-7-dev lib32gcc1 lib32gomp1 lib32itm1 lib32mpx2 lib32quadmath0 lib32stdc++-7-dev lib32stdc++6 lib32ubsan0 libarchive13 libasan4 libasn1-8-heimdal libatomic1 libbdd0c2 libbinutils libbison-dev libbsd0 libc-dev-bin libc6-dev libc6-dev-i386 libc6-dev-x32 libc6-i386 libc6-x32 libcc1-0 libcilkrts5 libcurl4 libedit2 libexpat1 libfl-dev libfl2 libgcc-7-dev libgdbm-compat4 libgdbm5 libgomp1 libgssapi-krb5-2 libgssapi3-heimdal libhcrypto4-heimdal libheimbase1-heimdal libheimntlm0-heimdal libhx509-5-heimdal libicu60 libisl19 libitm1 libjsoncpp1 libk5crypto3 libkeyutils1 libkrb5-26-heimdal libkrb5-3 libkrb5support0 libldap-2.4-2 libldap-common liblsan0 libltdl-dev libltdl7 liblzo2-2 libmagic-mgc libmagic1 libmpc3 libmpfr6 libmpx2 libnghttp2-14 libperl5.26 libpsl5 libpython-stdlib libpython2.7-minimal libpython2.7-stdlib libquadmath0 libreadline7 librhash0 libroken18-heimdal librtmp1 libsasl2-2 libsasl2-modules libsasl2-modules-db libsigsegv2 libsqlite3-0 libssl1.0.0 libssl1.1 libstdc++-7-dev libtsan0 libubsan0 libuv1 libwind0-heimdal libx11-6 libx11-data libx32asan4 libx32atomic1 libx32cilkrts5 libx32gcc-7-dev libx32gcc1 libx32gomp1 libx32itm1 libx32quadmath0 libx32stdc++-7-dev libx32stdc++6 libx32ubsan0 libxau6 libxcb1 libxdmcp6 libxext6 libxml2 libxmuu1 linux-libc-dev m4 manpages manpages-dev mercurial-common mime-support multiarch-support netbase openssh-client openssl perl perl-modules-5.26 publicsuffix python-minimal python2.7 python2.7-minimal readline-common ucf xauth xz-utils Suggested packages: autoconf-archive gnu-standards autoconf-doc gettext binutils-doc bison-doc cmake-doc ninja-build cpp-doc gcc-7-locales build-essential flex-doc gcc-7-doc libstdc++6-7-dbg lib32stdc++6-7-dbg libx32stdc++6-7-dbg gdb gcc-doc libgcc1-dbg libgomp1-dbg libitm1-dbg libatomic1-dbg libasan4-dbg liblsan0-dbg libtsan0-dbg libubsan0-dbg libcilkrts5-dbg libmpx2-dbg libquadmath0-dbg lrzip glibc-doc gdbm-l10n krb5-doc krb5-user libtool-doc libsasl2-modules-gssapi-mit | libsasl2-modules-gssapi-heimdal libsasl2-modules-ldap libsasl2-modules-otp libsasl2-modules-sql libstdc++-7-doc gfortran | fortran95-compiler gcj-jdk m4-doc make-doc man-browser kdiff3 | kdiff3-qt | kompare | meld | tkcvs | mgdiff qct python-mysqldb python-openssl python-pygments wish keychain libpam-ssh monkeysphere ssh-askpass perl-doc libterm-readline-gnu-perl | libterm-readline-perl-perl python-doc python-tk python2.7-doc binfmt-support readline-doc The following NEW packages will be installed: autoconf automake autotools-dev binutils binutils-common binutils-x86-64-linux-gnu bison ca-certificates cmake cmake-data cpp cpp-7 file flex g++ g++-7 g++-7-multilib g++-multilib gcc gcc-7 gcc-7-base gcc-7-multilib gcc-multilib krb5-locales lib32asan4 lib32atomic1 lib32cilkrts5 lib32gcc-7-dev lib32gcc1 lib32gomp1 lib32itm1 lib32mpx2 lib32quadmath0 lib32stdc++-7-dev lib32stdc++6 lib32ubsan0 libarchive13 libasan4 libasn1-8-heimdal libatomic1 libbdd-dev libbdd0c2 libbinutils libbison-dev libbsd0 libc-dev-bin libc6-dev libc6-dev-i386 libc6-dev-x32 libc6-i386 libc6-x32 libcc1-0 libcilkrts5 libcurl4 libedit2 libexpat1 libfl-dev libfl2 libgcc-7-dev libgdbm-compat4 libgdbm5 libgomp1 libgssapi-krb5-2 libgssapi3-heimdal libhcrypto4-heimdal libheimbase1-heimdal libheimntlm0-heimdal libhx509-5-heimdal libicu60 libisl19 libitm1 libjsoncpp1 libk5crypto3 libkeyutils1 libkrb5-26-heimdal libkrb5-3 libkrb5support0 libldap-2.4-2 libldap-common liblsan0 libltdl-dev libltdl7 liblzo2-2 libmagic-mgc libmagic1 libmpc3 libmpfr6 libmpx2 libnghttp2-14 libperl5.26 libpsl5 libpython-stdlib libpython2.7-minimal libpython2.7-stdlib libquadmath0 libreadline7 librhash0 libroken18-heimdal librtmp1 libsasl2-2 libsasl2-modules libsasl2-modules-db libsigsegv2 libsqlite3-0 libssl1.0.0 libssl1.1 libstdc++-7-dev libtool libtsan0 libubsan0 libuv1 libwind0-heimdal libx11-6 libx11-data libx32asan4 libx32atomic1 libx32cilkrts5 libx32gcc-7-dev libx32gcc1 libx32gomp1 libx32itm1 libx32quadmath0 libx32stdc++-7-dev libx32stdc++6 libx32ubsan0 libxau6 libxcb1 libxdmcp6 libxext6 libxml2 libxmuu1 linux-libc-dev m4 make manpages manpages-dev mercurial mercurial-common mime-support multiarch-support netbase openssh-client openssl perl perl-modules-5.26 publicsuffix python python-minimal python2.7 python2.7-minimal readline-common ucf xauth xz-utils 0 upgraded, 154 newly installed, 0 to remove and 11 not upgraded. Need to get 92.1 MB of archives. After this operation, 423 MB of additional disk space will be used. Get:1 http://archive.ubuntu.com/ubuntu bionic/main amd64 multiarch-support amd64 2.27-3ubuntu1 [6916 B] Get:2 http://archive.ubuntu.com/ubuntu bionic/main amd64 libxau6 amd64 1:1.0.8-1 [8376 B] Get:3 http://archive.ubuntu.com/ubuntu bionic/main amd64 libbsd0 amd64 0.8.7-1 [41.5 kB] Get:4 http://archive.ubuntu.com/ubuntu bionic/main amd64 libxdmcp6 amd64 1:1.1.2-3 [10.7 kB] Get:5 http://archive.ubuntu.com/ubuntu bionic/main amd64 libxcb1 amd64 1.13-1 [45.6 kB] Get:6 http://archive.ubuntu.com/ubuntu bionic/main amd64 libx11-data all 2:1.6.4-3 [114 kB] Get:7 http://archive.ubuntu.com/ubuntu bionic/main amd64 libx11-6 amd64 2:1.6.4-3 [572 kB] Get:8 http://archive.ubuntu.com/ubuntu bionic/main amd64 libxext6 amd64 2:1.3.3-1 [29.4 kB] Get:9 http://archive.ubuntu.com/ubuntu bionic/main amd64 libsigsegv2 amd64 2.12-1 [14.7 kB] Get:10 http://archive.ubuntu.com/ubuntu bionic/main amd64 m4 amd64 1.4.18-1 [197 kB] Get:11 http://archive.ubuntu.com/ubuntu bionic/main amd64 flex amd64 2.6.4-6 [316 kB] Get:12 http://archive.ubuntu.com/ubuntu bionic/main amd64 liblzo2-2 amd64 2.08-1.2 [48.7 kB] Get:13 http://archive.ubuntu.com/ubuntu bionic/main amd64 perl-modules-5.26 all 5.26.1-6 [2760 kB] Get:14 http://archive.ubuntu.com/ubuntu bionic/main amd64 libgdbm5 amd64 1.14.1-6 [26.0 kB] Get:15 http://archive.ubuntu.com/ubuntu bionic/main amd64 libgdbm-compat4 amd64 1.14.1-6 [6084 B] Get:16 http://archive.ubuntu.com/ubuntu bionic/main amd64 libperl5.26 amd64 5.26.1-6 [3532 kB] Get:17 http://archive.ubuntu.com/ubuntu bionic/main amd64 perl amd64 5.26.1-6 [201 kB] Get:18 http://archive.ubuntu.com/ubuntu bionic/main amd64 libpython2.7-minimal amd64 2.7.15~rc1-1 [334 kB] Get:19 http://archive.ubuntu.com/ubuntu bionic/main amd64 python2.7-minimal amd64 2.7.15~rc1-1 [1292 kB] Get:20 http://archive.ubuntu.com/ubuntu bionic/main amd64 python-minimal amd64 2.7.15~rc1-1 [28.1 kB] Get:21 http://archive.ubuntu.com/ubuntu bionic/main amd64 mime-support all 3.60ubuntu1 [30.1 kB] Get:22 http://archive.ubuntu.com/ubuntu bionic/main amd64 libexpat1 amd64 2.2.5-3 [80.2 kB] Get:23 http://archive.ubuntu.com/ubuntu bionic/main amd64 readline-common all 7.0-3 [52.9 kB] Get:24 http://archive.ubuntu.com/ubuntu bionic/main amd64 libreadline7 amd64 7.0-3 [124 kB] Get:25 http://archive.ubuntu.com/ubuntu bionic/main amd64 libsqlite3-0 amd64 3.22.0-1 [496 kB] Get:26 http://archive.ubuntu.com/ubuntu bionic/main amd64 libssl1.1 amd64 1.1.0g-2ubuntu4 [1128 kB] Get:27 http://archive.ubuntu.com/ubuntu bionic/main amd64 libpython2.7-stdlib amd64 2.7.15~rc1-1 [1910 kB] Get:28 http://archive.ubuntu.com/ubuntu bionic/main amd64 python2.7 amd64 2.7.15~rc1-1 [238 kB] Get:29 http://archive.ubuntu.com/ubuntu bionic/main amd64 libpython-stdlib amd64 2.7.15~rc1-1 [7620 B] Get:30 http://archive.ubuntu.com/ubuntu bionic/main amd64 python amd64 2.7.15~rc1-1 [140 kB] Get:31 http://archive.ubuntu.com/ubuntu bionic/main amd64 openssl amd64 1.1.0g-2ubuntu4 [532 kB] Get:32 http://archive.ubuntu.com/ubuntu bionic/main amd64 ca-certificates all 20180409 [151 kB] Get:33 http://archive.ubuntu.com/ubuntu bionic/main amd64 libmagic-mgc amd64 1:5.32-2 [184 kB] Get:34 http://archive.ubuntu.com/ubuntu bionic/main amd64 libmagic1 amd64 1:5.32-2 [68.5 kB] Get:35 http://archive.ubuntu.com/ubuntu bionic/main amd64 file amd64 1:5.32-2 [22.1 kB] Get:36 http://archive.ubuntu.com/ubuntu bionic/main amd64 libicu60 amd64 60.2-3ubuntu3 [8054 kB] Get:37 http://archive.ubuntu.com/ubuntu bionic/main amd64 libxml2 amd64 2.9.4+dfsg1-6.1ubuntu1 [662 kB] Get:38 http://archive.ubuntu.com/ubuntu bionic/main amd64 netbase all 5.4 [12.7 kB] Get:39 http://archive.ubuntu.com/ubuntu bionic/main amd64 ucf all 3.0038 [50.5 kB] Get:40 http://archive.ubuntu.com/ubuntu bionic/main amd64 xz-utils amd64 5.2.2-1.3 [83.8 kB] Get:41 http://archive.ubuntu.com/ubuntu bionic/main amd64 krb5-locales all 1.16-2build1 [13.8 kB] Get:42 http://archive.ubuntu.com/ubuntu bionic/main amd64 libedit2 amd64 3.1-20170329-1 [76.9 kB] Get:43 http://archive.ubuntu.com/ubuntu bionic/main amd64 libkrb5support0 amd64 1.16-2build1 [31.1 kB] Get:44 http://archive.ubuntu.com/ubuntu bionic/main amd64 libk5crypto3 amd64 1.16-2build1 [85.6 kB] Get:45 http://archive.ubuntu.com/ubuntu bionic/main amd64 libkeyutils1 amd64 1.5.9-9.2ubuntu2 [8720 B] Get:46 http://archive.ubuntu.com/ubuntu bionic/main amd64 libkrb5-3 amd64 1.16-2build1 [279 kB] Get:47 http://archive.ubuntu.com/ubuntu bionic/main amd64 libgssapi-krb5-2 amd64 1.16-2build1 [122 kB] Get:48 http://archive.ubuntu.com/ubuntu bionic/main amd64 libpsl5 amd64 0.19.1-5build1 [41.8 kB] Get:49 http://archive.ubuntu.com/ubuntu bionic/main amd64 libssl1.0.0 amd64 1.0.2n-1ubuntu5 [1087 kB] Get:50 http://archive.ubuntu.com/ubuntu bionic/main amd64 libxmuu1 amd64 2:1.1.2-2 [9674 B] Get:51 http://archive.ubuntu.com/ubuntu bionic/main amd64 manpages all 4.15-1 [1234 kB] Get:52 http://archive.ubuntu.com/ubuntu bionic/main amd64 openssh-client amd64 1:7.6p1-4 [611 kB] Get:53 http://archive.ubuntu.com/ubuntu bionic/main amd64 publicsuffix all 20180223.1310-1 [97.6 kB] Get:54 http://archive.ubuntu.com/ubuntu bionic/main amd64 xauth amd64 1:1.0.10-1 [24.6 kB] Get:55 http://archive.ubuntu.com/ubuntu bionic/main amd64 autoconf all 2.69-11 [322 kB] Get:56 http://archive.ubuntu.com/ubuntu bionic/main amd64 autotools-dev all 20180224.1 [39.6 kB] Get:57 http://archive.ubuntu.com/ubuntu bionic/main amd64 automake all 1:1.15.1-3ubuntu2 [509 kB] Get:58 http://archive.ubuntu.com/ubuntu bionic/main amd64 binutils-common amd64 2.30-15ubuntu1 [193 kB] Get:59 http://archive.ubuntu.com/ubuntu bionic/main amd64 libbinutils amd64 2.30-15ubuntu1 [503 kB] Get:60 http://archive.ubuntu.com/ubuntu bionic/main amd64 binutils-x86-64-linux-gnu amd64 2.30-15ubuntu1 [1856 kB] Get:61 http://archive.ubuntu.com/ubuntu bionic/main amd64 binutils amd64 2.30-15ubuntu1 [3392 B] Get:62 http://archive.ubuntu.com/ubuntu bionic/main amd64 libbison-dev amd64 2:3.0.4.dfsg-1build1 [339 kB] Get:63 http://archive.ubuntu.com/ubuntu bionic/main amd64 bison amd64 2:3.0.4.dfsg-1build1 [266 kB] Get:64 http://archive.ubuntu.com/ubuntu bionic/main amd64 cmake-data all 3.10.2-1ubuntu2 [1331 kB] Get:65 http://archive.ubuntu.com/ubuntu bionic/main amd64 libarchive13 amd64 3.2.2-3.1 [289 kB] Get:66 http://archive.ubuntu.com/ubuntu bionic/main amd64 libroken18-heimdal amd64 7.5.0+dfsg-1 [41.3 kB] Get:67 http://archive.ubuntu.com/ubuntu bionic/main amd64 libasn1-8-heimdal amd64 7.5.0+dfsg-1 [175 kB] Get:68 http://archive.ubuntu.com/ubuntu bionic/main amd64 libheimbase1-heimdal amd64 7.5.0+dfsg-1 [29.3 kB] Get:69 http://archive.ubuntu.com/ubuntu bionic/main amd64 libhcrypto4-heimdal amd64 7.5.0+dfsg-1 [85.9 kB] Get:70 http://archive.ubuntu.com/ubuntu bionic/main amd64 libwind0-heimdal amd64 7.5.0+dfsg-1 [47.8 kB] Get:71 http://archive.ubuntu.com/ubuntu bionic/main amd64 libhx509-5-heimdal amd64 7.5.0+dfsg-1 [107 kB] Get:72 http://archive.ubuntu.com/ubuntu bionic/main amd64 libkrb5-26-heimdal amd64 7.5.0+dfsg-1 [206 kB] Get:73 http://archive.ubuntu.com/ubuntu bionic/main amd64 libheimntlm0-heimdal amd64 7.5.0+dfsg-1 [14.8 kB] Get:74 http://archive.ubuntu.com/ubuntu bionic/main amd64 libgssapi3-heimdal amd64 7.5.0+dfsg-1 [96.5 kB] Get:75 http://archive.ubuntu.com/ubuntu bionic/main amd64 libsasl2-modules-db amd64 2.1.27~101-g0780600+dfsg-3ubuntu2 [14.8 kB] Get:76 http://archive.ubuntu.com/ubuntu bionic/main amd64 libsasl2-2 amd64 2.1.27~101-g0780600+dfsg-3ubuntu2 [49.2 kB] Get:77 http://archive.ubuntu.com/ubuntu bionic/main amd64 libldap-common all 2.4.45+dfsg-1ubuntu1 [16.6 kB] Get:78 http://archive.ubuntu.com/ubuntu bionic/main amd64 libldap-2.4-2 amd64 2.4.45+dfsg-1ubuntu1 [155 kB] Get:79 http://archive.ubuntu.com/ubuntu bionic/main amd64 libnghttp2-14 amd64 1.30.0-1ubuntu1 [77.8 kB] Get:80 http://archive.ubuntu.com/ubuntu bionic/main amd64 librtmp1 amd64 2.4+20151223.gitfa8646d.1-1 [54.2 kB] Get:81 http://archive.ubuntu.com/ubuntu bionic-updates/main amd64 libcurl4 amd64 7.58.0-2ubuntu3.1 [214 kB] Get:82 http://archive.ubuntu.com/ubuntu bionic/main amd64 libjsoncpp1 amd64 1.7.4-3 [73.6 kB] Get:83 http://archive.ubuntu.com/ubuntu bionic/main amd64 librhash0 amd64 1.3.6-2 [78.1 kB] Get:84 http://archive.ubuntu.com/ubuntu bionic/main amd64 libuv1 amd64 1.18.0-3 [64.4 kB] Get:85 http://archive.ubuntu.com/ubuntu bionic/main amd64 cmake amd64 3.10.2-1ubuntu2 [3138 kB] Get:86 http://archive.ubuntu.com/ubuntu bionic/main amd64 gcc-7-base amd64 7.3.0-16ubuntu3 [18.8 kB] Get:87 http://archive.ubuntu.com/ubuntu bionic/main amd64 libisl19 amd64 0.19-1 [551 kB] Get:88 http://archive.ubuntu.com/ubuntu bionic/main amd64 libmpfr6 amd64 4.0.1-1 [243 kB] Get:89 http://archive.ubuntu.com/ubuntu bionic/main amd64 libmpc3 amd64 1.1.0-1 [40.8 kB] Get:90 http://archive.ubuntu.com/ubuntu bionic/main amd64 cpp-7 amd64 7.3.0-16ubuntu3 [6734 kB] Get:91 http://archive.ubuntu.com/ubuntu bionic/main amd64 cpp amd64 4:7.3.0-3ubuntu2 [27.5 kB] Get:92 http://archive.ubuntu.com/ubuntu bionic/main amd64 libcc1-0 amd64 8-20180414-1ubuntu2 [39.5 kB] Get:93 http://archive.ubuntu.com/ubuntu bionic/main amd64 libgomp1 amd64 8-20180414-1ubuntu2 [76.8 kB] Get:94 http://archive.ubuntu.com/ubuntu bionic/main amd64 libitm1 amd64 8-20180414-1ubuntu2 [28.1 kB] Get:95 http://archive.ubuntu.com/ubuntu bionic/main amd64 libatomic1 amd64 8-20180414-1ubuntu2 [9084 B] Get:96 http://archive.ubuntu.com/ubuntu bionic/main amd64 libasan4 amd64 7.3.0-16ubuntu3 [359 kB] Get:97 http://archive.ubuntu.com/ubuntu bionic/main amd64 liblsan0 amd64 8-20180414-1ubuntu2 [133 kB] Get:98 http://archive.ubuntu.com/ubuntu bionic/main amd64 libtsan0 amd64 8-20180414-1ubuntu2 [289 kB] Get:99 http://archive.ubuntu.com/ubuntu bionic/main amd64 libubsan0 amd64 7.3.0-16ubuntu3 [126 kB] Get:100 http://archive.ubuntu.com/ubuntu bionic/main amd64 libcilkrts5 amd64 7.3.0-16ubuntu3 [42.5 kB] Get:101 http://archive.ubuntu.com/ubuntu bionic/main amd64 libmpx2 amd64 8-20180414-1ubuntu2 [11.7 kB] Get:102 http://archive.ubuntu.com/ubuntu bionic/main amd64 libquadmath0 amd64 8-20180414-1ubuntu2 [134 kB] Get:103 http://archive.ubuntu.com/ubuntu bionic/main amd64 libgcc-7-dev amd64 7.3.0-16ubuntu3 [2378 kB] Get:104 http://archive.ubuntu.com/ubuntu bionic/main amd64 gcc-7 amd64 7.3.0-16ubuntu3 [7445 kB] Get:105 http://archive.ubuntu.com/ubuntu bionic/main amd64 gcc amd64 4:7.3.0-3ubuntu2 [5192 B] Get:106 http://archive.ubuntu.com/ubuntu bionic/main amd64 libc-dev-bin amd64 2.27-3ubuntu1 [71.8 kB] Get:107 http://archive.ubuntu.com/ubuntu bionic-updates/main amd64 linux-libc-dev amd64 4.15.0-22.24 [1002 kB] Get:108 http://archive.ubuntu.com/ubuntu bionic/main amd64 libc6-dev amd64 2.27-3ubuntu1 [2587 kB] Get:109 http://archive.ubuntu.com/ubuntu bionic/main amd64 libstdc++-7-dev amd64 7.3.0-16ubuntu3 [1461 kB] Get:110 http://archive.ubuntu.com/ubuntu bionic/main amd64 g++-7 amd64 7.3.0-16ubuntu3 [7566 kB] Get:111 http://archive.ubuntu.com/ubuntu bionic/main amd64 g++ amd64 4:7.3.0-3ubuntu2 [1576 B] Get:112 http://archive.ubuntu.com/ubuntu bionic/main amd64 libc6-i386 amd64 2.27-3ubuntu1 [2651 kB] Get:113 http://archive.ubuntu.com/ubuntu bionic/main amd64 libc6-dev-i386 amd64 2.27-3ubuntu1 [1815 kB] Get:114 http://archive.ubuntu.com/ubuntu bionic/main amd64 libc6-x32 amd64 2.27-3ubuntu1 [2848 kB] Get:115 http://archive.ubuntu.com/ubuntu bionic/main amd64 libc6-dev-x32 amd64 2.27-3ubuntu1 [2018 kB] Get:116 http://archive.ubuntu.com/ubuntu bionic/main amd64 lib32gcc1 amd64 1:8-20180414-1ubuntu2 [47.9 kB] Get:117 http://archive.ubuntu.com/ubuntu bionic/main amd64 libx32gcc1 amd64 1:8-20180414-1ubuntu2 [40.8 kB] Get:118 http://archive.ubuntu.com/ubuntu bionic/main amd64 lib32gomp1 amd64 8-20180414-1ubuntu2 [83.7 kB] Get:119 http://archive.ubuntu.com/ubuntu bionic/main amd64 libx32gomp1 amd64 8-20180414-1ubuntu2 [77.8 kB] Get:120 http://archive.ubuntu.com/ubuntu bionic/main amd64 lib32itm1 amd64 8-20180414-1ubuntu2 [30.1 kB] Get:121 http://archive.ubuntu.com/ubuntu bionic/main amd64 libx32itm1 amd64 8-20180414-1ubuntu2 [28.5 kB] Get:122 http://archive.ubuntu.com/ubuntu bionic/main amd64 lib32atomic1 amd64 8-20180414-1ubuntu2 [8600 B] Get:123 http://archive.ubuntu.com/ubuntu bionic/main amd64 libx32atomic1 amd64 8-20180414-1ubuntu2 [9088 B] Get:124 http://archive.ubuntu.com/ubuntu bionic/main amd64 lib32asan4 amd64 7.3.0-16ubuntu3 [361 kB] Get:125 http://archive.ubuntu.com/ubuntu bionic/main amd64 libx32asan4 amd64 7.3.0-16ubuntu3 [351 kB] Get:126 http://archive.ubuntu.com/ubuntu bionic/main amd64 lib32stdc++6 amd64 8-20180414-1ubuntu2 [414 kB] Get:127 http://archive.ubuntu.com/ubuntu bionic/main amd64 lib32ubsan0 amd64 7.3.0-16ubuntu3 [140 kB] Get:128 http://archive.ubuntu.com/ubuntu bionic/main amd64 libx32stdc++6 amd64 8-20180414-1ubuntu2 [386 kB] Get:129 http://archive.ubuntu.com/ubuntu bionic/main amd64 libx32ubsan0 amd64 7.3.0-16ubuntu3 [127 kB] Get:130 http://archive.ubuntu.com/ubuntu bionic/main amd64 lib32cilkrts5 amd64 7.3.0-16ubuntu3 [47.3 kB] Get:131 http://archive.ubuntu.com/ubuntu bionic/main amd64 libx32cilkrts5 amd64 7.3.0-16ubuntu3 [43.1 kB] Get:132 http://archive.ubuntu.com/ubuntu bionic/main amd64 lib32mpx2 amd64 8-20180414-1ubuntu2 [12.9 kB] Get:133 http://archive.ubuntu.com/ubuntu bionic/main amd64 lib32quadmath0 amd64 8-20180414-1ubuntu2 [208 kB] Get:134 http://archive.ubuntu.com/ubuntu bionic/main amd64 libx32quadmath0 amd64 8-20180414-1ubuntu2 [135 kB] Get:135 http://archive.ubuntu.com/ubuntu bionic/main amd64 lib32gcc-7-dev amd64 7.3.0-16ubuntu3 [2208 kB] Get:136 http://archive.ubuntu.com/ubuntu bionic/main amd64 libx32gcc-7-dev amd64 7.3.0-16ubuntu3 [1998 kB] Get:137 http://archive.ubuntu.com/ubuntu bionic/main amd64 gcc-7-multilib amd64 7.3.0-16ubuntu3 [1044 B] Get:138 http://archive.ubuntu.com/ubuntu bionic/main amd64 lib32stdc++-7-dev amd64 7.3.0-16ubuntu3 [627 kB] Get:139 http://archive.ubuntu.com/ubuntu bionic/main amd64 libx32stdc++-7-dev amd64 7.3.0-16ubuntu3 [581 kB] Get:140 http://archive.ubuntu.com/ubuntu bionic/main amd64 g++-7-multilib amd64 7.3.0-16ubuntu3 [1060 B] Get:141 http://archive.ubuntu.com/ubuntu bionic/main amd64 gcc-multilib amd64 4:7.3.0-3ubuntu2 [1432 B] Get:142 http://archive.ubuntu.com/ubuntu bionic/main amd64 g++-multilib amd64 4:7.3.0-3ubuntu2 [1020 B] Get:143 http://archive.ubuntu.com/ubuntu bionic/universe amd64 libbdd0c2 amd64 2.4-11 [51.5 kB] Get:144 http://archive.ubuntu.com/ubuntu bionic/universe amd64 libbdd-dev amd64 2.4-11 [454 kB] Get:145 http://archive.ubuntu.com/ubuntu bionic/main amd64 libfl2 amd64 2.6.4-6 [11.4 kB] Get:146 http://archive.ubuntu.com/ubuntu bionic/main amd64 libfl-dev amd64 2.6.4-6 [6320 B] Get:147 http://archive.ubuntu.com/ubuntu bionic/main amd64 libltdl7 amd64 2.4.6-2 [38.8 kB] Get:148 http://archive.ubuntu.com/ubuntu bionic/main amd64 libltdl-dev amd64 2.4.6-2 [162 kB] Get:149 http://archive.ubuntu.com/ubuntu bionic/main amd64 libsasl2-modules amd64 2.1.27~101-g0780600+dfsg-3ubuntu2 [48.7 kB] Get:150 http://archive.ubuntu.com/ubuntu bionic/main amd64 libtool all 2.4.6-2 [194 kB] Get:151 http://archive.ubuntu.com/ubuntu bionic/main amd64 make amd64 4.1-9.1ubuntu1 [154 kB] Get:152 http://archive.ubuntu.com/ubuntu bionic/main amd64 manpages-dev all 4.15-1 [2217 kB] Get:153 http://archive.ubuntu.com/ubuntu bionic/universe amd64 mercurial-common all 4.5.3-1ubuntu2 [2198 kB] Get:154 http://archive.ubuntu.com/ubuntu bionic/universe amd64 mercurial amd64 4.5.3-1ubuntu2 [189 kB] Fetched 92.1 MB in 3min 26s (447 kB/s) Selecting previously unselected package multiarch-support. (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 ... 4035 files and directories currently installed.) Preparing to unpack .../multiarch-support_2.27-3ubuntu1_amd64.deb ... Unpacking multiarch-support (2.27-3ubuntu1) ... Setting up multiarch-support (2.27-3ubuntu1) ... Selecting previously unselected package libxau6: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 ... 4038 files and directories currently installed.) Preparing to unpack .../00-libxau6_1%3a1.0.8-1_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.8-1) ... Selecting previously unselected package libbsd0:amd64. Preparing to unpack .../01-libbsd0_0.8.7-1_amd64.deb ... Unpacking libbsd0:amd64 (0.8.7-1) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../02-libxdmcp6_1%3a1.1.2-3_amd64.deb ... Unpacking libxdmcp6:amd64 (1:1.1.2-3) ... Selecting previously unselected package libxcb1:amd64. Preparing to unpack .../03-libxcb1_1.13-1_amd64.deb ... Unpacking libxcb1:amd64 (1.13-1) ... Selecting previously unselected package libx11-data. Preparing to unpack .../04-libx11-data_2%3a1.6.4-3_all.deb ... Unpacking libx11-data (2:1.6.4-3) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../05-libx11-6_2%3a1.6.4-3_amd64.deb ... Unpacking libx11-6:amd64 (2:1.6.4-3) ... Selecting previously unselected package libxext6:amd64. Preparing to unpack .../06-libxext6_2%3a1.3.3-1_amd64.deb ... Unpacking libxext6:amd64 (2:1.3.3-1) ... Selecting previously unselected package libsigsegv2:amd64. Preparing to unpack .../07-libsigsegv2_2.12-1_amd64.deb ... Unpacking libsigsegv2:amd64 (2.12-1) ... Selecting previously unselected package m4. Preparing to unpack .../08-m4_1.4.18-1_amd64.deb ... Unpacking m4 (1.4.18-1) ... Selecting previously unselected package flex. Preparing to unpack .../09-flex_2.6.4-6_amd64.deb ... Unpacking flex (2.6.4-6) ... Selecting previously unselected package liblzo2-2:amd64. Preparing to unpack .../10-liblzo2-2_2.08-1.2_amd64.deb ... Unpacking liblzo2-2:amd64 (2.08-1.2) ... Selecting previously unselected package perl-modules-5.26. Preparing to unpack .../11-perl-modules-5.26_5.26.1-6_all.deb ... Unpacking perl-modules-5.26 (5.26.1-6) ... Selecting previously unselected package libgdbm5:amd64. Preparing to unpack .../12-libgdbm5_1.14.1-6_amd64.deb ... Unpacking libgdbm5:amd64 (1.14.1-6) ... Selecting previously unselected package libgdbm-compat4:amd64. Preparing to unpack .../13-libgdbm-compat4_1.14.1-6_amd64.deb ... Unpacking libgdbm-compat4:amd64 (1.14.1-6) ... Selecting previously unselected package libperl5.26:amd64. Preparing to unpack .../14-libperl5.26_5.26.1-6_amd64.deb ... Unpacking libperl5.26:amd64 (5.26.1-6) ... Selecting previously unselected package perl. Preparing to unpack .../15-perl_5.26.1-6_amd64.deb ... Unpacking perl (5.26.1-6) ... Selecting previously unselected package libpython2.7-minimal:amd64. Preparing to unpack .../16-libpython2.7-minimal_2.7.15~rc1-1_amd64.deb ... Unpacking libpython2.7-minimal:amd64 (2.7.15~rc1-1) ... Selecting previously unselected package python2.7-minimal. Preparing to unpack .../17-python2.7-minimal_2.7.15~rc1-1_amd64.deb ... Unpacking python2.7-minimal (2.7.15~rc1-1) ... Selecting previously unselected package python-minimal. Preparing to unpack .../18-python-minimal_2.7.15~rc1-1_amd64.deb ... Unpacking python-minimal (2.7.15~rc1-1) ... Selecting previously unselected package mime-support. Preparing to unpack .../19-mime-support_3.60ubuntu1_all.deb ... Unpacking mime-support (3.60ubuntu1) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../20-libexpat1_2.2.5-3_amd64.deb ... Unpacking libexpat1:amd64 (2.2.5-3) ... Selecting previously unselected package readline-common. Preparing to unpack .../21-readline-common_7.0-3_all.deb ... Unpacking readline-common (7.0-3) ... Selecting previously unselected package libreadline7:amd64. Preparing to unpack .../22-libreadline7_7.0-3_amd64.deb ... Unpacking libreadline7:amd64 (7.0-3) ... Selecting previously unselected package libsqlite3-0:amd64. Preparing to unpack .../23-libsqlite3-0_3.22.0-1_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.22.0-1) ... Selecting previously unselected package libssl1.1:amd64. Preparing to unpack .../24-libssl1.1_1.1.0g-2ubuntu4_amd64.deb ... Unpacking libssl1.1:amd64 (1.1.0g-2ubuntu4) ... Selecting previously unselected package libpython2.7-stdlib:amd64. Preparing to unpack .../25-libpython2.7-stdlib_2.7.15~rc1-1_amd64.deb ... Unpacking libpython2.7-stdlib:amd64 (2.7.15~rc1-1) ... Selecting previously unselected package python2.7. Preparing to unpack .../26-python2.7_2.7.15~rc1-1_amd64.deb ... Unpacking python2.7 (2.7.15~rc1-1) ... Selecting previously unselected package libpython-stdlib:amd64. Preparing to unpack .../27-libpython-stdlib_2.7.15~rc1-1_amd64.deb ... Unpacking libpython-stdlib:amd64 (2.7.15~rc1-1) ... Setting up libpython2.7-minimal:amd64 (2.7.15~rc1-1) ... Setting up python2.7-minimal (2.7.15~rc1-1) ... Setting up python-minimal (2.7.15~rc1-1) ... Selecting previously unselected package python. (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 ... 7209 files and directories currently installed.) Preparing to unpack .../000-python_2.7.15~rc1-1_amd64.deb ... Unpacking python (2.7.15~rc1-1) ... Selecting previously unselected package openssl. Preparing to unpack .../001-openssl_1.1.0g-2ubuntu4_amd64.deb ... Unpacking openssl (1.1.0g-2ubuntu4) ... Selecting previously unselected package ca-certificates. Preparing to unpack .../002-ca-certificates_20180409_all.deb ... Unpacking ca-certificates (20180409) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../003-libmagic-mgc_1%3a5.32-2_amd64.deb ... Unpacking libmagic-mgc (1:5.32-2) ... Selecting previously unselected package libmagic1:amd64. Preparing to unpack .../004-libmagic1_1%3a5.32-2_amd64.deb ... Unpacking libmagic1:amd64 (1:5.32-2) ... Selecting previously unselected package file. Preparing to unpack .../005-file_1%3a5.32-2_amd64.deb ... Unpacking file (1:5.32-2) ... Selecting previously unselected package libicu60:amd64. Preparing to unpack .../006-libicu60_60.2-3ubuntu3_amd64.deb ... Unpacking libicu60:amd64 (60.2-3ubuntu3) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../007-libxml2_2.9.4+dfsg1-6.1ubuntu1_amd64.deb ... Unpacking libxml2:amd64 (2.9.4+dfsg1-6.1ubuntu1) ... Selecting previously unselected package netbase. Preparing to unpack .../008-netbase_5.4_all.deb ... Unpacking netbase (5.4) ... Selecting previously unselected package ucf. Preparing to unpack .../009-ucf_3.0038_all.deb ... Moving old data out of the way Unpacking ucf (3.0038) ... Selecting previously unselected package xz-utils. Preparing to unpack .../010-xz-utils_5.2.2-1.3_amd64.deb ... Unpacking xz-utils (5.2.2-1.3) ... Selecting previously unselected package krb5-locales. Preparing to unpack .../011-krb5-locales_1.16-2build1_all.deb ... Unpacking krb5-locales (1.16-2build1) ... Selecting previously unselected package libedit2:amd64. Preparing to unpack .../012-libedit2_3.1-20170329-1_amd64.deb ... Unpacking libedit2:amd64 (3.1-20170329-1) ... Selecting previously unselected package libkrb5support0:amd64. Preparing to unpack .../013-libkrb5support0_1.16-2build1_amd64.deb ... Unpacking libkrb5support0:amd64 (1.16-2build1) ... Selecting previously unselected package libk5crypto3:amd64. Preparing to unpack .../014-libk5crypto3_1.16-2build1_amd64.deb ... Unpacking libk5crypto3:amd64 (1.16-2build1) ... Selecting previously unselected package libkeyutils1:amd64. Preparing to unpack .../015-libkeyutils1_1.5.9-9.2ubuntu2_amd64.deb ... Unpacking libkeyutils1:amd64 (1.5.9-9.2ubuntu2) ... Selecting previously unselected package libkrb5-3:amd64. Preparing to unpack .../016-libkrb5-3_1.16-2build1_amd64.deb ... Unpacking libkrb5-3:amd64 (1.16-2build1) ... Selecting previously unselected package libgssapi-krb5-2:amd64. Preparing to unpack .../017-libgssapi-krb5-2_1.16-2build1_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.16-2build1) ... Selecting previously unselected package libpsl5:amd64. Preparing to unpack .../018-libpsl5_0.19.1-5build1_amd64.deb ... Unpacking libpsl5:amd64 (0.19.1-5build1) ... Selecting previously unselected package libssl1.0.0:amd64. Preparing to unpack .../019-libssl1.0.0_1.0.2n-1ubuntu5_amd64.deb ... Unpacking libssl1.0.0:amd64 (1.0.2n-1ubuntu5) ... Selecting previously unselected package libxmuu1:amd64. Preparing to unpack .../020-libxmuu1_2%3a1.1.2-2_amd64.deb ... Unpacking libxmuu1:amd64 (2:1.1.2-2) ... Selecting previously unselected package manpages. Preparing to unpack .../021-manpages_4.15-1_all.deb ... Unpacking manpages (4.15-1) ... Selecting previously unselected package openssh-client. Preparing to unpack .../022-openssh-client_1%3a7.6p1-4_amd64.deb ... Unpacking openssh-client (1:7.6p1-4) ... Selecting previously unselected package publicsuffix. Preparing to unpack .../023-publicsuffix_20180223.1310-1_all.deb ... Unpacking publicsuffix (20180223.1310-1) ... Selecting previously unselected package xauth. Preparing to unpack .../024-xauth_1%3a1.0.10-1_amd64.deb ... Unpacking xauth (1:1.0.10-1) ... Selecting previously unselected package autoconf. Preparing to unpack .../025-autoconf_2.69-11_all.deb ... Unpacking autoconf (2.69-11) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../026-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../027-automake_1%3a1.15.1-3ubuntu2_all.deb ... Unpacking automake (1:1.15.1-3ubuntu2) ... Selecting previously unselected package binutils-common:amd64. Preparing to unpack .../028-binutils-common_2.30-15ubuntu1_amd64.deb ... Unpacking binutils-common:amd64 (2.30-15ubuntu1) ... Selecting previously unselected package libbinutils:amd64. Preparing to unpack .../029-libbinutils_2.30-15ubuntu1_amd64.deb ... Unpacking libbinutils:amd64 (2.30-15ubuntu1) ... Selecting previously unselected package binutils-x86-64-linux-gnu. Preparing to unpack .../030-binutils-x86-64-linux-gnu_2.30-15ubuntu1_amd64.deb ... Unpacking binutils-x86-64-linux-gnu (2.30-15ubuntu1) ... Selecting previously unselected package binutils. Preparing to unpack .../031-binutils_2.30-15ubuntu1_amd64.deb ... Unpacking binutils (2.30-15ubuntu1) ... Selecting previously unselected package libbison-dev:amd64. Preparing to unpack .../032-libbison-dev_2%3a3.0.4.dfsg-1build1_amd64.deb ... Unpacking libbison-dev:amd64 (2:3.0.4.dfsg-1build1) ... Selecting previously unselected package bison. Preparing to unpack .../033-bison_2%3a3.0.4.dfsg-1build1_amd64.deb ... Unpacking bison (2:3.0.4.dfsg-1build1) ... Selecting previously unselected package cmake-data. Preparing to unpack .../034-cmake-data_3.10.2-1ubuntu2_all.deb ... Unpacking cmake-data (3.10.2-1ubuntu2) ... Selecting previously unselected package libarchive13:amd64. Preparing to unpack .../035-libarchive13_3.2.2-3.1_amd64.deb ... Unpacking libarchive13:amd64 (3.2.2-3.1) ... Selecting previously unselected package libroken18-heimdal:amd64. Preparing to unpack .../036-libroken18-heimdal_7.5.0+dfsg-1_amd64.deb ... Unpacking libroken18-heimdal:amd64 (7.5.0+dfsg-1) ... Selecting previously unselected package libasn1-8-heimdal:amd64. Preparing to unpack .../037-libasn1-8-heimdal_7.5.0+dfsg-1_amd64.deb ... Unpacking libasn1-8-heimdal:amd64 (7.5.0+dfsg-1) ... Selecting previously unselected package libheimbase1-heimdal:amd64. Preparing to unpack .../038-libheimbase1-heimdal_7.5.0+dfsg-1_amd64.deb ... Unpacking libheimbase1-heimdal:amd64 (7.5.0+dfsg-1) ... Selecting previously unselected package libhcrypto4-heimdal:amd64. Preparing to unpack .../039-libhcrypto4-heimdal_7.5.0+dfsg-1_amd64.deb ... Unpacking libhcrypto4-heimdal:amd64 (7.5.0+dfsg-1) ... Selecting previously unselected package libwind0-heimdal:amd64. Preparing to unpack .../040-libwind0-heimdal_7.5.0+dfsg-1_amd64.deb ... Unpacking libwind0-heimdal:amd64 (7.5.0+dfsg-1) ... Selecting previously unselected package libhx509-5-heimdal:amd64. Preparing to unpack .../041-libhx509-5-heimdal_7.5.0+dfsg-1_amd64.deb ... Unpacking libhx509-5-heimdal:amd64 (7.5.0+dfsg-1) ... Selecting previously unselected package libkrb5-26-heimdal:amd64. Preparing to unpack .../042-libkrb5-26-heimdal_7.5.0+dfsg-1_amd64.deb ... Unpacking libkrb5-26-heimdal:amd64 (7.5.0+dfsg-1) ... Selecting previously unselected package libheimntlm0-heimdal:amd64. Preparing to unpack .../043-libheimntlm0-heimdal_7.5.0+dfsg-1_amd64.deb ... Unpacking libheimntlm0-heimdal:amd64 (7.5.0+dfsg-1) ... Selecting previously unselected package libgssapi3-heimdal:amd64. Preparing to unpack .../044-libgssapi3-heimdal_7.5.0+dfsg-1_amd64.deb ... Unpacking libgssapi3-heimdal:amd64 (7.5.0+dfsg-1) ... Selecting previously unselected package libsasl2-modules-db:amd64. Preparing to unpack .../045-libsasl2-modules-db_2.1.27~101-g0780600+dfsg-3ubuntu2_amd64.deb ... Unpacking libsasl2-modules-db:amd64 (2.1.27~101-g0780600+dfsg-3ubuntu2) ... Selecting previously unselected package libsasl2-2:amd64. Preparing to unpack .../046-libsasl2-2_2.1.27~101-g0780600+dfsg-3ubuntu2_amd64.deb ... Unpacking libsasl2-2:amd64 (2.1.27~101-g0780600+dfsg-3ubuntu2) ... Selecting previously unselected package libldap-common. Preparing to unpack .../047-libldap-common_2.4.45+dfsg-1ubuntu1_all.deb ... Unpacking libldap-common (2.4.45+dfsg-1ubuntu1) ... Selecting previously unselected package libldap-2.4-2:amd64. Preparing to unpack .../048-libldap-2.4-2_2.4.45+dfsg-1ubuntu1_amd64.deb ... Unpacking libldap-2.4-2:amd64 (2.4.45+dfsg-1ubuntu1) ... Selecting previously unselected package libnghttp2-14:amd64. Preparing to unpack .../049-libnghttp2-14_1.30.0-1ubuntu1_amd64.deb ... Unpacking libnghttp2-14:amd64 (1.30.0-1ubuntu1) ... Selecting previously unselected package librtmp1:amd64. Preparing to unpack .../050-librtmp1_2.4+20151223.gitfa8646d.1-1_amd64.deb ... Unpacking librtmp1:amd64 (2.4+20151223.gitfa8646d.1-1) ... Selecting previously unselected package libcurl4:amd64. Preparing to unpack .../051-libcurl4_7.58.0-2ubuntu3.1_amd64.deb ... Unpacking libcurl4:amd64 (7.58.0-2ubuntu3.1) ... Selecting previously unselected package libjsoncpp1:amd64. Preparing to unpack .../052-libjsoncpp1_1.7.4-3_amd64.deb ... Unpacking libjsoncpp1:amd64 (1.7.4-3) ... Selecting previously unselected package librhash0:amd64. Preparing to unpack .../053-librhash0_1.3.6-2_amd64.deb ... Unpacking librhash0:amd64 (1.3.6-2) ... Selecting previously unselected package libuv1:amd64. Preparing to unpack .../054-libuv1_1.18.0-3_amd64.deb ... Unpacking libuv1:amd64 (1.18.0-3) ... Selecting previously unselected package cmake. Preparing to unpack .../055-cmake_3.10.2-1ubuntu2_amd64.deb ... Unpacking cmake (3.10.2-1ubuntu2) ... Selecting previously unselected package gcc-7-base:amd64. Preparing to unpack .../056-gcc-7-base_7.3.0-16ubuntu3_amd64.deb ... Unpacking gcc-7-base:amd64 (7.3.0-16ubuntu3) ... Selecting previously unselected package libisl19:amd64. Preparing to unpack .../057-libisl19_0.19-1_amd64.deb ... Unpacking libisl19:amd64 (0.19-1) ... Selecting previously unselected package libmpfr6:amd64. Preparing to unpack .../058-libmpfr6_4.0.1-1_amd64.deb ... Unpacking libmpfr6:amd64 (4.0.1-1) ... Selecting previously unselected package libmpc3:amd64. Preparing to unpack .../059-libmpc3_1.1.0-1_amd64.deb ... Unpacking libmpc3:amd64 (1.1.0-1) ... Selecting previously unselected package cpp-7. Preparing to unpack .../060-cpp-7_7.3.0-16ubuntu3_amd64.deb ... Unpacking cpp-7 (7.3.0-16ubuntu3) ... Selecting previously unselected package cpp. Preparing to unpack .../061-cpp_4%3a7.3.0-3ubuntu2_amd64.deb ... Unpacking cpp (4:7.3.0-3ubuntu2) ... Selecting previously unselected package libcc1-0:amd64. Preparing to unpack .../062-libcc1-0_8-20180414-1ubuntu2_amd64.deb ... Unpacking libcc1-0:amd64 (8-20180414-1ubuntu2) ... Selecting previously unselected package libgomp1:amd64. Preparing to unpack .../063-libgomp1_8-20180414-1ubuntu2_amd64.deb ... Unpacking libgomp1:amd64 (8-20180414-1ubuntu2) ... Selecting previously unselected package libitm1:amd64. Preparing to unpack .../064-libitm1_8-20180414-1ubuntu2_amd64.deb ... Unpacking libitm1:amd64 (8-20180414-1ubuntu2) ... Selecting previously unselected package libatomic1:amd64. Preparing to unpack .../065-libatomic1_8-20180414-1ubuntu2_amd64.deb ... Unpacking libatomic1:amd64 (8-20180414-1ubuntu2) ... Selecting previously unselected package libasan4:amd64. Preparing to unpack .../066-libasan4_7.3.0-16ubuntu3_amd64.deb ... Unpacking libasan4:amd64 (7.3.0-16ubuntu3) ... Selecting previously unselected package liblsan0:amd64. Preparing to unpack .../067-liblsan0_8-20180414-1ubuntu2_amd64.deb ... Unpacking liblsan0:amd64 (8-20180414-1ubuntu2) ... Selecting previously unselected package libtsan0:amd64. Preparing to unpack .../068-libtsan0_8-20180414-1ubuntu2_amd64.deb ... Unpacking libtsan0:amd64 (8-20180414-1ubuntu2) ... Selecting previously unselected package libubsan0:amd64. Preparing to unpack .../069-libubsan0_7.3.0-16ubuntu3_amd64.deb ... Unpacking libubsan0:amd64 (7.3.0-16ubuntu3) ... Selecting previously unselected package libcilkrts5:amd64. Preparing to unpack .../070-libcilkrts5_7.3.0-16ubuntu3_amd64.deb ... Unpacking libcilkrts5:amd64 (7.3.0-16ubuntu3) ... Selecting previously unselected package libmpx2:amd64. Preparing to unpack .../071-libmpx2_8-20180414-1ubuntu2_amd64.deb ... Unpacking libmpx2:amd64 (8-20180414-1ubuntu2) ... Selecting previously unselected package libquadmath0:amd64. Preparing to unpack .../072-libquadmath0_8-20180414-1ubuntu2_amd64.deb ... Unpacking libquadmath0:amd64 (8-20180414-1ubuntu2) ... Selecting previously unselected package libgcc-7-dev:amd64. Preparing to unpack .../073-libgcc-7-dev_7.3.0-16ubuntu3_amd64.deb ... Unpacking libgcc-7-dev:amd64 (7.3.0-16ubuntu3) ... Selecting previously unselected package gcc-7. Preparing to unpack .../074-gcc-7_7.3.0-16ubuntu3_amd64.deb ... Unpacking gcc-7 (7.3.0-16ubuntu3) ... Selecting previously unselected package gcc. Preparing to unpack .../075-gcc_4%3a7.3.0-3ubuntu2_amd64.deb ... Unpacking gcc (4:7.3.0-3ubuntu2) ... Selecting previously unselected package libc-dev-bin. Preparing to unpack .../076-libc-dev-bin_2.27-3ubuntu1_amd64.deb ... Unpacking libc-dev-bin (2.27-3ubuntu1) ... Selecting previously unselected package linux-libc-dev:amd64. Preparing to unpack .../077-linux-libc-dev_4.15.0-22.24_amd64.deb ... Unpacking linux-libc-dev:amd64 (4.15.0-22.24) ... Selecting previously unselected package libc6-dev:amd64. Preparing to unpack .../078-libc6-dev_2.27-3ubuntu1_amd64.deb ... Unpacking libc6-dev:amd64 (2.27-3ubuntu1) ... Selecting previously unselected package libstdc++-7-dev:amd64. Preparing to unpack .../079-libstdc++-7-dev_7.3.0-16ubuntu3_amd64.deb ... Unpacking libstdc++-7-dev:amd64 (7.3.0-16ubuntu3) ... Selecting previously unselected package g++-7. Preparing to unpack .../080-g++-7_7.3.0-16ubuntu3_amd64.deb ... Unpacking g++-7 (7.3.0-16ubuntu3) ... Selecting previously unselected package g++. Preparing to unpack .../081-g++_4%3a7.3.0-3ubuntu2_amd64.deb ... Unpacking g++ (4:7.3.0-3ubuntu2) ... Selecting previously unselected package libc6-i386. Preparing to unpack .../082-libc6-i386_2.27-3ubuntu1_amd64.deb ... Unpacking libc6-i386 (2.27-3ubuntu1) ... Selecting previously unselected package libc6-dev-i386. Preparing to unpack .../083-libc6-dev-i386_2.27-3ubuntu1_amd64.deb ... Unpacking libc6-dev-i386 (2.27-3ubuntu1) ... Selecting previously unselected package libc6-x32. Preparing to unpack .../084-libc6-x32_2.27-3ubuntu1_amd64.deb ... Unpacking libc6-x32 (2.27-3ubuntu1) ... Selecting previously unselected package libc6-dev-x32. Preparing to unpack .../085-libc6-dev-x32_2.27-3ubuntu1_amd64.deb ... Unpacking libc6-dev-x32 (2.27-3ubuntu1) ... Selecting previously unselected package lib32gcc1. Preparing to unpack .../086-lib32gcc1_1%3a8-20180414-1ubuntu2_amd64.deb ... Unpacking lib32gcc1 (1:8-20180414-1ubuntu2) ... Selecting previously unselected package libx32gcc1. Preparing to unpack .../087-libx32gcc1_1%3a8-20180414-1ubuntu2_amd64.deb ... Unpacking libx32gcc1 (1:8-20180414-1ubuntu2) ... Selecting previously unselected package lib32gomp1. Preparing to unpack .../088-lib32gomp1_8-20180414-1ubuntu2_amd64.deb ... Unpacking lib32gomp1 (8-20180414-1ubuntu2) ... Selecting previously unselected package libx32gomp1. Preparing to unpack .../089-libx32gomp1_8-20180414-1ubuntu2_amd64.deb ... Unpacking libx32gomp1 (8-20180414-1ubuntu2) ... Selecting previously unselected package lib32itm1. Preparing to unpack .../090-lib32itm1_8-20180414-1ubuntu2_amd64.deb ... Unpacking lib32itm1 (8-20180414-1ubuntu2) ... Selecting previously unselected package libx32itm1. Preparing to unpack .../091-libx32itm1_8-20180414-1ubuntu2_amd64.deb ... Unpacking libx32itm1 (8-20180414-1ubuntu2) ... Selecting previously unselected package lib32atomic1. Preparing to unpack .../092-lib32atomic1_8-20180414-1ubuntu2_amd64.deb ... Unpacking lib32atomic1 (8-20180414-1ubuntu2) ... Selecting previously unselected package libx32atomic1. Preparing to unpack .../093-libx32atomic1_8-20180414-1ubuntu2_amd64.deb ... Unpacking libx32atomic1 (8-20180414-1ubuntu2) ... Selecting previously unselected package lib32asan4. Preparing to unpack .../094-lib32asan4_7.3.0-16ubuntu3_amd64.deb ... Unpacking lib32asan4 (7.3.0-16ubuntu3) ... Selecting previously unselected package libx32asan4. Preparing to unpack .../095-libx32asan4_7.3.0-16ubuntu3_amd64.deb ... Unpacking libx32asan4 (7.3.0-16ubuntu3) ... Selecting previously unselected package lib32stdc++6. Preparing to unpack .../096-lib32stdc++6_8-20180414-1ubuntu2_amd64.deb ... Unpacking lib32stdc++6 (8-20180414-1ubuntu2) ... Selecting previously unselected package lib32ubsan0. Preparing to unpack .../097-lib32ubsan0_7.3.0-16ubuntu3_amd64.deb ... Unpacking lib32ubsan0 (7.3.0-16ubuntu3) ... Selecting previously unselected package libx32stdc++6. Preparing to unpack .../098-libx32stdc++6_8-20180414-1ubuntu2_amd64.deb ... Unpacking libx32stdc++6 (8-20180414-1ubuntu2) ... Selecting previously unselected package libx32ubsan0. Preparing to unpack .../099-libx32ubsan0_7.3.0-16ubuntu3_amd64.deb ... Unpacking libx32ubsan0 (7.3.0-16ubuntu3) ... Selecting previously unselected package lib32cilkrts5. Preparing to unpack .../100-lib32cilkrts5_7.3.0-16ubuntu3_amd64.deb ... Unpacking lib32cilkrts5 (7.3.0-16ubuntu3) ... Selecting previously unselected package libx32cilkrts5. Preparing to unpack .../101-libx32cilkrts5_7.3.0-16ubuntu3_amd64.deb ... Unpacking libx32cilkrts5 (7.3.0-16ubuntu3) ... Selecting previously unselected package lib32mpx2. Preparing to unpack .../102-lib32mpx2_8-20180414-1ubuntu2_amd64.deb ... Unpacking lib32mpx2 (8-20180414-1ubuntu2) ... Selecting previously unselected package lib32quadmath0. Preparing to unpack .../103-lib32quadmath0_8-20180414-1ubuntu2_amd64.deb ... Unpacking lib32quadmath0 (8-20180414-1ubuntu2) ... Selecting previously unselected package libx32quadmath0. Preparing to unpack .../104-libx32quadmath0_8-20180414-1ubuntu2_amd64.deb ... Unpacking libx32quadmath0 (8-20180414-1ubuntu2) ... Selecting previously unselected package lib32gcc-7-dev. Preparing to unpack .../105-lib32gcc-7-dev_7.3.0-16ubuntu3_amd64.deb ... Unpacking lib32gcc-7-dev (7.3.0-16ubuntu3) ... Selecting previously unselected package libx32gcc-7-dev. Preparing to unpack .../106-libx32gcc-7-dev_7.3.0-16ubuntu3_amd64.deb ... Unpacking libx32gcc-7-dev (7.3.0-16ubuntu3) ... Selecting previously unselected package gcc-7-multilib. Preparing to unpack .../107-gcc-7-multilib_7.3.0-16ubuntu3_amd64.deb ... Unpacking gcc-7-multilib (7.3.0-16ubuntu3) ... Selecting previously unselected package lib32stdc++-7-dev. Preparing to unpack .../108-lib32stdc++-7-dev_7.3.0-16ubuntu3_amd64.deb ... Unpacking lib32stdc++-7-dev (7.3.0-16ubuntu3) ... Selecting previously unselected package libx32stdc++-7-dev. Preparing to unpack .../109-libx32stdc++-7-dev_7.3.0-16ubuntu3_amd64.deb ... Unpacking libx32stdc++-7-dev (7.3.0-16ubuntu3) ... Selecting previously unselected package g++-7-multilib. Preparing to unpack .../110-g++-7-multilib_7.3.0-16ubuntu3_amd64.deb ... Unpacking g++-7-multilib (7.3.0-16ubuntu3) ... Selecting previously unselected package gcc-multilib. Preparing to unpack .../111-gcc-multilib_4%3a7.3.0-3ubuntu2_amd64.deb ... Unpacking gcc-multilib (4:7.3.0-3ubuntu2) ... Selecting previously unselected package g++-multilib. Preparing to unpack .../112-g++-multilib_4%3a7.3.0-3ubuntu2_amd64.deb ... Unpacking g++-multilib (4:7.3.0-3ubuntu2) ... Selecting previously unselected package libbdd0c2. Preparing to unpack .../113-libbdd0c2_2.4-11_amd64.deb ... Unpacking libbdd0c2 (2.4-11) ... Selecting previously unselected package libbdd-dev. Preparing to unpack .../114-libbdd-dev_2.4-11_amd64.deb ... Unpacking libbdd-dev (2.4-11) ... Selecting previously unselected package libfl2:amd64. Preparing to unpack .../115-libfl2_2.6.4-6_amd64.deb ... Unpacking libfl2:amd64 (2.6.4-6) ... Selecting previously unselected package libfl-dev:amd64. Preparing to unpack .../116-libfl-dev_2.6.4-6_amd64.deb ... Unpacking libfl-dev:amd64 (2.6.4-6) ... Selecting previously unselected package libltdl7:amd64. Preparing to unpack .../117-libltdl7_2.4.6-2_amd64.deb ... Unpacking libltdl7:amd64 (2.4.6-2) ... Selecting previously unselected package libltdl-dev:amd64. Preparing to unpack .../118-libltdl-dev_2.4.6-2_amd64.deb ... Unpacking libltdl-dev:amd64 (2.4.6-2) ... Selecting previously unselected package libsasl2-modules:amd64. Preparing to unpack .../119-libsasl2-modules_2.1.27~101-g0780600+dfsg-3ubuntu2_amd64.deb ... Unpacking libsasl2-modules:amd64 (2.1.27~101-g0780600+dfsg-3ubuntu2) ... Selecting previously unselected package libtool. Preparing to unpack .../120-libtool_2.4.6-2_all.deb ... Unpacking libtool (2.4.6-2) ... Selecting previously unselected package make. Preparing to unpack .../121-make_4.1-9.1ubuntu1_amd64.deb ... Unpacking make (4.1-9.1ubuntu1) ... Selecting previously unselected package manpages-dev. Preparing to unpack .../122-manpages-dev_4.15-1_all.deb ... Unpacking manpages-dev (4.15-1) ... Selecting previously unselected package mercurial-common. Preparing to unpack .../123-mercurial-common_4.5.3-1ubuntu2_all.deb ... Unpacking mercurial-common (4.5.3-1ubuntu2) ... Selecting previously unselected package mercurial. Preparing to unpack .../124-mercurial_4.5.3-1ubuntu2_amd64.deb ... Unpacking mercurial (4.5.3-1ubuntu2) ... Setting up libquadmath0:amd64 (8-20180414-1ubuntu2) ... Setting up libedit2:amd64 (3.1-20170329-1) ... Setting up libc6-x32 (2.27-3ubuntu1) ... Setting up libgomp1:amd64 (8-20180414-1ubuntu2) ... Setting up libatomic1:amd64 (8-20180414-1ubuntu2) ... Setting up readline-common (7.0-3) ... Setting up manpages (4.15-1) ... Setting up libexpat1:amd64 (2.2.5-3) ... Setting up libicu60:amd64 (60.2-3ubuntu3) ... Setting up libcc1-0:amd64 (8-20180414-1ubuntu2) ... Setting up make (4.1-9.1ubuntu1) ... Setting up libx32gcc1 (1:8-20180414-1ubuntu2) ... Setting up libssl1.0.0:amd64 (1.0.2n-1ubuntu5) ... Setting up libnghttp2-14:amd64 (1.30.0-1ubuntu1) ... Setting up mime-support (3.60ubuntu1) ... Setting up libsigsegv2:amd64 (2.12-1) ... Setting up libldap-common (2.4.45+dfsg-1ubuntu1) ... Setting up libuv1:amd64 (1.18.0-3) ... Setting up libreadline7:amd64 (7.0-3) ... Setting up libpsl5:amd64 (0.19.1-5build1) ... Setting up libbdd0c2 (2.4-11) ... Setting up libtsan0:amd64 (8-20180414-1ubuntu2) ... Setting up libsasl2-modules-db:amd64 (2.1.27~101-g0780600+dfsg-3ubuntu2) ... Setting up linux-libc-dev:amd64 (4.15.0-22.24) ... Setting up libmpfr6:amd64 (4.0.1-1) ... Setting up libsasl2-2:amd64 (2.1.27~101-g0780600+dfsg-3ubuntu2) ... Setting up cmake-data (3.10.2-1ubuntu2) ... Setting up libroken18-heimdal:amd64 (7.5.0+dfsg-1) ... Setting up libc6-i386 (2.27-3ubuntu1) ... Setting up librtmp1:amd64 (2.4+20151223.gitfa8646d.1-1) ... Setting up perl-modules-5.26 (5.26.1-6) ... Setting up m4 (1.4.18-1) ... Setting up libgdbm5:amd64 (1.14.1-6) ... Setting up libbsd0:amd64 (0.8.7-1) ... Setting up libkrb5support0:amd64 (1.16-2build1) ... Setting up ucf (3.0038) ... Setting up libxml2:amd64 (2.9.4+dfsg1-6.1ubuntu1) ... Setting up libx32stdc++6 (8-20180414-1ubuntu2) ... Setting up libmagic-mgc (1:5.32-2) ... Setting up lib32atomic1 (8-20180414-1ubuntu2) ... Setting up libx32atomic1 (8-20180414-1ubuntu2) ... Setting up libmagic1:amd64 (1:5.32-2) ... Setting up librhash0:amd64 (1.3.6-2) ... Setting up liblsan0:amd64 (8-20180414-1ubuntu2) ... Setting up gcc-7-base:amd64 (7.3.0-16ubuntu3) ... Setting up libx32gomp1 (8-20180414-1ubuntu2) ... Setting up binutils-common:amd64 (2.30-15ubuntu1) ... Setting up libmpx2:amd64 (8-20180414-1ubuntu2) ... Setting up krb5-locales (1.16-2build1) ... Processing triggers for libc-bin (2.27-3ubuntu1) ... Setting up publicsuffix (20180223.1310-1) ... Setting up autotools-dev (20180224.1) ... Setting up libssl1.1:amd64 (1.1.0g-2ubuntu4) ... Setting up xz-utils (5.2.2-1.3) ... update-alternatives: using /usr/bin/xz to provide /usr/bin/lzma (lzma) in auto mode update-alternatives: warning: skip creation of /usr/share/man/man1/lzma.1.gz because associated file /usr/share/man/man1/xz.1.gz (of link group lzma) doesn't exist update-alternatives: warning: skip creation of /usr/share/man/man1/unlzma.1.gz because associated file /usr/share/man/man1/unxz.1.gz (of link group lzma) doesn't exist update-alternatives: warning: skip creation of /usr/share/man/man1/lzcat.1.gz because associated file /usr/share/man/man1/xzcat.1.gz (of link group lzma) doesn't exist update-alternatives: warning: skip creation of /usr/share/man/man1/lzmore.1.gz because associated file /usr/share/man/man1/xzmore.1.gz (of link group lzma) doesn't exist update-alternatives: warning: skip creation of /usr/share/man/man1/lzless.1.gz because associated file /usr/share/man/man1/xzless.1.gz (of link group lzma) doesn't exist update-alternatives: warning: skip creation of /usr/share/man/man1/lzdiff.1.gz because associated file /usr/share/man/man1/xzdiff.1.gz (of link group lzma) doesn't exist update-alternatives: warning: skip creation of /usr/share/man/man1/lzcmp.1.gz because associated file /usr/share/man/man1/xzcmp.1.gz (of link group lzma) doesn't exist update-alternatives: warning: skip creation of /usr/share/man/man1/lzgrep.1.gz because associated file /usr/share/man/man1/xzgrep.1.gz (of link group lzma) doesn't exist update-alternatives: warning: skip creation of /usr/share/man/man1/lzegrep.1.gz because associated file /usr/share/man/man1/xzegrep.1.gz (of link group lzma) doesn't exist update-alternatives: warning: skip creation of /usr/share/man/man1/lzfgrep.1.gz because associated file /usr/share/man/man1/xzfgrep.1.gz (of link group lzma) doesn't exist Setting up libheimbase1-heimdal:amd64 (7.5.0+dfsg-1) ... Setting up libltdl7:amd64 (2.4.6-2) ... Setting up libx32itm1 (8-20180414-1ubuntu2) ... Setting up openssl (1.1.0g-2ubuntu4) ... Setting up libsqlite3-0:amd64 (3.22.0-1) ... Setting up libbison-dev:amd64 (2:3.0.4.dfsg-1build1) ... Setting up libfl2:amd64 (2.6.4-6) ... Setting up libmpc3:amd64 (1.1.0-1) ... Setting up libc-dev-bin (2.27-3ubuntu1) ... Setting up bison (2:3.0.4.dfsg-1build1) ... update-alternatives: using /usr/bin/bison.yacc to provide /usr/bin/yacc (yacc) in auto mode update-alternatives: warning: skip creation of /usr/share/man/man1/yacc.1.gz because associated file /usr/share/man/man1/bison.yacc.1.gz (of link group yacc) doesn't exist Setting up libxdmcp6:amd64 (1:1.1.2-3) ... Setting up libgdbm-compat4:amd64 (1.14.1-6) ... Setting up libkeyutils1:amd64 (1.5.9-9.2ubuntu2) ... Setting up libsasl2-modules:amd64 (2.1.27~101-g0780600+dfsg-3ubuntu2) ... Setting up lib32quadmath0 (8-20180414-1ubuntu2) ... Setting up ca-certificates (20180409) ... Updating certificates in /etc/ssl/certs... 133 added, 0 removed; done. Setting up manpages-dev (4.15-1) ... Setting up libc6-dev:amd64 (2.27-3ubuntu1) ... Setting up lib32itm1 (8-20180414-1ubuntu2) ... Setting up libitm1:amd64 (8-20180414-1ubuntu2) ... Setting up libx11-data (2:1.6.4-3) ... Setting up libpython2.7-stdlib:amd64 (2.7.15~rc1-1) ... Setting up libxau6:amd64 (1:1.0.8-1) ... Setting up libx32quadmath0 (8-20180414-1ubuntu2) ... Setting up lib32gcc1 (1:8-20180414-1ubuntu2) ... Setting up liblzo2-2:amd64 (2.08-1.2) ... Setting up netbase (5.4) ... Setting up libisl19:amd64 (0.19-1) ... Setting up libjsoncpp1:amd64 (1.7.4-3) ... Setting up libk5crypto3:amd64 (1.16-2build1) ... Setting up libx32asan4 (7.3.0-16ubuntu3) ... Setting up libx32cilkrts5 (7.3.0-16ubuntu3) ... Setting up libltdl-dev:amd64 (2.4.6-2) ... Setting up libwind0-heimdal:amd64 (7.5.0+dfsg-1) ... Setting up libasan4:amd64 (7.3.0-16ubuntu3) ... Setting up libbinutils:amd64 (2.30-15ubuntu1) ... Setting up flex (2.6.4-6) ... Setting up lib32gomp1 (8-20180414-1ubuntu2) ... Setting up libarchive13:amd64 (3.2.2-3.1) ... Setting up libx32ubsan0 (7.3.0-16ubuntu3) ... Setting up libcilkrts5:amd64 (7.3.0-16ubuntu3) ... Setting up libasn1-8-heimdal:amd64 (7.5.0+dfsg-1) ... Setting up libbdd-dev (2.4-11) ... Setting up libubsan0:amd64 (7.3.0-16ubuntu3) ... Setting up lib32asan4 (7.3.0-16ubuntu3) ... Setting up lib32mpx2 (8-20180414-1ubuntu2) ... Setting up libhcrypto4-heimdal:amd64 (7.5.0+dfsg-1) ... Setting up python2.7 (2.7.15~rc1-1) ... Setting up file (1:5.32-2) ... Setting up libhx509-5-heimdal:amd64 (7.5.0+dfsg-1) ... Setting up libgcc-7-dev:amd64 (7.3.0-16ubuntu3) ... Setting up cpp-7 (7.3.0-16ubuntu3) ... Setting up libfl-dev:amd64 (2.6.4-6) ... Setting up libstdc++-7-dev:amd64 (7.3.0-16ubuntu3) ... Setting up libpython-stdlib:amd64 (2.7.15~rc1-1) ... Setting up libperl5.26:amd64 (5.26.1-6) ... Setting up lib32stdc++6 (8-20180414-1ubuntu2) ... Setting up libkrb5-3:amd64 (1.16-2build1) ... Setting up libkrb5-26-heimdal:amd64 (7.5.0+dfsg-1) ... Setting up lib32ubsan0 (7.3.0-16ubuntu3) ... Setting up lib32cilkrts5 (7.3.0-16ubuntu3) ... Setting up libc6-dev-i386 (2.27-3ubuntu1) ... Setting up libc6-dev-x32 (2.27-3ubuntu1) ... Setting up libxcb1:amd64 (1.13-1) ... Setting up libheimntlm0-heimdal:amd64 (7.5.0+dfsg-1) ... Setting up python (2.7.15~rc1-1) ... Setting up binutils-x86-64-linux-gnu (2.30-15ubuntu1) ... Setting up cpp (4:7.3.0-3ubuntu2) ... Setting up libx11-6:amd64 (2:1.6.4-3) ... Setting up libxmuu1:amd64 (2:1.1.2-2) ... Setting up libx32gcc-7-dev (7.3.0-16ubuntu3) ... Setting up libgssapi-krb5-2:amd64 (1.16-2build1) ... Setting up perl (5.26.1-6) ... Setting up mercurial-common (4.5.3-1ubuntu2) ... Setting up mercurial (4.5.3-1ubuntu2) ... Creating config file /etc/mercurial/hgrc.d/hgext.rc with new version Setting up lib32gcc-7-dev (7.3.0-16ubuntu3) ... Setting up binutils (2.30-15ubuntu1) ... Setting up libgssapi3-heimdal:amd64 (7.5.0+dfsg-1) ... Setting up openssh-client (1:7.6p1-4) ... Setting up libx32stdc++-7-dev (7.3.0-16ubuntu3) ... Setting up libxext6:amd64 (2:1.3.3-1) ... Setting up gcc-7 (7.3.0-16ubuntu3) ... Setting up g++-7 (7.3.0-16ubuntu3) ... Setting up autoconf (2.69-11) ... Setting up gcc-7-multilib (7.3.0-16ubuntu3) ... Setting up gcc (4:7.3.0-3ubuntu2) ... Setting up lib32stdc++-7-dev (7.3.0-16ubuntu3) ... Setting up xauth (1:1.0.10-1) ... Setting up g++-7-multilib (7.3.0-16ubuntu3) ... Setting up libldap-2.4-2:amd64 (2.4.45+dfsg-1ubuntu1) ... Setting up automake (1:1.15.1-3ubuntu2) ... update-alternatives: using /usr/bin/automake-1.15 to provide /usr/bin/automake (automake) in auto mode update-alternatives: warning: skip creation of /usr/share/man/man1/automake.1.gz because associated file /usr/share/man/man1/automake-1.15.1.gz (of link group automake) doesn't exist update-alternatives: warning: skip creation of /usr/share/man/man1/aclocal.1.gz because associated file /usr/share/man/man1/aclocal-1.15.1.gz (of link group automake) doesn't exist Setting up g++ (4:7.3.0-3ubuntu2) ... update-alternatives: using /usr/bin/g++ to provide /usr/bin/c++ (c++) in auto mode update-alternatives: warning: skip creation of /usr/share/man/man1/c++.1.gz because associated file /usr/share/man/man1/g++.1.gz (of link group c++) doesn't exist Setting up libtool (2.4.6-2) ... Setting up gcc-multilib (4:7.3.0-3ubuntu2) ... Setting up libcurl4:amd64 (7.58.0-2ubuntu3.1) ... Setting up cmake (3.10.2-1ubuntu2) ... Setting up g++-multilib (4:7.3.0-3ubuntu2) ... Processing triggers for libc-bin (2.27-3ubuntu1) ... Processing triggers for ca-certificates (20180409) ... Updating certificates in /etc/ssl/certs... 0 added, 0 removed; done. Running hooks in /etc/ca-certificates/update.d... done. rm -f Makefile.temp for source in rddl.cc instantiator.cc preprocessor.cc task_analyzer.cc evaluatables.cc logical_expressions.cc states.cc probability_distribution.cc rddl_to_sas/conditional_effect.cc rddl_to_sas/json_task.cc rddl_to_sas/transition_relation.cc utils/timer.cc utils/string_utils.cc utils/system_utils.cc utils/math_utils.cc ; do \ g++ -MM -std=c++0x $source > Makefile.temp0; \ objfile=${source%%.cc}.o; \ sed -i -e "s@^[^:]*:@$objfile:@" Makefile.temp0; \ cat Makefile.temp0 >> Makefile.temp; \ done rm -f Makefile.temp0 Makefile.depend sed -e "s@\(.*\)\.o:\(.*\)@.obj/\1.o:\2@" Makefile.temp >> Makefile.depend sed -e "s@\(.*\)\.o:\(.*\)@.obj/\1.debug.o:\2@" Makefile.temp >> Makefile.depend rm -f Makefile.temp g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++0x -std=c++0x -m64 -O3 -fomit-frame-pointer -DNDEBUG -c preprocessor.cc -o .obj/preprocessor.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++0x -std=c++0x -m64 -O3 -fomit-frame-pointer -DNDEBUG -c instantiator.cc -o .obj/instantiator.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++0x -std=c++0x -m64 -O3 -fomit-frame-pointer -DNDEBUG -c task_analyzer.cc -o .obj/task_analyzer.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++0x -std=c++0x -m64 -O3 -fomit-frame-pointer -DNDEBUG -c evaluatables.cc -o .obj/evaluatables.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++0x -std=c++0x -m64 -O3 -fomit-frame-pointer -DNDEBUG -c rddl.cc -o .obj/rddl.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++0x -std=c++0x -m64 -O3 -fomit-frame-pointer -DNDEBUG -c logical_expressions.cc -o .obj/logical_expressions.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++0x -std=c++0x -m64 -O3 -fomit-frame-pointer -DNDEBUG -c states.cc -o .obj/states.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++0x -std=c++0x -m64 -O3 -fomit-frame-pointer -DNDEBUG -c probability_distribution.cc -o .obj/probability_distribution.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++0x -std=c++0x -m64 -O3 -fomit-frame-pointer -DNDEBUG -c rddl_to_sas/conditional_effect.cc -o .obj/rddl_to_sas/conditional_effect.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++0x -std=c++0x -m64 -O3 -fomit-frame-pointer -DNDEBUG -c rddl_to_sas/json_task.cc -o .obj/rddl_to_sas/json_task.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++0x -std=c++0x -m64 -O3 -fomit-frame-pointer -DNDEBUG -c rddl_to_sas/transition_relation.cc -o .obj/rddl_to_sas/transition_relation.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++0x -std=c++0x -m64 -O3 -fomit-frame-pointer -DNDEBUG -c utils/timer.cc -o .obj/utils/timer.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++0x -std=c++0x -m64 -O3 -fomit-frame-pointer -DNDEBUG -c utils/string_utils.cc -o .obj/utils/string_utils.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++0x -std=c++0x -m64 -O3 -fomit-frame-pointer -DNDEBUG -c utils/system_utils.cc -o .obj/utils/system_utils.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++0x -std=c++0x -m64 -O3 -fomit-frame-pointer -DNDEBUG -c utils/math_utils.cc -o .obj/utils/math_utils.o ## Bison and flex generation rules bison -d parser.ypp --output-file parser.tab.cc flex lexer.l parser.tab.hh g++ -std=c++11 -c -o .obj/lex.yy.o lex.yy.c g++ -std=c++11 -c -o parser.tab.o parser.tab.cc ## g++ -g -std=c++0x -m64 -O3 .obj/rddl.o .obj/instantiator.o .obj/preprocessor.o .obj/task_analyzer.o .obj/evaluatables.o .obj/logical_expressions.o .obj/states.o .obj/probability_distribution.o .obj/rddl_to_sas/conditional_effect.o .obj/rddl_to_sas/json_task.o .obj/rddl_to_sas/transition_relation.o .obj/utils/timer.o .obj/utils/string_utils.o .obj/utils/system_utils.o .obj/utils/math_utils.o parser.tab.o .obj/lex.yy.o -o rddl-parser checking build system type... x86_64-unknown-linux-gnu checking host system type... x86_64-unknown-linux-gnu checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... /bin/mkdir -p checking for gawk... no checking for mawk... mawk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking whether gcc understands -c and -o together... yes checking for style of include used by make... GNU checking dependency style of gcc... gcc3 checking for g++... g++ checking whether we are using the GNU C++ compiler... yes checking whether g++ accepts -g... yes checking dependency style of g++... gcc3 checking for ar... ar checking the archiver (ar) interface... ar checking how to print strings... printf checking for a sed that does not truncate output... /bin/sed checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking for fgrep... /bin/grep -F checking for ld used by gcc... /usr/bin/x86_64-linux-gnu-ld checking if the linker (/usr/bin/x86_64-linux-gnu-ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B checking the name lister (/usr/bin/nm -B) interface... BSD nm checking whether ln -s works... yes checking the maximum length of command line arguments... 1572864 checking whether the shell understands some XSI constructs... yes checking whether the shell understands "+="... yes checking how to convert x86_64-unknown-linux-gnu file names to x86_64-unknown-linux-gnu format... func_convert_file_noop checking how to convert x86_64-unknown-linux-gnu file names to toolchain format... func_convert_file_noop checking for /usr/bin/x86_64-linux-gnu-ld option to reload object files... -r checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for archiver @FILE support... @ checking for strip... strip checking for ranlib... ranlib checking command to parse /usr/bin/nm -B output from gcc object... ok checking for sysroot... no checking for mt... no checking if : is a manifest tool... no checking how to run the C preprocessor... gcc -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking for dlfcn.h... yes checking for objdir... .libs checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC -DPIC checking if gcc PIC flag -fPIC -DPIC works... yes checking if gcc static flag -static works... yes checking if gcc supports -c -o file.o... yes checking if gcc supports -c -o file.o... (cached) yes checking whether the gcc linker (/usr/bin/x86_64-linux-gnu-ld -m elf_x86_64) supports shared libraries... yes checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... no checking whether to build static libraries... yes checking how to run the C++ preprocessor... g++ -E checking for ld used by g++... /usr/bin/x86_64-linux-gnu-ld -m elf_x86_64 checking if the linker (/usr/bin/x86_64-linux-gnu-ld -m elf_x86_64) is GNU ld... yes checking whether the g++ linker (/usr/bin/x86_64-linux-gnu-ld -m elf_x86_64) supports shared libraries... yes checking for g++ option to produce PIC... -fPIC -DPIC checking if g++ PIC flag -fPIC -DPIC works... yes checking if g++ static flag -static works... yes checking if g++ supports -c -o file.o... yes checking if g++ supports -c -o file.o... (cached) yes checking whether the g++ linker (/usr/bin/x86_64-linux-gnu-ld -m elf_x86_64) supports shared libraries... yes checking dynamic linker characteristics... (cached) GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether byte ordering is bigendian... no checking for doxygen... no checking for pdflatex... no checking for makeindex... no checking for library containing pow... -lm checking for pthread_create in -lpthread... yes checking for library containing WSAStartup... no checking for library containing GetProcessMemoryInfo... no checking float.h usability... yes checking float.h presence... yes checking for float.h... yes checking for inttypes.h... (cached) yes checking limits.h usability... yes checking limits.h presence... yes checking for limits.h... yes checking stddef.h usability... yes checking stddef.h presence... yes checking for stddef.h... yes checking for stdlib.h... (cached) yes checking for string.h... (cached) yes checking assert.h usability... yes checking assert.h presence... yes checking for assert.h... yes checking math.h usability... yes checking math.h presence... yes checking for math.h... yes checking for unistd.h... (cached) yes checking sys/time.h usability... yes checking sys/time.h presence... yes checking for sys/time.h... yes checking sys/times.h usability... yes checking sys/times.h presence... yes checking for sys/times.h... yes checking sys/resource.h usability... yes checking sys/resource.h presence... yes checking for sys/resource.h... yes checking sys/wait.h usability... yes checking sys/wait.h presence... yes checking for sys/wait.h... yes checking for working C++ thread header... yes checking for stdbool.h that conforms to C99... yes checking for _Bool... yes checking for inline... inline checking for size_t... yes checking for uint16_t... yes checking for uint32_t... yes checking for ptrdiff_t... yes checking size of int... 4 checking size of long... 8 checking size of void *... 8 checking size of long double... 16 checking whether we are building for a Win32 host... no checking whether enough of C++11 is supported... yes checking for pow... yes checking for sqrt... yes checking for strchr... yes checking for strstr... yes checking for powl... yes checking for gethostname... yes checking for getrlimit... yes checking for getrusage... yes checking for sysconf... yes checking for +Infinity (IEEE 754 floating point)... yes checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating dddmp/exp/test1.sh config.status: creating dddmp/exp/test2.sh config.status: creating dddmp/exp/test3.sh config.status: creating dddmp/exp/test4.sh config.status: creating dddmp/exp/test5.sh config.status: creating dddmp/exp/test6.sh config.status: creating dddmp/exp/test7.sh config.status: creating config.h config.status: config.h is unchanged config.status: executing depfiles commands config.status: executing libtool commands -------------------------------------------------- Configuration summary for cudd 3.0.0 Build system : x86_64-unknown-linux-gnu Host system : x86_64-unknown-linux-gnu Prefix : '/usr/local' Compilers : 'gcc -m64 -Wall -Wextra -g -O3' : 'g++ -m64 -Wall -Wextra -g -std=c++14 -O3' Shared library : no dddmp enabled : yes obj enabled : yes -------------------------------------------------- make all-am make[1]: Entering directory '/planner/src/search/cudd-3.0.0' /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT util/cudd_libcudd_la-cstringstream.lo -MD -MP -MF util/.deps/cudd_libcudd_la-cstringstream.Tpo -c -o util/cudd_libcudd_la-cstringstream.lo `test -f 'util/cstringstream.c' || echo './'`util/cstringstream.c /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT epd/cudd_libcudd_la-epd.lo -MD -MP -MF epd/.deps/cudd_libcudd_la-epd.Tpo -c -o epd/cudd_libcudd_la-epd.lo `test -f 'epd/epd.c' || echo './'`epd/epd.c /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddAddAbs.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAddAbs.Tpo -c -o cudd/cudd_libcudd_la-cuddAddAbs.lo `test -f 'cudd/cuddAddAbs.c' || echo './'`cudd/cuddAddAbs.c /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddAddApply.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAddApply.Tpo -c -o cudd/cudd_libcudd_la-cuddAddApply.lo `test -f 'cudd/cuddAddApply.c' || echo './'`cudd/cuddAddApply.c /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddAddFind.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAddFind.Tpo -c -o cudd/cudd_libcudd_la-cuddAddFind.lo `test -f 'cudd/cuddAddFind.c' || echo './'`cudd/cuddAddFind.c /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddAddInv.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAddInv.Tpo -c -o cudd/cudd_libcudd_la-cuddAddInv.lo `test -f 'cudd/cuddAddInv.c' || echo './'`cudd/cuddAddInv.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT epd/cudd_libcudd_la-epd.lo -MD -MP -MF epd/.deps/cudd_libcudd_la-epd.Tpo -c epd/epd.c -o epd/cudd_libcudd_la-epd.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddAddFind.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAddFind.Tpo -c cudd/cuddAddFind.c -o cudd/cudd_libcudd_la-cuddAddFind.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddAddInv.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAddInv.Tpo -c cudd/cuddAddInv.c -o cudd/cudd_libcudd_la-cuddAddInv.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddAddApply.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAddApply.Tpo -c cudd/cuddAddApply.c -o cudd/cudd_libcudd_la-cuddAddApply.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddAddAbs.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAddAbs.Tpo -c cudd/cuddAddAbs.c -o cudd/cudd_libcudd_la-cuddAddAbs.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT util/cudd_libcudd_la-cstringstream.lo -MD -MP -MF util/.deps/cudd_libcudd_la-cstringstream.Tpo -c util/cstringstream.c -o util/cudd_libcudd_la-cstringstream.o mv -f cudd/.deps/cudd_libcudd_la-cuddAddInv.Tpo cudd/.deps/cudd_libcudd_la-cuddAddInv.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddAddIte.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAddIte.Tpo -c -o cudd/cudd_libcudd_la-cuddAddIte.lo `test -f 'cudd/cuddAddIte.c' || echo './'`cudd/cuddAddIte.c mv -f cudd/.deps/cudd_libcudd_la-cuddAddFind.Tpo cudd/.deps/cudd_libcudd_la-cuddAddFind.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddAddNeg.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAddNeg.Tpo -c -o cudd/cudd_libcudd_la-cuddAddNeg.lo `test -f 'cudd/cuddAddNeg.c' || echo './'`cudd/cuddAddNeg.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddAddIte.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAddIte.Tpo -c cudd/cuddAddIte.c -o cudd/cudd_libcudd_la-cuddAddIte.o mv -f util/.deps/cudd_libcudd_la-cstringstream.Tpo util/.deps/cudd_libcudd_la-cstringstream.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddAddWalsh.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAddWalsh.Tpo -c -o cudd/cudd_libcudd_la-cuddAddWalsh.lo `test -f 'cudd/cuddAddWalsh.c' || echo './'`cudd/cuddAddWalsh.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddAddNeg.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAddNeg.Tpo -c cudd/cuddAddNeg.c -o cudd/cudd_libcudd_la-cuddAddNeg.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddAddWalsh.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAddWalsh.Tpo -c cudd/cuddAddWalsh.c -o cudd/cudd_libcudd_la-cuddAddWalsh.o mv -f cudd/.deps/cudd_libcudd_la-cuddAddApply.Tpo cudd/.deps/cudd_libcudd_la-cuddAddApply.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddAndAbs.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAndAbs.Tpo -c -o cudd/cudd_libcudd_la-cuddAndAbs.lo `test -f 'cudd/cuddAndAbs.c' || echo './'`cudd/cuddAndAbs.c mv -f cudd/.deps/cudd_libcudd_la-cuddAddAbs.Tpo cudd/.deps/cudd_libcudd_la-cuddAddAbs.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddAnneal.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAnneal.Tpo -c -o cudd/cudd_libcudd_la-cuddAnneal.lo `test -f 'cudd/cuddAnneal.c' || echo './'`cudd/cuddAnneal.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddAndAbs.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAndAbs.Tpo -c cudd/cuddAndAbs.c -o cudd/cudd_libcudd_la-cuddAndAbs.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddAnneal.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAnneal.Tpo -c cudd/cuddAnneal.c -o cudd/cudd_libcudd_la-cuddAnneal.o mv -f cudd/.deps/cudd_libcudd_la-cuddAddNeg.Tpo cudd/.deps/cudd_libcudd_la-cuddAddNeg.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddApa.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddApa.Tpo -c -o cudd/cudd_libcudd_la-cuddApa.lo `test -f 'cudd/cuddApa.c' || echo './'`cudd/cuddApa.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddApa.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddApa.Tpo -c cudd/cuddApa.c -o cudd/cudd_libcudd_la-cuddApa.o mv -f cudd/.deps/cudd_libcudd_la-cuddAddIte.Tpo cudd/.deps/cudd_libcudd_la-cuddAddIte.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddAPI.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAPI.Tpo -c -o cudd/cudd_libcudd_la-cuddAPI.lo `test -f 'cudd/cuddAPI.c' || echo './'`cudd/cuddAPI.c mv -f cudd/.deps/cudd_libcudd_la-cuddAddWalsh.Tpo cudd/.deps/cudd_libcudd_la-cuddAddWalsh.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddApprox.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddApprox.Tpo -c -o cudd/cudd_libcudd_la-cuddApprox.lo `test -f 'cudd/cuddApprox.c' || echo './'`cudd/cuddApprox.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddAPI.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAPI.Tpo -c cudd/cuddAPI.c -o cudd/cudd_libcudd_la-cuddAPI.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddApprox.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddApprox.Tpo -c cudd/cuddApprox.c -o cudd/cudd_libcudd_la-cuddApprox.o mv -f cudd/.deps/cudd_libcudd_la-cuddAndAbs.Tpo cudd/.deps/cudd_libcudd_la-cuddAndAbs.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddBddAbs.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddBddAbs.Tpo -c -o cudd/cudd_libcudd_la-cuddBddAbs.lo `test -f 'cudd/cuddBddAbs.c' || echo './'`cudd/cuddBddAbs.c mv -f epd/.deps/cudd_libcudd_la-epd.Tpo epd/.deps/cudd_libcudd_la-epd.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddBddCorr.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddBddCorr.Tpo -c -o cudd/cudd_libcudd_la-cuddBddCorr.lo `test -f 'cudd/cuddBddCorr.c' || echo './'`cudd/cuddBddCorr.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddBddAbs.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddBddAbs.Tpo -c cudd/cuddBddAbs.c -o cudd/cudd_libcudd_la-cuddBddAbs.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddBddCorr.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddBddCorr.Tpo -c cudd/cuddBddCorr.c -o cudd/cudd_libcudd_la-cuddBddCorr.o mv -f cudd/.deps/cudd_libcudd_la-cuddAnneal.Tpo cudd/.deps/cudd_libcudd_la-cuddAnneal.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddBddIte.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddBddIte.Tpo -c -o cudd/cudd_libcudd_la-cuddBddIte.lo `test -f 'cudd/cuddBddIte.c' || echo './'`cudd/cuddBddIte.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddBddIte.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddBddIte.Tpo -c cudd/cuddBddIte.c -o cudd/cudd_libcudd_la-cuddBddIte.o mv -f cudd/.deps/cudd_libcudd_la-cuddBddCorr.Tpo cudd/.deps/cudd_libcudd_la-cuddBddCorr.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddBridge.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddBridge.Tpo -c -o cudd/cudd_libcudd_la-cuddBridge.lo `test -f 'cudd/cuddBridge.c' || echo './'`cudd/cuddBridge.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddBridge.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddBridge.Tpo -c cudd/cuddBridge.c -o cudd/cudd_libcudd_la-cuddBridge.o mv -f cudd/.deps/cudd_libcudd_la-cuddBddAbs.Tpo cudd/.deps/cudd_libcudd_la-cuddBddAbs.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddCache.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddCache.Tpo -c -o cudd/cudd_libcudd_la-cuddCache.lo `test -f 'cudd/cuddCache.c' || echo './'`cudd/cuddCache.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddCache.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddCache.Tpo -c cudd/cuddCache.c -o cudd/cudd_libcudd_la-cuddCache.o mv -f cudd/.deps/cudd_libcudd_la-cuddApa.Tpo cudd/.deps/cudd_libcudd_la-cuddApa.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddCheck.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddCheck.Tpo -c -o cudd/cudd_libcudd_la-cuddCheck.lo `test -f 'cudd/cuddCheck.c' || echo './'`cudd/cuddCheck.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddCheck.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddCheck.Tpo -c cudd/cuddCheck.c -o cudd/cudd_libcudd_la-cuddCheck.o mv -f cudd/.deps/cudd_libcudd_la-cuddCache.Tpo cudd/.deps/cudd_libcudd_la-cuddCache.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddClip.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddClip.Tpo -c -o cudd/cudd_libcudd_la-cuddClip.lo `test -f 'cudd/cuddClip.c' || echo './'`cudd/cuddClip.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddClip.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddClip.Tpo -c cudd/cuddClip.c -o cudd/cudd_libcudd_la-cuddClip.o mv -f cudd/.deps/cudd_libcudd_la-cuddAPI.Tpo cudd/.deps/cudd_libcudd_la-cuddAPI.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddCof.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddCof.Tpo -c -o cudd/cudd_libcudd_la-cuddCof.lo `test -f 'cudd/cuddCof.c' || echo './'`cudd/cuddCof.c mv -f cudd/.deps/cudd_libcudd_la-cuddClip.Tpo cudd/.deps/cudd_libcudd_la-cuddClip.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddCompose.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddCompose.Tpo -c -o cudd/cudd_libcudd_la-cuddCompose.lo `test -f 'cudd/cuddCompose.c' || echo './'`cudd/cuddCompose.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddCof.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddCof.Tpo -c cudd/cuddCof.c -o cudd/cudd_libcudd_la-cuddCof.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddCompose.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddCompose.Tpo -c cudd/cuddCompose.c -o cudd/cudd_libcudd_la-cuddCompose.o mv -f cudd/.deps/cudd_libcudd_la-cuddApprox.Tpo cudd/.deps/cudd_libcudd_la-cuddApprox.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddDecomp.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddDecomp.Tpo -c -o cudd/cudd_libcudd_la-cuddDecomp.lo `test -f 'cudd/cuddDecomp.c' || echo './'`cudd/cuddDecomp.c mv -f cudd/.deps/cudd_libcudd_la-cuddBridge.Tpo cudd/.deps/cudd_libcudd_la-cuddBridge.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddEssent.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddEssent.Tpo -c -o cudd/cudd_libcudd_la-cuddEssent.lo `test -f 'cudd/cuddEssent.c' || echo './'`cudd/cuddEssent.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddDecomp.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddDecomp.Tpo -c cudd/cuddDecomp.c -o cudd/cudd_libcudd_la-cuddDecomp.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddEssent.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddEssent.Tpo -c cudd/cuddEssent.c -o cudd/cudd_libcudd_la-cuddEssent.o mv -f cudd/.deps/cudd_libcudd_la-cuddCheck.Tpo cudd/.deps/cudd_libcudd_la-cuddCheck.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddExact.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddExact.Tpo -c -o cudd/cudd_libcudd_la-cuddExact.lo `test -f 'cudd/cuddExact.c' || echo './'`cudd/cuddExact.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddExact.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddExact.Tpo -c cudd/cuddExact.c -o cudd/cudd_libcudd_la-cuddExact.o mv -f cudd/.deps/cudd_libcudd_la-cuddCof.Tpo cudd/.deps/cudd_libcudd_la-cuddCof.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddExport.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddExport.Tpo -c -o cudd/cudd_libcudd_la-cuddExport.lo `test -f 'cudd/cuddExport.c' || echo './'`cudd/cuddExport.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddExport.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddExport.Tpo -c cudd/cuddExport.c -o cudd/cudd_libcudd_la-cuddExport.o mv -f cudd/.deps/cudd_libcudd_la-cuddBddIte.Tpo cudd/.deps/cudd_libcudd_la-cuddBddIte.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddGenCof.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddGenCof.Tpo -c -o cudd/cudd_libcudd_la-cuddGenCof.lo `test -f 'cudd/cuddGenCof.c' || echo './'`cudd/cuddGenCof.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddGenCof.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddGenCof.Tpo -c cudd/cuddGenCof.c -o cudd/cudd_libcudd_la-cuddGenCof.o mv -f cudd/.deps/cudd_libcudd_la-cuddCompose.Tpo cudd/.deps/cudd_libcudd_la-cuddCompose.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddGenetic.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddGenetic.Tpo -c -o cudd/cudd_libcudd_la-cuddGenetic.lo `test -f 'cudd/cuddGenetic.c' || echo './'`cudd/cuddGenetic.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddGenetic.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddGenetic.Tpo -c cudd/cuddGenetic.c -o cudd/cudd_libcudd_la-cuddGenetic.o mv -f cudd/.deps/cudd_libcudd_la-cuddDecomp.Tpo cudd/.deps/cudd_libcudd_la-cuddDecomp.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddGroup.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddGroup.Tpo -c -o cudd/cudd_libcudd_la-cuddGroup.lo `test -f 'cudd/cuddGroup.c' || echo './'`cudd/cuddGroup.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddGroup.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddGroup.Tpo -c cudd/cuddGroup.c -o cudd/cudd_libcudd_la-cuddGroup.o mv -f cudd/.deps/cudd_libcudd_la-cuddEssent.Tpo cudd/.deps/cudd_libcudd_la-cuddEssent.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddHarwell.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddHarwell.Tpo -c -o cudd/cudd_libcudd_la-cuddHarwell.lo `test -f 'cudd/cuddHarwell.c' || echo './'`cudd/cuddHarwell.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddHarwell.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddHarwell.Tpo -c cudd/cuddHarwell.c -o cudd/cudd_libcudd_la-cuddHarwell.o mv -f cudd/.deps/cudd_libcudd_la-cuddGenetic.Tpo cudd/.deps/cudd_libcudd_la-cuddGenetic.Plo mv -f cudd/.deps/cudd_libcudd_la-cuddExact.Tpo cudd/.deps/cudd_libcudd_la-cuddExact.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddInit.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddInit.Tpo -c -o cudd/cudd_libcudd_la-cuddInit.lo `test -f 'cudd/cuddInit.c' || echo './'`cudd/cuddInit.c /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddInteract.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddInteract.Tpo -c -o cudd/cudd_libcudd_la-cuddInteract.lo `test -f 'cudd/cuddInteract.c' || echo './'`cudd/cuddInteract.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddInteract.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddInteract.Tpo -c cudd/cuddInteract.c -o cudd/cudd_libcudd_la-cuddInteract.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddInit.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddInit.Tpo -c cudd/cuddInit.c -o cudd/cudd_libcudd_la-cuddInit.o mv -f cudd/.deps/cudd_libcudd_la-cuddExport.Tpo cudd/.deps/cudd_libcudd_la-cuddExport.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddLCache.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddLCache.Tpo -c -o cudd/cudd_libcudd_la-cuddLCache.lo `test -f 'cudd/cuddLCache.c' || echo './'`cudd/cuddLCache.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddLCache.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddLCache.Tpo -c cudd/cuddLCache.c -o cudd/cudd_libcudd_la-cuddLCache.o mv -f cudd/.deps/cudd_libcudd_la-cuddHarwell.Tpo cudd/.deps/cudd_libcudd_la-cuddHarwell.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddLevelQ.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddLevelQ.Tpo -c -o cudd/cudd_libcudd_la-cuddLevelQ.lo `test -f 'cudd/cuddLevelQ.c' || echo './'`cudd/cuddLevelQ.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddLevelQ.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddLevelQ.Tpo -c cudd/cuddLevelQ.c -o cudd/cudd_libcudd_la-cuddLevelQ.o mv -f cudd/.deps/cudd_libcudd_la-cuddInit.Tpo cudd/.deps/cudd_libcudd_la-cuddInit.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddLinear.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddLinear.Tpo -c -o cudd/cudd_libcudd_la-cuddLinear.lo `test -f 'cudd/cuddLinear.c' || echo './'`cudd/cuddLinear.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddLinear.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddLinear.Tpo -c cudd/cuddLinear.c -o cudd/cudd_libcudd_la-cuddLinear.o mv -f cudd/.deps/cudd_libcudd_la-cuddLevelQ.Tpo cudd/.deps/cudd_libcudd_la-cuddLevelQ.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddLiteral.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddLiteral.Tpo -c -o cudd/cudd_libcudd_la-cuddLiteral.lo `test -f 'cudd/cuddLiteral.c' || echo './'`cudd/cuddLiteral.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddLiteral.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddLiteral.Tpo -c cudd/cuddLiteral.c -o cudd/cudd_libcudd_la-cuddLiteral.o mv -f cudd/.deps/cudd_libcudd_la-cuddInteract.Tpo cudd/.deps/cudd_libcudd_la-cuddInteract.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddMatMult.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddMatMult.Tpo -c -o cudd/cudd_libcudd_la-cuddMatMult.lo `test -f 'cudd/cuddMatMult.c' || echo './'`cudd/cuddMatMult.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddMatMult.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddMatMult.Tpo -c cudd/cuddMatMult.c -o cudd/cudd_libcudd_la-cuddMatMult.o mv -f cudd/.deps/cudd_libcudd_la-cuddLiteral.Tpo cudd/.deps/cudd_libcudd_la-cuddLiteral.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddPriority.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddPriority.Tpo -c -o cudd/cudd_libcudd_la-cuddPriority.lo `test -f 'cudd/cuddPriority.c' || echo './'`cudd/cuddPriority.c mv -f cudd/.deps/cudd_libcudd_la-cuddLCache.Tpo cudd/.deps/cudd_libcudd_la-cuddLCache.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddRead.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddRead.Tpo -c -o cudd/cudd_libcudd_la-cuddRead.lo `test -f 'cudd/cuddRead.c' || echo './'`cudd/cuddRead.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddPriority.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddPriority.Tpo -c cudd/cuddPriority.c -o cudd/cudd_libcudd_la-cuddPriority.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddRead.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddRead.Tpo -c cudd/cuddRead.c -o cudd/cudd_libcudd_la-cuddRead.o mv -f cudd/.deps/cudd_libcudd_la-cuddRead.Tpo cudd/.deps/cudd_libcudd_la-cuddRead.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddRef.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddRef.Tpo -c -o cudd/cudd_libcudd_la-cuddRef.lo `test -f 'cudd/cuddRef.c' || echo './'`cudd/cuddRef.c mv -f cudd/.deps/cudd_libcudd_la-cuddLinear.Tpo cudd/.deps/cudd_libcudd_la-cuddLinear.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddReorder.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddReorder.Tpo -c -o cudd/cudd_libcudd_la-cuddReorder.lo `test -f 'cudd/cuddReorder.c' || echo './'`cudd/cuddReorder.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddRef.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddRef.Tpo -c cudd/cuddRef.c -o cudd/cudd_libcudd_la-cuddRef.o mv -f cudd/.deps/cudd_libcudd_la-cuddGenCof.Tpo cudd/.deps/cudd_libcudd_la-cuddGenCof.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddSat.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSat.Tpo -c -o cudd/cudd_libcudd_la-cuddSat.lo `test -f 'cudd/cuddSat.c' || echo './'`cudd/cuddSat.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddReorder.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddReorder.Tpo -c cudd/cuddReorder.c -o cudd/cudd_libcudd_la-cuddReorder.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddSat.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSat.Tpo -c cudd/cuddSat.c -o cudd/cudd_libcudd_la-cuddSat.o mv -f cudd/.deps/cudd_libcudd_la-cuddMatMult.Tpo cudd/.deps/cudd_libcudd_la-cuddMatMult.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddSign.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSign.Tpo -c -o cudd/cudd_libcudd_la-cuddSign.lo `test -f 'cudd/cuddSign.c' || echo './'`cudd/cuddSign.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddSign.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSign.Tpo -c cudd/cuddSign.c -o cudd/cudd_libcudd_la-cuddSign.o mv -f cudd/.deps/cudd_libcudd_la-cuddGroup.Tpo cudd/.deps/cudd_libcudd_la-cuddGroup.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddSolve.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSolve.Tpo -c -o cudd/cudd_libcudd_la-cuddSolve.lo `test -f 'cudd/cuddSolve.c' || echo './'`cudd/cuddSolve.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddSolve.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSolve.Tpo -c cudd/cuddSolve.c -o cudd/cudd_libcudd_la-cuddSolve.o mv -f cudd/.deps/cudd_libcudd_la-cuddRef.Tpo cudd/.deps/cudd_libcudd_la-cuddRef.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddSplit.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSplit.Tpo -c -o cudd/cudd_libcudd_la-cuddSplit.lo `test -f 'cudd/cuddSplit.c' || echo './'`cudd/cuddSplit.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddSplit.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSplit.Tpo -c cudd/cuddSplit.c -o cudd/cudd_libcudd_la-cuddSplit.o mv -f cudd/.deps/cudd_libcudd_la-cuddSign.Tpo cudd/.deps/cudd_libcudd_la-cuddSign.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddSubsetHB.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSubsetHB.Tpo -c -o cudd/cudd_libcudd_la-cuddSubsetHB.lo `test -f 'cudd/cuddSubsetHB.c' || echo './'`cudd/cuddSubsetHB.c mv -f cudd/.deps/cudd_libcudd_la-cuddSolve.Tpo cudd/.deps/cudd_libcudd_la-cuddSolve.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddSubsetSP.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSubsetSP.Tpo -c -o cudd/cudd_libcudd_la-cuddSubsetSP.lo `test -f 'cudd/cuddSubsetSP.c' || echo './'`cudd/cuddSubsetSP.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddSubsetHB.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSubsetHB.Tpo -c cudd/cuddSubsetHB.c -o cudd/cudd_libcudd_la-cuddSubsetHB.o mv -f cudd/.deps/cudd_libcudd_la-cuddSplit.Tpo cudd/.deps/cudd_libcudd_la-cuddSplit.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddSymmetry.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSymmetry.Tpo -c -o cudd/cudd_libcudd_la-cuddSymmetry.lo `test -f 'cudd/cuddSymmetry.c' || echo './'`cudd/cuddSymmetry.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddSubsetSP.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSubsetSP.Tpo -c cudd/cuddSubsetSP.c -o cudd/cudd_libcudd_la-cuddSubsetSP.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddSymmetry.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSymmetry.Tpo -c cudd/cuddSymmetry.c -o cudd/cudd_libcudd_la-cuddSymmetry.o mv -f cudd/.deps/cudd_libcudd_la-cuddSat.Tpo cudd/.deps/cudd_libcudd_la-cuddSat.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddTable.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddTable.Tpo -c -o cudd/cudd_libcudd_la-cuddTable.lo `test -f 'cudd/cuddTable.c' || echo './'`cudd/cuddTable.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddTable.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddTable.Tpo -c cudd/cuddTable.c -o cudd/cudd_libcudd_la-cuddTable.o mv -f cudd/.deps/cudd_libcudd_la-cuddPriority.Tpo cudd/.deps/cudd_libcudd_la-cuddPriority.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddUtil.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddUtil.Tpo -c -o cudd/cudd_libcudd_la-cuddUtil.lo `test -f 'cudd/cuddUtil.c' || echo './'`cudd/cuddUtil.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddUtil.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddUtil.Tpo -c cudd/cuddUtil.c -o cudd/cudd_libcudd_la-cuddUtil.o mv -f cudd/.deps/cudd_libcudd_la-cuddReorder.Tpo cudd/.deps/cudd_libcudd_la-cuddReorder.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddWindow.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddWindow.Tpo -c -o cudd/cudd_libcudd_la-cuddWindow.lo `test -f 'cudd/cuddWindow.c' || echo './'`cudd/cuddWindow.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddWindow.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddWindow.Tpo -c cudd/cuddWindow.c -o cudd/cudd_libcudd_la-cuddWindow.o mv -f cudd/.deps/cudd_libcudd_la-cuddSubsetSP.Tpo cudd/.deps/cudd_libcudd_la-cuddSubsetSP.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddZddCount.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddCount.Tpo -c -o cudd/cudd_libcudd_la-cuddZddCount.lo `test -f 'cudd/cuddZddCount.c' || echo './'`cudd/cuddZddCount.c mv -f cudd/.deps/cudd_libcudd_la-cuddSubsetHB.Tpo cudd/.deps/cudd_libcudd_la-cuddSubsetHB.Plo libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddZddCount.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddCount.Tpo -c cudd/cuddZddCount.c -o cudd/cudd_libcudd_la-cuddZddCount.o /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddZddFuncs.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddFuncs.Tpo -c -o cudd/cudd_libcudd_la-cuddZddFuncs.lo `test -f 'cudd/cuddZddFuncs.c' || echo './'`cudd/cuddZddFuncs.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddZddFuncs.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddFuncs.Tpo -c cudd/cuddZddFuncs.c -o cudd/cudd_libcudd_la-cuddZddFuncs.o mv -f cudd/.deps/cudd_libcudd_la-cuddWindow.Tpo cudd/.deps/cudd_libcudd_la-cuddWindow.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddZddGroup.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddGroup.Tpo -c -o cudd/cudd_libcudd_la-cuddZddGroup.lo `test -f 'cudd/cuddZddGroup.c' || echo './'`cudd/cuddZddGroup.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddZddGroup.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddGroup.Tpo -c cudd/cuddZddGroup.c -o cudd/cudd_libcudd_la-cuddZddGroup.o mv -f cudd/.deps/cudd_libcudd_la-cuddZddCount.Tpo cudd/.deps/cudd_libcudd_la-cuddZddCount.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddZddIsop.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddIsop.Tpo -c -o cudd/cudd_libcudd_la-cuddZddIsop.lo `test -f 'cudd/cuddZddIsop.c' || echo './'`cudd/cuddZddIsop.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddZddIsop.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddIsop.Tpo -c cudd/cuddZddIsop.c -o cudd/cudd_libcudd_la-cuddZddIsop.o mv -f cudd/.deps/cudd_libcudd_la-cuddSymmetry.Tpo cudd/.deps/cudd_libcudd_la-cuddSymmetry.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddZddLin.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddLin.Tpo -c -o cudd/cudd_libcudd_la-cuddZddLin.lo `test -f 'cudd/cuddZddLin.c' || echo './'`cudd/cuddZddLin.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddZddLin.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddLin.Tpo -c cudd/cuddZddLin.c -o cudd/cudd_libcudd_la-cuddZddLin.o mv -f cudd/.deps/cudd_libcudd_la-cuddTable.Tpo cudd/.deps/cudd_libcudd_la-cuddTable.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddZddMisc.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddMisc.Tpo -c -o cudd/cudd_libcudd_la-cuddZddMisc.lo `test -f 'cudd/cuddZddMisc.c' || echo './'`cudd/cuddZddMisc.c mv -f cudd/.deps/cudd_libcudd_la-cuddZddGroup.Tpo cudd/.deps/cudd_libcudd_la-cuddZddGroup.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddZddPort.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddPort.Tpo -c -o cudd/cudd_libcudd_la-cuddZddPort.lo `test -f 'cudd/cuddZddPort.c' || echo './'`cudd/cuddZddPort.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddZddMisc.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddMisc.Tpo -c cudd/cuddZddMisc.c -o cudd/cudd_libcudd_la-cuddZddMisc.o mv -f cudd/.deps/cudd_libcudd_la-cuddZddLin.Tpo cudd/.deps/cudd_libcudd_la-cuddZddLin.Plo libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddZddPort.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddPort.Tpo -c cudd/cuddZddPort.c -o cudd/cudd_libcudd_la-cuddZddPort.o /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddZddReord.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddReord.Tpo -c -o cudd/cudd_libcudd_la-cuddZddReord.lo `test -f 'cudd/cuddZddReord.c' || echo './'`cudd/cuddZddReord.c mv -f cudd/.deps/cudd_libcudd_la-cuddZddIsop.Tpo cudd/.deps/cudd_libcudd_la-cuddZddIsop.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddZddSetop.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddSetop.Tpo -c -o cudd/cudd_libcudd_la-cuddZddSetop.lo `test -f 'cudd/cuddZddSetop.c' || echo './'`cudd/cuddZddSetop.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddZddReord.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddReord.Tpo -c cudd/cuddZddReord.c -o cudd/cudd_libcudd_la-cuddZddReord.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddZddSetop.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddSetop.Tpo -c cudd/cuddZddSetop.c -o cudd/cudd_libcudd_la-cuddZddSetop.o mv -f cudd/.deps/cudd_libcudd_la-cuddZddMisc.Tpo cudd/.deps/cudd_libcudd_la-cuddZddMisc.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddZddSymm.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddSymm.Tpo -c -o cudd/cudd_libcudd_la-cuddZddSymm.lo `test -f 'cudd/cuddZddSymm.c' || echo './'`cudd/cuddZddSymm.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddZddSymm.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddSymm.Tpo -c cudd/cuddZddSymm.c -o cudd/cudd_libcudd_la-cuddZddSymm.o mv -f cudd/.deps/cudd_libcudd_la-cuddZddFuncs.Tpo cudd/.deps/cudd_libcudd_la-cuddZddFuncs.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddZddUtil.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddUtil.Tpo -c -o cudd/cudd_libcudd_la-cuddZddUtil.lo `test -f 'cudd/cuddZddUtil.c' || echo './'`cudd/cuddZddUtil.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT cudd/cudd_libcudd_la-cuddZddUtil.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddUtil.Tpo -c cudd/cuddZddUtil.c -o cudd/cudd_libcudd_la-cuddZddUtil.o mv -f cudd/.deps/cudd_libcudd_la-cuddZddPort.Tpo cudd/.deps/cudd_libcudd_la-cuddZddPort.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT util/cudd_libcudd_la-cpu_stats.lo -MD -MP -MF util/.deps/cudd_libcudd_la-cpu_stats.Tpo -c -o util/cudd_libcudd_la-cpu_stats.lo `test -f 'util/cpu_stats.c' || echo './'`util/cpu_stats.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT util/cudd_libcudd_la-cpu_stats.lo -MD -MP -MF util/.deps/cudd_libcudd_la-cpu_stats.Tpo -c util/cpu_stats.c -o util/cudd_libcudd_la-cpu_stats.o mv -f util/.deps/cudd_libcudd_la-cpu_stats.Tpo util/.deps/cudd_libcudd_la-cpu_stats.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT util/cudd_libcudd_la-cpu_time.lo -MD -MP -MF util/.deps/cudd_libcudd_la-cpu_time.Tpo -c -o util/cudd_libcudd_la-cpu_time.lo `test -f 'util/cpu_time.c' || echo './'`util/cpu_time.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT util/cudd_libcudd_la-cpu_time.lo -MD -MP -MF util/.deps/cudd_libcudd_la-cpu_time.Tpo -c util/cpu_time.c -o util/cudd_libcudd_la-cpu_time.o mv -f util/.deps/cudd_libcudd_la-cpu_time.Tpo util/.deps/cudd_libcudd_la-cpu_time.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT util/cudd_libcudd_la-datalimit.lo -MD -MP -MF util/.deps/cudd_libcudd_la-datalimit.Tpo -c -o util/cudd_libcudd_la-datalimit.lo `test -f 'util/datalimit.c' || echo './'`util/datalimit.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT util/cudd_libcudd_la-datalimit.lo -MD -MP -MF util/.deps/cudd_libcudd_la-datalimit.Tpo -c util/datalimit.c -o util/cudd_libcudd_la-datalimit.o mv -f util/.deps/cudd_libcudd_la-datalimit.Tpo util/.deps/cudd_libcudd_la-datalimit.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT util/cudd_libcudd_la-pathsearch.lo -MD -MP -MF util/.deps/cudd_libcudd_la-pathsearch.Tpo -c -o util/cudd_libcudd_la-pathsearch.lo `test -f 'util/pathsearch.c' || echo './'`util/pathsearch.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT util/cudd_libcudd_la-pathsearch.lo -MD -MP -MF util/.deps/cudd_libcudd_la-pathsearch.Tpo -c util/pathsearch.c -o util/cudd_libcudd_la-pathsearch.o mv -f cudd/.deps/cudd_libcudd_la-cuddZddUtil.Tpo cudd/.deps/cudd_libcudd_la-cuddZddUtil.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT util/cudd_libcudd_la-pipefork.lo -MD -MP -MF util/.deps/cudd_libcudd_la-pipefork.Tpo -c -o util/cudd_libcudd_la-pipefork.lo `test -f 'util/pipefork.c' || echo './'`util/pipefork.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT util/cudd_libcudd_la-pipefork.lo -MD -MP -MF util/.deps/cudd_libcudd_la-pipefork.Tpo -c util/pipefork.c -o util/cudd_libcudd_la-pipefork.o mv -f cudd/.deps/cudd_libcudd_la-cuddZddReord.Tpo cudd/.deps/cudd_libcudd_la-cuddZddReord.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT util/cudd_libcudd_la-prtime.lo -MD -MP -MF util/.deps/cudd_libcudd_la-prtime.Tpo -c -o util/cudd_libcudd_la-prtime.lo `test -f 'util/prtime.c' || echo './'`util/prtime.c mv -f util/.deps/cudd_libcudd_la-pathsearch.Tpo util/.deps/cudd_libcudd_la-pathsearch.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT util/cudd_libcudd_la-safe_mem.lo -MD -MP -MF util/.deps/cudd_libcudd_la-safe_mem.Tpo -c -o util/cudd_libcudd_la-safe_mem.lo `test -f 'util/safe_mem.c' || echo './'`util/safe_mem.c mv -f util/.deps/cudd_libcudd_la-pipefork.Tpo util/.deps/cudd_libcudd_la-pipefork.Plo libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT util/cudd_libcudd_la-prtime.lo -MD -MP -MF util/.deps/cudd_libcudd_la-prtime.Tpo -c util/prtime.c -o util/cudd_libcudd_la-prtime.o /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT util/cudd_libcudd_la-strsav.lo -MD -MP -MF util/.deps/cudd_libcudd_la-strsav.Tpo -c -o util/cudd_libcudd_la-strsav.lo `test -f 'util/strsav.c' || echo './'`util/strsav.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT util/cudd_libcudd_la-safe_mem.lo -MD -MP -MF util/.deps/cudd_libcudd_la-safe_mem.Tpo -c util/safe_mem.c -o util/cudd_libcudd_la-safe_mem.o mv -f cudd/.deps/cudd_libcudd_la-cuddZddSetop.Tpo cudd/.deps/cudd_libcudd_la-cuddZddSetop.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT util/cudd_libcudd_la-texpand.lo -MD -MP -MF util/.deps/cudd_libcudd_la-texpand.Tpo -c -o util/cudd_libcudd_la-texpand.lo `test -f 'util/texpand.c' || echo './'`util/texpand.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT util/cudd_libcudd_la-strsav.lo -MD -MP -MF util/.deps/cudd_libcudd_la-strsav.Tpo -c util/strsav.c -o util/cudd_libcudd_la-strsav.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT util/cudd_libcudd_la-texpand.lo -MD -MP -MF util/.deps/cudd_libcudd_la-texpand.Tpo -c util/texpand.c -o util/cudd_libcudd_la-texpand.o mv -f util/.deps/cudd_libcudd_la-prtime.Tpo util/.deps/cudd_libcudd_la-prtime.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT util/cudd_libcudd_la-ucbqsort.lo -MD -MP -MF util/.deps/cudd_libcudd_la-ucbqsort.Tpo -c -o util/cudd_libcudd_la-ucbqsort.lo `test -f 'util/ucbqsort.c' || echo './'`util/ucbqsort.c mv -f util/.deps/cudd_libcudd_la-safe_mem.Tpo util/.deps/cudd_libcudd_la-safe_mem.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT st/cudd_libcudd_la-st.lo -MD -MP -MF st/.deps/cudd_libcudd_la-st.Tpo -c -o st/cudd_libcudd_la-st.lo `test -f 'st/st.c' || echo './'`st/st.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT st/cudd_libcudd_la-st.lo -MD -MP -MF st/.deps/cudd_libcudd_la-st.Tpo -c st/st.c -o st/cudd_libcudd_la-st.o mv -f util/.deps/cudd_libcudd_la-texpand.Tpo util/.deps/cudd_libcudd_la-texpand.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT mtr/cudd_libcudd_la-mtrBasic.lo -MD -MP -MF mtr/.deps/cudd_libcudd_la-mtrBasic.Tpo -c -o mtr/cudd_libcudd_la-mtrBasic.lo `test -f 'mtr/mtrBasic.c' || echo './'`mtr/mtrBasic.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT util/cudd_libcudd_la-ucbqsort.lo -MD -MP -MF util/.deps/cudd_libcudd_la-ucbqsort.Tpo -c util/ucbqsort.c -o util/cudd_libcudd_la-ucbqsort.o mv -f util/.deps/cudd_libcudd_la-strsav.Tpo util/.deps/cudd_libcudd_la-strsav.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT mtr/cudd_libcudd_la-mtrGroup.lo -MD -MP -MF mtr/.deps/cudd_libcudd_la-mtrGroup.Tpo -c -o mtr/cudd_libcudd_la-mtrGroup.lo `test -f 'mtr/mtrGroup.c' || echo './'`mtr/mtrGroup.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT mtr/cudd_libcudd_la-mtrBasic.lo -MD -MP -MF mtr/.deps/cudd_libcudd_la-mtrBasic.Tpo -c mtr/mtrBasic.c -o mtr/cudd_libcudd_la-mtrBasic.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT mtr/cudd_libcudd_la-mtrGroup.lo -MD -MP -MF mtr/.deps/cudd_libcudd_la-mtrGroup.Tpo -c mtr/mtrGroup.c -o mtr/cudd_libcudd_la-mtrGroup.o mv -f cudd/.deps/cudd_libcudd_la-cuddZddSymm.Tpo cudd/.deps/cudd_libcudd_la-cuddZddSymm.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT dddmp/cudd_libcudd_la-dddmpBinary.lo -MD -MP -MF dddmp/.deps/cudd_libcudd_la-dddmpBinary.Tpo -c -o dddmp/cudd_libcudd_la-dddmpBinary.lo `test -f 'dddmp/dddmpBinary.c' || echo './'`dddmp/dddmpBinary.c mv -f mtr/.deps/cudd_libcudd_la-mtrBasic.Tpo mtr/.deps/cudd_libcudd_la-mtrBasic.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT dddmp/cudd_libcudd_la-dddmpConvert.lo -MD -MP -MF dddmp/.deps/cudd_libcudd_la-dddmpConvert.Tpo -c -o dddmp/cudd_libcudd_la-dddmpConvert.lo `test -f 'dddmp/dddmpConvert.c' || echo './'`dddmp/dddmpConvert.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT dddmp/cudd_libcudd_la-dddmpBinary.lo -MD -MP -MF dddmp/.deps/cudd_libcudd_la-dddmpBinary.Tpo -c dddmp/dddmpBinary.c -o dddmp/cudd_libcudd_la-dddmpBinary.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT dddmp/cudd_libcudd_la-dddmpConvert.lo -MD -MP -MF dddmp/.deps/cudd_libcudd_la-dddmpConvert.Tpo -c dddmp/dddmpConvert.c -o dddmp/cudd_libcudd_la-dddmpConvert.o mv -f util/.deps/cudd_libcudd_la-ucbqsort.Tpo util/.deps/cudd_libcudd_la-ucbqsort.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT dddmp/cudd_libcudd_la-dddmpDbg.lo -MD -MP -MF dddmp/.deps/cudd_libcudd_la-dddmpDbg.Tpo -c -o dddmp/cudd_libcudd_la-dddmpDbg.lo `test -f 'dddmp/dddmpDbg.c' || echo './'`dddmp/dddmpDbg.c mv -f dddmp/.deps/cudd_libcudd_la-dddmpConvert.Tpo dddmp/.deps/cudd_libcudd_la-dddmpConvert.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT dddmp/cudd_libcudd_la-dddmpLoad.lo -MD -MP -MF dddmp/.deps/cudd_libcudd_la-dddmpLoad.Tpo -c -o dddmp/cudd_libcudd_la-dddmpLoad.lo `test -f 'dddmp/dddmpLoad.c' || echo './'`dddmp/dddmpLoad.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT dddmp/cudd_libcudd_la-dddmpDbg.lo -MD -MP -MF dddmp/.deps/cudd_libcudd_la-dddmpDbg.Tpo -c dddmp/dddmpDbg.c -o dddmp/cudd_libcudd_la-dddmpDbg.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT dddmp/cudd_libcudd_la-dddmpLoad.lo -MD -MP -MF dddmp/.deps/cudd_libcudd_la-dddmpLoad.Tpo -c dddmp/dddmpLoad.c -o dddmp/cudd_libcudd_la-dddmpLoad.o mv -f dddmp/.deps/cudd_libcudd_la-dddmpBinary.Tpo dddmp/.deps/cudd_libcudd_la-dddmpBinary.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT dddmp/cudd_libcudd_la-dddmpLoadCnf.lo -MD -MP -MF dddmp/.deps/cudd_libcudd_la-dddmpLoadCnf.Tpo -c -o dddmp/cudd_libcudd_la-dddmpLoadCnf.lo `test -f 'dddmp/dddmpLoadCnf.c' || echo './'`dddmp/dddmpLoadCnf.c mv -f st/.deps/cudd_libcudd_la-st.Tpo st/.deps/cudd_libcudd_la-st.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT dddmp/cudd_libcudd_la-dddmpNodeAdd.lo -MD -MP -MF dddmp/.deps/cudd_libcudd_la-dddmpNodeAdd.Tpo -c -o dddmp/cudd_libcudd_la-dddmpNodeAdd.lo `test -f 'dddmp/dddmpNodeAdd.c' || echo './'`dddmp/dddmpNodeAdd.c mv -f dddmp/.deps/cudd_libcudd_la-dddmpDbg.Tpo dddmp/.deps/cudd_libcudd_la-dddmpDbg.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT dddmp/cudd_libcudd_la-dddmpNodeBdd.lo -MD -MP -MF dddmp/.deps/cudd_libcudd_la-dddmpNodeBdd.Tpo -c -o dddmp/cudd_libcudd_la-dddmpNodeBdd.lo `test -f 'dddmp/dddmpNodeBdd.c' || echo './'`dddmp/dddmpNodeBdd.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT dddmp/cudd_libcudd_la-dddmpNodeAdd.lo -MD -MP -MF dddmp/.deps/cudd_libcudd_la-dddmpNodeAdd.Tpo -c dddmp/dddmpNodeAdd.c -o dddmp/cudd_libcudd_la-dddmpNodeAdd.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT dddmp/cudd_libcudd_la-dddmpLoadCnf.lo -MD -MP -MF dddmp/.deps/cudd_libcudd_la-dddmpLoadCnf.Tpo -c dddmp/dddmpLoadCnf.c -o dddmp/cudd_libcudd_la-dddmpLoadCnf.o libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT dddmp/cudd_libcudd_la-dddmpNodeBdd.lo -MD -MP -MF dddmp/.deps/cudd_libcudd_la-dddmpNodeBdd.Tpo -c dddmp/dddmpNodeBdd.c -o dddmp/cudd_libcudd_la-dddmpNodeBdd.o mv -f mtr/.deps/cudd_libcudd_la-mtrGroup.Tpo mtr/.deps/cudd_libcudd_la-mtrGroup.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT dddmp/cudd_libcudd_la-dddmpNodeCnf.lo -MD -MP -MF dddmp/.deps/cudd_libcudd_la-dddmpNodeCnf.Tpo -c -o dddmp/cudd_libcudd_la-dddmpNodeCnf.lo `test -f 'dddmp/dddmpNodeCnf.c' || echo './'`dddmp/dddmpNodeCnf.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT dddmp/cudd_libcudd_la-dddmpNodeCnf.lo -MD -MP -MF dddmp/.deps/cudd_libcudd_la-dddmpNodeCnf.Tpo -c dddmp/dddmpNodeCnf.c -o dddmp/cudd_libcudd_la-dddmpNodeCnf.o mv -f dddmp/.deps/cudd_libcudd_la-dddmpNodeAdd.Tpo dddmp/.deps/cudd_libcudd_la-dddmpNodeAdd.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT dddmp/cudd_libcudd_la-dddmpStoreAdd.lo -MD -MP -MF dddmp/.deps/cudd_libcudd_la-dddmpStoreAdd.Tpo -c -o dddmp/cudd_libcudd_la-dddmpStoreAdd.lo `test -f 'dddmp/dddmpStoreAdd.c' || echo './'`dddmp/dddmpStoreAdd.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT dddmp/cudd_libcudd_la-dddmpStoreAdd.lo -MD -MP -MF dddmp/.deps/cudd_libcudd_la-dddmpStoreAdd.Tpo -c dddmp/dddmpStoreAdd.c -o dddmp/cudd_libcudd_la-dddmpStoreAdd.o mv -f dddmp/.deps/cudd_libcudd_la-dddmpNodeBdd.Tpo dddmp/.deps/cudd_libcudd_la-dddmpNodeBdd.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT dddmp/cudd_libcudd_la-dddmpStoreBdd.lo -MD -MP -MF dddmp/.deps/cudd_libcudd_la-dddmpStoreBdd.Tpo -c -o dddmp/cudd_libcudd_la-dddmpStoreBdd.lo `test -f 'dddmp/dddmpStoreBdd.c' || echo './'`dddmp/dddmpStoreBdd.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT dddmp/cudd_libcudd_la-dddmpStoreBdd.lo -MD -MP -MF dddmp/.deps/cudd_libcudd_la-dddmpStoreBdd.Tpo -c dddmp/dddmpStoreBdd.c -o dddmp/cudd_libcudd_la-dddmpStoreBdd.o mv -f dddmp/.deps/cudd_libcudd_la-dddmpLoadCnf.Tpo dddmp/.deps/cudd_libcudd_la-dddmpLoadCnf.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT dddmp/cudd_libcudd_la-dddmpStoreCnf.lo -MD -MP -MF dddmp/.deps/cudd_libcudd_la-dddmpStoreCnf.Tpo -c -o dddmp/cudd_libcudd_la-dddmpStoreCnf.lo `test -f 'dddmp/dddmpStoreCnf.c' || echo './'`dddmp/dddmpStoreCnf.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT dddmp/cudd_libcudd_la-dddmpStoreCnf.lo -MD -MP -MF dddmp/.deps/cudd_libcudd_la-dddmpStoreCnf.Tpo -c dddmp/dddmpStoreCnf.c -o dddmp/cudd_libcudd_la-dddmpStoreCnf.o mv -f cudd/.deps/cudd_libcudd_la-cuddUtil.Tpo cudd/.deps/cudd_libcudd_la-cuddUtil.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT dddmp/cudd_libcudd_la-dddmpStoreMisc.lo -MD -MP -MF dddmp/.deps/cudd_libcudd_la-dddmpStoreMisc.Tpo -c -o dddmp/cudd_libcudd_la-dddmpStoreMisc.lo `test -f 'dddmp/dddmpStoreMisc.c' || echo './'`dddmp/dddmpStoreMisc.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT dddmp/cudd_libcudd_la-dddmpStoreMisc.lo -MD -MP -MF dddmp/.deps/cudd_libcudd_la-dddmpStoreMisc.Tpo -c dddmp/dddmpStoreMisc.c -o dddmp/cudd_libcudd_la-dddmpStoreMisc.o mv -f dddmp/.deps/cudd_libcudd_la-dddmpLoad.Tpo dddmp/.deps/cudd_libcudd_la-dddmpLoad.Plo /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT dddmp/cudd_libcudd_la-dddmpUtil.lo -MD -MP -MF dddmp/.deps/cudd_libcudd_la-dddmpUtil.Tpo -c -o dddmp/cudd_libcudd_la-dddmpUtil.lo `test -f 'dddmp/dddmpUtil.c' || echo './'`dddmp/dddmpUtil.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -O3 -MT dddmp/cudd_libcudd_la-dddmpUtil.lo -MD -MP -MF dddmp/.deps/cudd_libcudd_la-dddmpUtil.Tpo -c dddmp/dddmpUtil.c -o dddmp/cudd_libcudd_la-dddmpUtil.o mv -f dddmp/.deps/cudd_libcudd_la-dddmpNodeCnf.Tpo dddmp/.deps/cudd_libcudd_la-dddmpNodeCnf.Plo /bin/bash ./libtool --tag=CXX --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -std=c++14 -O3 -MT cplusplus/cudd_libcudd_la-cuddObj.lo -MD -MP -MF cplusplus/.deps/cudd_libcudd_la-cuddObj.Tpo -c -o cplusplus/cudd_libcudd_la-cuddObj.lo `test -f 'cplusplus/cuddObj.cc' || echo './'`cplusplus/cuddObj.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -Wall -Wextra -g -std=c++14 -O3 -MT cplusplus/cudd_libcudd_la-cuddObj.lo -MD -MP -MF cplusplus/.deps/cudd_libcudd_la-cuddObj.Tpo -c cplusplus/cuddObj.cc -o cplusplus/cudd_libcudd_la-cuddObj.o mv -f dddmp/.deps/cudd_libcudd_la-dddmpUtil.Tpo dddmp/.deps/cudd_libcudd_la-dddmpUtil.Plo mv -f dddmp/.deps/cudd_libcudd_la-dddmpStoreCnf.Tpo dddmp/.deps/cudd_libcudd_la-dddmpStoreCnf.Plo mv -f dddmp/.deps/cudd_libcudd_la-dddmpStoreMisc.Tpo dddmp/.deps/cudd_libcudd_la-dddmpStoreMisc.Plo mv -f dddmp/.deps/cudd_libcudd_la-dddmpStoreAdd.Tpo dddmp/.deps/cudd_libcudd_la-dddmpStoreAdd.Plo mv -f dddmp/.deps/cudd_libcudd_la-dddmpStoreBdd.Tpo dddmp/.deps/cudd_libcudd_la-dddmpStoreBdd.Plo mv -f cplusplus/.deps/cudd_libcudd_la-cuddObj.Tpo cplusplus/.deps/cudd_libcudd_la-cuddObj.Plo /bin/bash ./libtool --tag=CXX --tag=CXX --mode=link g++ -m64 -Wall -Wextra -g -std=c++14 -O3 -release 3.0.0 -version-info 0:0:0 -no-undefined -m64 -o cudd/libcudd.la -rpath /usr/local/lib cudd/cudd_libcudd_la-cuddAddAbs.lo cudd/cudd_libcudd_la-cuddAddApply.lo cudd/cudd_libcudd_la-cuddAddFind.lo cudd/cudd_libcudd_la-cuddAddInv.lo cudd/cudd_libcudd_la-cuddAddIte.lo cudd/cudd_libcudd_la-cuddAddNeg.lo cudd/cudd_libcudd_la-cuddAddWalsh.lo cudd/cudd_libcudd_la-cuddAndAbs.lo cudd/cudd_libcudd_la-cuddAnneal.lo cudd/cudd_libcudd_la-cuddApa.lo cudd/cudd_libcudd_la-cuddAPI.lo cudd/cudd_libcudd_la-cuddApprox.lo cudd/cudd_libcudd_la-cuddBddAbs.lo cudd/cudd_libcudd_la-cuddBddCorr.lo cudd/cudd_libcudd_la-cuddBddIte.lo cudd/cudd_libcudd_la-cuddBridge.lo cudd/cudd_libcudd_la-cuddCache.lo cudd/cudd_libcudd_la-cuddCheck.lo cudd/cudd_libcudd_la-cuddClip.lo cudd/cudd_libcudd_la-cuddCof.lo cudd/cudd_libcudd_la-cuddCompose.lo cudd/cudd_libcudd_la-cuddDecomp.lo cudd/cudd_libcudd_la-cuddEssent.lo cudd/cudd_libcudd_la-cuddExact.lo cudd/cudd_libcudd_la-cuddExport.lo cudd/cudd_libcudd_la-cuddGenCof.lo cudd/cudd_libcudd_la-cuddGenetic.lo cudd/cudd_libcudd_la-cuddGroup.lo cudd/cudd_libcudd_la-cuddHarwell.lo cudd/cudd_libcudd_la-cuddInit.lo cudd/cudd_libcudd_la-cuddInteract.lo cudd/cudd_libcudd_la-cuddLCache.lo cudd/cudd_libcudd_la-cuddLevelQ.lo cudd/cudd_libcudd_la-cuddLinear.lo cudd/cudd_libcudd_la-cuddLiteral.lo cudd/cudd_libcudd_la-cuddMatMult.lo cudd/cudd_libcudd_la-cuddPriority.lo cudd/cudd_libcudd_la-cuddRead.lo cudd/cudd_libcudd_la-cuddRef.lo cudd/cudd_libcudd_la-cuddReorder.lo cudd/cudd_libcudd_la-cuddSat.lo cudd/cudd_libcudd_la-cuddSign.lo cudd/cudd_libcudd_la-cuddSolve.lo cudd/cudd_libcudd_la-cuddSplit.lo cudd/cudd_libcudd_la-cuddSubsetHB.lo cudd/cudd_libcudd_la-cuddSubsetSP.lo cudd/cudd_libcudd_la-cuddSymmetry.lo cudd/cudd_libcudd_la-cuddTable.lo cudd/cudd_libcudd_la-cuddUtil.lo cudd/cudd_libcudd_la-cuddWindow.lo cudd/cudd_libcudd_la-cuddZddCount.lo cudd/cudd_libcudd_la-cuddZddFuncs.lo cudd/cudd_libcudd_la-cuddZddGroup.lo cudd/cudd_libcudd_la-cuddZddIsop.lo cudd/cudd_libcudd_la-cuddZddLin.lo cudd/cudd_libcudd_la-cuddZddMisc.lo cudd/cudd_libcudd_la-cuddZddPort.lo cudd/cudd_libcudd_la-cuddZddReord.lo cudd/cudd_libcudd_la-cuddZddSetop.lo cudd/cudd_libcudd_la-cuddZddSymm.lo cudd/cudd_libcudd_la-cuddZddUtil.lo util/cudd_libcudd_la-cpu_stats.lo util/cudd_libcudd_la-cpu_time.lo util/cudd_libcudd_la-cstringstream.lo util/cudd_libcudd_la-datalimit.lo util/cudd_libcudd_la-pathsearch.lo util/cudd_libcudd_la-pipefork.lo util/cudd_libcudd_la-prtime.lo util/cudd_libcudd_la-safe_mem.lo util/cudd_libcudd_la-strsav.lo util/cudd_libcudd_la-texpand.lo util/cudd_libcudd_la-ucbqsort.lo st/cudd_libcudd_la-st.lo epd/cudd_libcudd_la-epd.lo mtr/cudd_libcudd_la-mtrBasic.lo mtr/cudd_libcudd_la-mtrGroup.lo dddmp/cudd_libcudd_la-dddmpBinary.lo dddmp/cudd_libcudd_la-dddmpConvert.lo dddmp/cudd_libcudd_la-dddmpDbg.lo dddmp/cudd_libcudd_la-dddmpLoad.lo dddmp/cudd_libcudd_la-dddmpLoadCnf.lo dddmp/cudd_libcudd_la-dddmpNodeAdd.lo dddmp/cudd_libcudd_la-dddmpNodeBdd.lo dddmp/cudd_libcudd_la-dddmpNodeCnf.lo dddmp/cudd_libcudd_la-dddmpStoreAdd.lo dddmp/cudd_libcudd_la-dddmpStoreBdd.lo dddmp/cudd_libcudd_la-dddmpStoreCnf.lo dddmp/cudd_libcudd_la-dddmpStoreMisc.lo dddmp/cudd_libcudd_la-dddmpUtil.lo cplusplus/cudd_libcudd_la-cuddObj.lo -lm libtool: link: ar cru cudd/.libs/libcudd.a cudd/cudd_libcudd_la-cuddAddAbs.o cudd/cudd_libcudd_la-cuddAddApply.o cudd/cudd_libcudd_la-cuddAddFind.o cudd/cudd_libcudd_la-cuddAddInv.o cudd/cudd_libcudd_la-cuddAddIte.o cudd/cudd_libcudd_la-cuddAddNeg.o cudd/cudd_libcudd_la-cuddAddWalsh.o cudd/cudd_libcudd_la-cuddAndAbs.o cudd/cudd_libcudd_la-cuddAnneal.o cudd/cudd_libcudd_la-cuddApa.o cudd/cudd_libcudd_la-cuddAPI.o cudd/cudd_libcudd_la-cuddApprox.o cudd/cudd_libcudd_la-cuddBddAbs.o cudd/cudd_libcudd_la-cuddBddCorr.o cudd/cudd_libcudd_la-cuddBddIte.o cudd/cudd_libcudd_la-cuddBridge.o cudd/cudd_libcudd_la-cuddCache.o cudd/cudd_libcudd_la-cuddCheck.o cudd/cudd_libcudd_la-cuddClip.o cudd/cudd_libcudd_la-cuddCof.o cudd/cudd_libcudd_la-cuddCompose.o cudd/cudd_libcudd_la-cuddDecomp.o cudd/cudd_libcudd_la-cuddEssent.o cudd/cudd_libcudd_la-cuddExact.o cudd/cudd_libcudd_la-cuddExport.o cudd/cudd_libcudd_la-cuddGenCof.o cudd/cudd_libcudd_la-cuddGenetic.o cudd/cudd_libcudd_la-cuddGroup.o cudd/cudd_libcudd_la-cuddHarwell.o cudd/cudd_libcudd_la-cuddInit.o cudd/cudd_libcudd_la-cuddInteract.o cudd/cudd_libcudd_la-cuddLCache.o cudd/cudd_libcudd_la-cuddLevelQ.o cudd/cudd_libcudd_la-cuddLinear.o cudd/cudd_libcudd_la-cuddLiteral.o cudd/cudd_libcudd_la-cuddMatMult.o cudd/cudd_libcudd_la-cuddPriority.o cudd/cudd_libcudd_la-cuddRead.o cudd/cudd_libcudd_la-cuddRef.o cudd/cudd_libcudd_la-cuddReorder.o cudd/cudd_libcudd_la-cuddSat.o cudd/cudd_libcudd_la-cuddSign.o cudd/cudd_libcudd_la-cuddSolve.o cudd/cudd_libcudd_la-cuddSplit.o cudd/cudd_libcudd_la-cuddSubsetHB.o cudd/cudd_libcudd_la-cuddSubsetSP.o cudd/cudd_libcudd_la-cuddSymmetry.o cudd/cudd_libcudd_la-cuddTable.o cudd/cudd_libcudd_la-cuddUtil.o cudd/cudd_libcudd_la-cuddWindow.o cudd/cudd_libcudd_la-cuddZddCount.o cudd/cudd_libcudd_la-cuddZddFuncs.o cudd/cudd_libcudd_la-cuddZddGroup.o cudd/cudd_libcudd_la-cuddZddIsop.o cudd/cudd_libcudd_la-cuddZddLin.o cudd/cudd_libcudd_la-cuddZddMisc.o cudd/cudd_libcudd_la-cuddZddPort.o cudd/cudd_libcudd_la-cuddZddReord.o cudd/cudd_libcudd_la-cuddZddSetop.o cudd/cudd_libcudd_la-cuddZddSymm.o cudd/cudd_libcudd_la-cuddZddUtil.o util/cudd_libcudd_la-cpu_stats.o util/cudd_libcudd_la-cpu_time.o util/cudd_libcudd_la-cstringstream.o util/cudd_libcudd_la-datalimit.o util/cudd_libcudd_la-pathsearch.o util/cudd_libcudd_la-pipefork.o util/cudd_libcudd_la-prtime.o util/cudd_libcudd_la-safe_mem.o util/cudd_libcudd_la-strsav.o util/cudd_libcudd_la-texpand.o util/cudd_libcudd_la-ucbqsort.o st/cudd_libcudd_la-st.o epd/cudd_libcudd_la-epd.o mtr/cudd_libcudd_la-mtrBasic.o mtr/cudd_libcudd_la-mtrGroup.o dddmp/cudd_libcudd_la-dddmpBinary.o dddmp/cudd_libcudd_la-dddmpConvert.o dddmp/cudd_libcudd_la-dddmpDbg.o dddmp/cudd_libcudd_la-dddmpLoad.o dddmp/cudd_libcudd_la-dddmpLoadCnf.o dddmp/cudd_libcudd_la-dddmpNodeAdd.o dddmp/cudd_libcudd_la-dddmpNodeBdd.o dddmp/cudd_libcudd_la-dddmpNodeCnf.o dddmp/cudd_libcudd_la-dddmpStoreAdd.o dddmp/cudd_libcudd_la-dddmpStoreBdd.o dddmp/cudd_libcudd_la-dddmpStoreCnf.o dddmp/cudd_libcudd_la-dddmpStoreMisc.o dddmp/cudd_libcudd_la-dddmpUtil.o cplusplus/cudd_libcudd_la-cuddObj.o libtool: link: ranlib cudd/.libs/libcudd.a libtool: link: ( cd "cudd/.libs" && rm -f "libcudd.la" && ln -s "../libcudd.la" "libcudd.la" ) make[1]: Leaving directory '/planner/src/search/cudd-3.0.0' rm -f Makefile.temp for source in main.cc parser.cc prost_planner.cc search_engine.cc thts.cc action_selection.cc outcome_selection.cc backup_function.cc initializer.cc recommendation_function.cc depth_first_search.cc iterative_deepening_search.cc minimal_lookahead_search.cc uniform_evaluation_search.cc random_walk.cc ippc_client.cc states.cc evaluatables.cc logical_expressions.cc probability_distribution.cc utils/base64.cc utils/strxml.cc utils/stopwatch.cc utils/string_utils.cc utils/system_utils.cc utils/math_utils.cc utils/random.cc dd_heuristic_search.cc dd_heuristic/dd_heuristic.cc dd_heuristic/det_task.cc dd_heuristic/transition_relation.cc dd_heuristic/closed_list.cc dd_heuristic/sdac_parser/create_add.cc dd_heuristic/sdac_parser/catamorph.cc dd_heuristic/sdac_parser/create_ast.cc dd_heuristic/sdac_parser/expression.cc dd_heuristic/sdac_parser/factories.cc dd_heuristic/sdac_parser/parser.cc dd_heuristic/sdac_parser/printer.cc dd_heuristic/cudd_util.cc ; do \ g++ -MM -std=c++14 $source > Makefile.temp0; \ objfile=${source%%.cc}.o; \ sed -i -e "s@^[^:]*:@$objfile:@" Makefile.temp0; \ cat Makefile.temp0 >> Makefile.temp; \ done rm -f Makefile.temp0 Makefile.depend sed -e "s@\(.*\)\.o:\(.*\)@.obj/\1.o:\2@" Makefile.temp >> Makefile.depend sed -e "s@\(.*\)\.o:\(.*\)@.obj/\1.debug.o:\2@" Makefile.temp >> Makefile.depend rm -f Makefile.temp mkdir -p dd_heuristic/sdac_parser/boost_dependencies/cmake && cd dd_heuristic/sdac_parser/boost_dependencies/cmake && cmake .. && make g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c main.cc -o .obj/main.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c parser.cc -o .obj/parser.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c prost_planner.cc -o .obj/prost_planner.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c search_engine.cc -o .obj/search_engine.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c thts.cc -o .obj/thts.o -- The C compiler identification is GNU 7.3.0 -- The CXX compiler identification is GNU 7.3.0 -- Check for working C compiler: /usr/bin/cc -- Check for working C compiler: /usr/bin/cc -- works -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Detecting C compile features -- Detecting C compile features - done -- Check for working CXX compiler: /usr/bin/c++ -- Check for working CXX compiler: /usr/bin/c++ -- works -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Detecting CXX compile features -- Detecting CXX compile features - done -- Configuring done -- Generating done -- Build files have been written to: /planner/src/search/dd_heuristic/sdac_parser/boost_dependencies/cmake make[1]: Entering directory '/planner/src/search/dd_heuristic/sdac_parser/boost_dependencies/cmake' make[2]: Entering directory '/planner/src/search/dd_heuristic/sdac_parser/boost_dependencies/cmake' make[3]: Entering directory '/planner/src/search/dd_heuristic/sdac_parser/boost_dependencies/cmake' Scanning dependencies of target MiniBoost make[3]: Leaving directory '/planner/src/search/dd_heuristic/sdac_parser/boost_dependencies/cmake' make[3]: Entering directory '/planner/src/search/dd_heuristic/sdac_parser/boost_dependencies/cmake' [ 5%] Building CXX object libs/CMakeFiles/MiniBoost.dir/regex/src/c_regex_traits.cpp.o [ 11%] Building CXX object libs/CMakeFiles/MiniBoost.dir/regex/src/cpp_regex_traits.cpp.o [ 16%] Building CXX object libs/CMakeFiles/MiniBoost.dir/regex/src/cregex.cpp.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c action_selection.cc -o .obj/action_selection.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c outcome_selection.cc -o .obj/outcome_selection.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c backup_function.cc -o .obj/backup_function.o [ 22%] Building CXX object libs/CMakeFiles/MiniBoost.dir/regex/src/fileiter.cpp.o [ 27%] Building CXX object libs/CMakeFiles/MiniBoost.dir/regex/src/icu.cpp.o [ 33%] Building CXX object libs/CMakeFiles/MiniBoost.dir/regex/src/instances.cpp.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c initializer.cc -o .obj/initializer.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c recommendation_function.cc -o .obj/recommendation_function.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c depth_first_search.cc -o .obj/depth_first_search.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c iterative_deepening_search.cc -o .obj/iterative_deepening_search.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c minimal_lookahead_search.cc -o .obj/minimal_lookahead_search.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c uniform_evaluation_search.cc -o .obj/uniform_evaluation_search.o [ 38%] Building CXX object libs/CMakeFiles/MiniBoost.dir/regex/src/posix_api.cpp.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c random_walk.cc -o .obj/random_walk.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c ippc_client.cc -o .obj/ippc_client.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c states.cc -o .obj/states.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c evaluatables.cc -o .obj/evaluatables.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c logical_expressions.cc -o .obj/logical_expressions.o [ 44%] Building CXX object libs/CMakeFiles/MiniBoost.dir/regex/src/regex.cpp.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c probability_distribution.cc -o .obj/probability_distribution.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c utils/base64.cc -o .obj/utils/base64.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c utils/strxml.cc -o .obj/utils/strxml.o [ 50%] Building CXX object libs/CMakeFiles/MiniBoost.dir/regex/src/regex_debug.cpp.o [ 55%] Building CXX object libs/CMakeFiles/MiniBoost.dir/regex/src/regex_raw_buffer.cpp.o [ 61%] Building CXX object libs/CMakeFiles/MiniBoost.dir/regex/src/regex_traits_defaults.cpp.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c utils/stopwatch.cc -o .obj/utils/stopwatch.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c utils/string_utils.cc -o .obj/utils/string_utils.o [ 66%] Building CXX object libs/CMakeFiles/MiniBoost.dir/regex/src/static_mutex.cpp.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c utils/system_utils.cc -o .obj/utils/system_utils.o [ 72%] Building CXX object libs/CMakeFiles/MiniBoost.dir/regex/src/usinstances.cpp.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c utils/math_utils.cc -o .obj/utils/math_utils.o [ 77%] Building CXX object libs/CMakeFiles/MiniBoost.dir/regex/src/w32_regex_traits.cpp.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c utils/random.cc -o .obj/utils/random.o [ 83%] Building CXX object libs/CMakeFiles/MiniBoost.dir/regex/src/wc_regex_traits.cpp.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c dd_heuristic_search.cc -o .obj/dd_heuristic_search.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c dd_heuristic/dd_heuristic.cc -o .obj/dd_heuristic/dd_heuristic.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c dd_heuristic/det_task.cc -o .obj/dd_heuristic/det_task.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c dd_heuristic/transition_relation.cc -o .obj/dd_heuristic/transition_relation.o [ 88%] Building CXX object libs/CMakeFiles/MiniBoost.dir/regex/src/wide_posix_api.cpp.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c dd_heuristic/closed_list.cc -o .obj/dd_heuristic/closed_list.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c dd_heuristic/sdac_parser/create_add.cc -o .obj/dd_heuristic/sdac_parser/create_add.o [ 94%] Building CXX object libs/CMakeFiles/MiniBoost.dir/regex/src/winstances.cpp.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c dd_heuristic/sdac_parser/catamorph.cc -o .obj/dd_heuristic/sdac_parser/catamorph.o [100%] Linking CXX static library libMiniBoost.a make[3]: Leaving directory '/planner/src/search/dd_heuristic/sdac_parser/boost_dependencies/cmake' [100%] Built target MiniBoost make[2]: Leaving directory '/planner/src/search/dd_heuristic/sdac_parser/boost_dependencies/cmake' make[1]: Leaving directory '/planner/src/search/dd_heuristic/sdac_parser/boost_dependencies/cmake' g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c dd_heuristic/sdac_parser/create_ast.cc -o .obj/dd_heuristic/sdac_parser/create_ast.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c dd_heuristic/sdac_parser/expression.cc -o .obj/dd_heuristic/sdac_parser/expression.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c dd_heuristic/sdac_parser/factories.cc -o .obj/dd_heuristic/sdac_parser/factories.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c dd_heuristic/sdac_parser/parser.cc -o .obj/dd_heuristic/sdac_parser/parser.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c dd_heuristic/sdac_parser/printer.cc -o .obj/dd_heuristic/sdac_parser/printer.o g++ -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++14 -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 -fomit-frame-pointer -DNDEBUG -c dd_heuristic/cudd_util.cc -o .obj/dd_heuristic/cudd_util.o g++ -g -I ./cudd-3.0.0 -I ./cudd-3.0.0/util -I ./cudd-3.0.0/cplusplus -I ./cudd-3.0.0/cudd -I ./cudd-3.0.0/dddmp -I ./dd_heuristic/sdac_parser/boost_dependencies -m64 -O3 .obj/main.o .obj/parser.o .obj/prost_planner.o .obj/search_engine.o .obj/thts.o .obj/action_selection.o .obj/outcome_selection.o .obj/backup_function.o .obj/initializer.o .obj/recommendation_function.o .obj/depth_first_search.o .obj/iterative_deepening_search.o .obj/minimal_lookahead_search.o .obj/uniform_evaluation_search.o .obj/random_walk.o .obj/ippc_client.o .obj/states.o .obj/evaluatables.o .obj/logical_expressions.o .obj/probability_distribution.o .obj/utils/base64.o .obj/utils/strxml.o .obj/utils/stopwatch.o .obj/utils/string_utils.o .obj/utils/system_utils.o .obj/utils/math_utils.o .obj/utils/random.o .obj/dd_heuristic_search.o .obj/dd_heuristic/dd_heuristic.o .obj/dd_heuristic/det_task.o .obj/dd_heuristic/transition_relation.o .obj/dd_heuristic/closed_list.o .obj/dd_heuristic/sdac_parser/create_add.o .obj/dd_heuristic/sdac_parser/catamorph.o .obj/dd_heuristic/sdac_parser/create_ast.o .obj/dd_heuristic/sdac_parser/expression.o .obj/dd_heuristic/sdac_parser/factories.o .obj/dd_heuristic/sdac_parser/parser.o .obj/dd_heuristic/sdac_parser/printer.o .obj/dd_heuristic/cudd_util.o -o prost -lbdd -lstdc++fs -Wl,-Bdynamic ./cudd-3.0.0/cudd/.libs/libcudd.a -Wl,-Bdynamic ./dd_heuristic/sdac_parser/boost_dependencies/cmake/libs/libMiniBoost.a Adding deffile section labels to container Adding runscript Finalizing Singularity container Calculating final size for metadata... Skipping checks Building Singularity image... Singularity container built: container.img Cleaning up...