Using container recipe deffile: /input/Singularity Sanitizing environment Adding base Singularity environment to container Docker image path: index.docker.io/library/ubuntu:latest 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. Adding environment to container Running post scriptlet Hit:1 http://security.ubuntu.com/ubuntu bionic-security InRelease Get:2 http://archive.ubuntu.com/ubuntu bionic InRelease [242 kB] Hit:3 http://archive.ubuntu.com/ubuntu bionic-updates InRelease Get:4 http://archive.ubuntu.com/ubuntu bionic-backports InRelease [65.5 kB] Get:5 http://archive.ubuntu.com/ubuntu bionic/universe Sources [11.5 MB] Get:6 http://archive.ubuntu.com/ubuntu bionic/universe amd64 Packages [11.3 MB] Get:7 http://archive.ubuntu.com/ubuntu bionic/multiverse amd64 Packages [186 kB] Fetched 23.4 MB in 2min 28s (158 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: ca-certificates git-man krb5-locales less libasn1-8-heimdal libbsd0 libcurl3-gnutls libcurl4 libedit2 liberror-perl libexpat1 libgdbm-compat4 libgdbm5 libgssapi-krb5-2 libgssapi3-heimdal libhcrypto4-heimdal libheimbase1-heimdal libheimntlm0-heimdal libhx509-5-heimdal libk5crypto3 libkeyutils1 libkrb5-26-heimdal libkrb5-3 libkrb5support0 libldap-2.4-2 libldap-common libnghttp2-14 libperl5.26 libpsl5 libroken18-heimdal librtmp1 libsasl2-2 libsasl2-modules libsasl2-modules-db libsqlite3-0 libssl1.0.0 libssl1.1 libwind0-heimdal libx11-6 libx11-data libxau6 libxcb1 libxdmcp6 libxext6 libxmuu1 multiarch-support netbase openssh-client openssl patch perl perl-modules-5.26 publicsuffix unzip xauth Suggested packages: gettext-base git-daemon-run | git-daemon-sysvinit git-doc git-el git-email git-gui gitk gitweb git-cvs git-mediawiki git-svn gdbm-l10n krb5-doc krb5-user libsasl2-modules-gssapi-mit | libsasl2-modules-gssapi-heimdal libsasl2-modules-ldap libsasl2-modules-otp libsasl2-modules-sql keychain libpam-ssh monkeysphere ssh-askpass ed diffutils-doc perl-doc libterm-readline-gnu-perl | libterm-readline-perl-perl make The following NEW packages will be installed: ca-certificates curl git git-man krb5-locales less libasn1-8-heimdal libbsd0 libcurl3-gnutls libcurl4 libedit2 liberror-perl libexpat1 libgdbm-compat4 libgdbm5 libgssapi-krb5-2 libgssapi3-heimdal libhcrypto4-heimdal libheimbase1-heimdal libheimntlm0-heimdal libhx509-5-heimdal libk5crypto3 libkeyutils1 libkrb5-26-heimdal libkrb5-3 libkrb5support0 libldap-2.4-2 libldap-common libnghttp2-14 libperl5.26 libpsl5 libroken18-heimdal librtmp1 libsasl2-2 libsasl2-modules libsasl2-modules-db libsqlite3-0 libssl1.0.0 libssl1.1 libwind0-heimdal libx11-6 libx11-data libxau6 libxcb1 libxdmcp6 libxext6 libxmuu1 multiarch-support netbase openssh-client openssl patch perl perl-modules-5.26 publicsuffix unzip xauth zip 0 upgraded, 58 newly installed, 0 to remove and 0 not upgraded. Need to get 19.3 MB of archives. After this operation, 104 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 perl-modules-5.26 all 5.26.1-6 [2760 kB] Get:10 http://archive.ubuntu.com/ubuntu bionic/main amd64 libgdbm5 amd64 1.14.1-6 [26.0 kB] Get:11 http://archive.ubuntu.com/ubuntu bionic/main amd64 libgdbm-compat4 amd64 1.14.1-6 [6084 B] Get:12 http://archive.ubuntu.com/ubuntu bionic/main amd64 libperl5.26 amd64 5.26.1-6 [3532 kB] Get:13 http://archive.ubuntu.com/ubuntu bionic/main amd64 perl amd64 5.26.1-6 [201 kB] Get:14 http://archive.ubuntu.com/ubuntu bionic/main amd64 libssl1.1 amd64 1.1.0g-2ubuntu4 [1128 kB] Get:14 http://archive.ubuntu.com/ubuntu bionic/main amd64 libssl1.1 amd64 1.1.0g-2ubuntu4 [1128 kB] Get:15 http://archive.ubuntu.com/ubuntu bionic/main amd64 openssl amd64 1.1.0g-2ubuntu4 [532 kB] Get:16 http://archive.ubuntu.com/ubuntu bionic/main amd64 ca-certificates all 20180409 [151 kB] Get:17 http://archive.ubuntu.com/ubuntu bionic/main amd64 less amd64 487-0.1 [112 kB] Get:18 http://archive.ubuntu.com/ubuntu bionic/main amd64 libexpat1 amd64 2.2.5-3 [80.2 kB] Get:19 http://archive.ubuntu.com/ubuntu bionic/main amd64 libsqlite3-0 amd64 3.22.0-1 [496 kB] Get:20 http://archive.ubuntu.com/ubuntu bionic/main amd64 netbase all 5.4 [12.7 kB] Get:21 http://archive.ubuntu.com/ubuntu bionic/main amd64 krb5-locales all 1.16-2build1 [13.8 kB] Get:22 http://archive.ubuntu.com/ubuntu bionic/main amd64 libedit2 amd64 3.1-20170329-1 [76.9 kB] Get:23 http://archive.ubuntu.com/ubuntu bionic/main amd64 libkrb5support0 amd64 1.16-2build1 [31.1 kB] Get:24 http://archive.ubuntu.com/ubuntu bionic/main amd64 libk5crypto3 amd64 1.16-2build1 [85.6 kB] Get:25 http://archive.ubuntu.com/ubuntu bionic/main amd64 libkeyutils1 amd64 1.5.9-9.2ubuntu2 [8720 B] Get:26 http://archive.ubuntu.com/ubuntu bionic/main amd64 libkrb5-3 amd64 1.16-2build1 [279 kB] Get:27 http://archive.ubuntu.com/ubuntu bionic/main amd64 libgssapi-krb5-2 amd64 1.16-2build1 [122 kB] Get:28 http://archive.ubuntu.com/ubuntu bionic/main amd64 libpsl5 amd64 0.19.1-5build1 [41.8 kB] Get:29 http://archive.ubuntu.com/ubuntu bionic/main amd64 libssl1.0.0 amd64 1.0.2n-1ubuntu5 [1087 kB] Get:30 http://archive.ubuntu.com/ubuntu bionic/main amd64 libxmuu1 amd64 2:1.1.2-2 [9674 B] Get:31 http://archive.ubuntu.com/ubuntu bionic/main amd64 openssh-client amd64 1:7.6p1-4 [611 kB] Get:32 http://archive.ubuntu.com/ubuntu bionic/main amd64 publicsuffix all 20180223.1310-1 [97.6 kB] Get:33 http://archive.ubuntu.com/ubuntu bionic/main amd64 xauth amd64 1:1.0.10-1 [24.6 kB] Get:34 http://archive.ubuntu.com/ubuntu bionic/main amd64 libroken18-heimdal amd64 7.5.0+dfsg-1 [41.3 kB] Get:35 http://archive.ubuntu.com/ubuntu bionic/main amd64 libasn1-8-heimdal amd64 7.5.0+dfsg-1 [175 kB] Get:36 http://archive.ubuntu.com/ubuntu bionic/main amd64 libheimbase1-heimdal amd64 7.5.0+dfsg-1 [29.3 kB] Get:37 http://archive.ubuntu.com/ubuntu bionic/main amd64 libhcrypto4-heimdal amd64 7.5.0+dfsg-1 [85.9 kB] Get:38 http://archive.ubuntu.com/ubuntu bionic/main amd64 libwind0-heimdal amd64 7.5.0+dfsg-1 [47.8 kB] Get:39 http://archive.ubuntu.com/ubuntu bionic/main amd64 libhx509-5-heimdal amd64 7.5.0+dfsg-1 [107 kB] Get:40 http://archive.ubuntu.com/ubuntu bionic/main amd64 libkrb5-26-heimdal amd64 7.5.0+dfsg-1 [206 kB] Get:41 http://archive.ubuntu.com/ubuntu bionic/main amd64 libheimntlm0-heimdal amd64 7.5.0+dfsg-1 [14.8 kB] Get:42 http://archive.ubuntu.com/ubuntu bionic/main amd64 libgssapi3-heimdal amd64 7.5.0+dfsg-1 [96.5 kB] Get:43 http://archive.ubuntu.com/ubuntu bionic/main amd64 libsasl2-modules-db amd64 2.1.27~101-g0780600+dfsg-3ubuntu2 [14.8 kB] Get:44 http://archive.ubuntu.com/ubuntu bionic/main amd64 libsasl2-2 amd64 2.1.27~101-g0780600+dfsg-3ubuntu2 [49.2 kB] Get:45 http://archive.ubuntu.com/ubuntu bionic/main amd64 libldap-common all 2.4.45+dfsg-1ubuntu1 [16.6 kB] Get:46 http://archive.ubuntu.com/ubuntu bionic/main amd64 libldap-2.4-2 amd64 2.4.45+dfsg-1ubuntu1 [155 kB] Get:47 http://archive.ubuntu.com/ubuntu bionic/main amd64 libnghttp2-14 amd64 1.30.0-1ubuntu1 [77.8 kB] Get:48 http://archive.ubuntu.com/ubuntu bionic/main amd64 librtmp1 amd64 2.4+20151223.gitfa8646d.1-1 [54.2 kB] Get:49 http://archive.ubuntu.com/ubuntu bionic/main amd64 libcurl4 amd64 7.58.0-2ubuntu3 [214 kB] Get:50 http://archive.ubuntu.com/ubuntu bionic/main amd64 curl amd64 7.58.0-2ubuntu3 [159 kB] Get:51 http://archive.ubuntu.com/ubuntu bionic/main amd64 libcurl3-gnutls amd64 7.58.0-2ubuntu3 [212 kB] Get:52 http://archive.ubuntu.com/ubuntu bionic/main amd64 liberror-perl all 0.17025-1 [22.8 kB] Get:53 http://archive.ubuntu.com/ubuntu bionic/main amd64 git-man all 1:2.17.0-1ubuntu1 [803 kB] Get:54 http://archive.ubuntu.com/ubuntu bionic/main amd64 git amd64 1:2.17.0-1ubuntu1 [3894 kB] Get:55 http://archive.ubuntu.com/ubuntu bionic/main amd64 libsasl2-modules amd64 2.1.27~101-g0780600+dfsg-3ubuntu2 [48.7 kB] Get:56 http://archive.ubuntu.com/ubuntu bionic/main amd64 patch amd64 2.7.6-2ubuntu1 [102 kB] Get:57 http://archive.ubuntu.com/ubuntu bionic/main amd64 unzip amd64 6.0-21ubuntu1 [167 kB] Get:58 http://archive.ubuntu.com/ubuntu bionic/main amd64 zip amd64 3.0-11build1 [167 kB] Fetched 18.6 MB in 1min 52s (165 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 perl-modules-5.26. Preparing to unpack .../07-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 .../08-libgdbm5_1.14.1-6_amd64.deb ... Unpacking libgdbm5:amd64 (1.14.1-6) ... Selecting previously unselected package libgdbm-compat4:amd64. Preparing to unpack .../09-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 .../10-libperl5.26_5.26.1-6_amd64.deb ... Unpacking libperl5.26:amd64 (5.26.1-6) ... Selecting previously unselected package perl. Preparing to unpack .../11-perl_5.26.1-6_amd64.deb ... Unpacking perl (5.26.1-6) ... Selecting previously unselected package libssl1.1:amd64. Preparing to unpack .../12-libssl1.1_1.1.0g-2ubuntu4_amd64.deb ... Unpacking libssl1.1:amd64 (1.1.0g-2ubuntu4) ... Selecting previously unselected package openssl. Preparing to unpack .../13-openssl_1.1.0g-2ubuntu4_amd64.deb ... Unpacking openssl (1.1.0g-2ubuntu4) ... Selecting previously unselected package ca-certificates. Preparing to unpack .../14-ca-certificates_20180409_all.deb ... Unpacking ca-certificates (20180409) ... Selecting previously unselected package less. Preparing to unpack .../15-less_487-0.1_amd64.deb ... Unpacking less (487-0.1) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../16-libexpat1_2.2.5-3_amd64.deb ... Unpacking libexpat1:amd64 (2.2.5-3) ... Selecting previously unselected package libsqlite3-0:amd64. Preparing to unpack .../17-libsqlite3-0_3.22.0-1_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.22.0-1) ... Selecting previously unselected package netbase. Preparing to unpack .../18-netbase_5.4_all.deb ... Unpacking netbase (5.4) ... Selecting previously unselected package krb5-locales. Preparing to unpack .../19-krb5-locales_1.16-2build1_all.deb ... Unpacking krb5-locales (1.16-2build1) ... Selecting previously unselected package libedit2:amd64. Preparing to unpack .../20-libedit2_3.1-20170329-1_amd64.deb ... Unpacking libedit2:amd64 (3.1-20170329-1) ... Selecting previously unselected package libkrb5support0:amd64. Preparing to unpack .../21-libkrb5support0_1.16-2build1_amd64.deb ... Unpacking libkrb5support0:amd64 (1.16-2build1) ... Selecting previously unselected package libk5crypto3:amd64. Preparing to unpack .../22-libk5crypto3_1.16-2build1_amd64.deb ... Unpacking libk5crypto3:amd64 (1.16-2build1) ... Selecting previously unselected package libkeyutils1:amd64. Preparing to unpack .../23-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 .../24-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 .../25-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 .../26-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 .../27-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 .../28-libxmuu1_2%3a1.1.2-2_amd64.deb ... Unpacking libxmuu1:amd64 (2:1.1.2-2) ... Selecting previously unselected package openssh-client. Preparing to unpack .../29-openssh-client_1%3a7.6p1-4_amd64.deb ... Unpacking openssh-client (1:7.6p1-4) ... Selecting previously unselected package publicsuffix. Preparing to unpack .../30-publicsuffix_20180223.1310-1_all.deb ... Unpacking publicsuffix (20180223.1310-1) ... Selecting previously unselected package xauth. Preparing to unpack .../31-xauth_1%3a1.0.10-1_amd64.deb ... Unpacking xauth (1:1.0.10-1) ... Selecting previously unselected package libroken18-heimdal:amd64. Preparing to unpack .../32-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 .../33-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 .../34-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 .../35-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 .../36-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 .../37-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 .../38-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 .../39-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 .../40-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 .../41-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 .../42-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 .../43-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 .../44-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 .../45-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 .../46-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 .../47-libcurl4_7.58.0-2ubuntu3_amd64.deb ... Unpacking libcurl4:amd64 (7.58.0-2ubuntu3) ... Selecting previously unselected package curl. Preparing to unpack .../48-curl_7.58.0-2ubuntu3_amd64.deb ... Unpacking curl (7.58.0-2ubuntu3) ... Selecting previously unselected package libcurl3-gnutls:amd64. Preparing to unpack .../49-libcurl3-gnutls_7.58.0-2ubuntu3_amd64.deb ... Unpacking libcurl3-gnutls:amd64 (7.58.0-2ubuntu3) ... Selecting previously unselected package liberror-perl. Preparing to unpack .../50-liberror-perl_0.17025-1_all.deb ... Unpacking liberror-perl (0.17025-1) ... Selecting previously unselected package git-man. Preparing to unpack .../51-git-man_1%3a2.17.0-1ubuntu1_all.deb ... Unpacking git-man (1:2.17.0-1ubuntu1) ... Selecting previously unselected package git. Preparing to unpack .../52-git_1%3a2.17.0-1ubuntu1_amd64.deb ... Unpacking git (1:2.17.0-1ubuntu1) ... Selecting previously unselected package libsasl2-modules:amd64. Preparing to unpack .../53-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 patch. Preparing to unpack .../54-patch_2.7.6-2ubuntu1_amd64.deb ... Unpacking patch (2.7.6-2ubuntu1) ... Selecting previously unselected package unzip. Preparing to unpack .../55-unzip_6.0-21ubuntu1_amd64.deb ... Unpacking unzip (6.0-21ubuntu1) ... Selecting previously unselected package zip. Preparing to unpack .../56-zip_3.0-11build1_amd64.deb ... Unpacking zip (3.0-11build1) ... Setting up libedit2:amd64 (3.1-20170329-1) ... Setting up git-man (1:2.17.0-1ubuntu1) ... Setting up libexpat1:amd64 (2.2.5-3) ... Setting up less (487-0.1) ... Setting up libssl1.0.0:amd64 (1.0.2n-1ubuntu5) ... Setting up libnghttp2-14:amd64 (1.30.0-1ubuntu1) ... Setting up libldap-common (2.4.45+dfsg-1ubuntu1) ... Setting up libpsl5:amd64 (0.19.1-5build1) ... Setting up libsasl2-modules-db:amd64 (2.1.27~101-g0780600+dfsg-3ubuntu2) ... Setting up unzip (6.0-21ubuntu1) ... Setting up libsasl2-2:amd64 (2.1.27~101-g0780600+dfsg-3ubuntu2) ... Setting up libroken18-heimdal:amd64 (7.5.0+dfsg-1) ... Setting up librtmp1:amd64 (2.4+20151223.gitfa8646d.1-1) ... Setting up perl-modules-5.26 (5.26.1-6) ... 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 zip (3.0-11build1) ... Setting up patch (2.7.6-2ubuntu1) ... Setting up krb5-locales (1.16-2build1) ... Processing triggers for libc-bin (2.27-3ubuntu1) ... Setting up publicsuffix (20180223.1310-1) ... Setting up libssl1.1:amd64 (1.1.0g-2ubuntu4) ... Setting up libheimbase1-heimdal:amd64 (7.5.0+dfsg-1) ... Setting up openssl (1.1.0g-2ubuntu4) ... Setting up libsqlite3-0:amd64 (3.22.0-1) ... 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 ca-certificates (20180409) ... Updating certificates in /etc/ssl/certs... 133 added, 0 removed; done. Setting up libx11-data (2:1.6.4-3) ... Setting up libxau6:amd64 (1:1.0.8-1) ... Setting up netbase (5.4) ... Setting up libk5crypto3:amd64 (1.16-2build1) ... Setting up libwind0-heimdal:amd64 (7.5.0+dfsg-1) ... Setting up libasn1-8-heimdal:amd64 (7.5.0+dfsg-1) ... Setting up libhcrypto4-heimdal:amd64 (7.5.0+dfsg-1) ... Setting up libhx509-5-heimdal:amd64 (7.5.0+dfsg-1) ... Setting up libperl5.26:amd64 (5.26.1-6) ... Setting up libkrb5-3:amd64 (1.16-2build1) ... Setting up libkrb5-26-heimdal:amd64 (7.5.0+dfsg-1) ... Setting up libxcb1:amd64 (1.13-1) ... Setting up libheimntlm0-heimdal:amd64 (7.5.0+dfsg-1) ... Setting up libx11-6:amd64 (2:1.6.4-3) ... Setting up libxmuu1:amd64 (2:1.1.2-2) ... Setting up libgssapi-krb5-2:amd64 (1.16-2build1) ... Setting up perl (5.26.1-6) ... Setting up libgssapi3-heimdal:amd64 (7.5.0+dfsg-1) ... Setting up openssh-client (1:7.6p1-4) ... Setting up libxext6:amd64 (2:1.3.3-1) ... Setting up liberror-perl (0.17025-1) ... Setting up xauth (1:1.0.10-1) ... Setting up libldap-2.4-2:amd64 (2.4.45+dfsg-1ubuntu1) ... Setting up libcurl3-gnutls:amd64 (7.58.0-2ubuntu3) ... Setting up libcurl4:amd64 (7.58.0-2ubuntu3) ... Setting up git (1:2.17.0-1ubuntu1) ... Setting up curl (7.58.0-2ubuntu3) ... 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. Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: autoconf autotools-dev binutils binutils-common binutils-x86-64-linux-gnu cpp cpp-7 dirmngr dpkg-dev fakeroot g++ g++-7 gcc gcc-7 gcc-7-base gnupg gnupg-l10n gnupg-utils gpg gpg-agent gpg-wks-client gpg-wks-server gpgconf gpgsm libalgorithm-diff-perl libalgorithm-diff-xs-perl libalgorithm-merge-perl libasan4 libassuan0 libatomic1 libbinutils libc-dev-bin libc6-dev libcc1-0 libcilkrts5 libdpkg-perl libfakeroot libfile-fcntllock-perl libgcc-7-dev libgomp1 libisl19 libitm1 libksba8 liblocale-gettext-perl liblsan0 libmpc3 libmpfr6 libmpx2 libnpth0 libquadmath0 libreadline7 libsigsegv2 libstdc++-7-dev libtsan0 libubsan0 linux-libc-dev m4 make manpages manpages-dev pinentry-curses readline-common xz-utils Suggested packages: autoconf-archive gnu-standards autoconf-doc libtool gettext binutils-doc cpp-doc gcc-7-locales dbus-user-session libpam-systemd pinentry-gnome3 tor debian-keyring g++-multilib g++-7-multilib gcc-7-doc libstdc++6-7-dbg gcc-multilib flex bison gdb gcc-doc gcc-7-multilib libgcc1-dbg libgomp1-dbg libitm1-dbg libatomic1-dbg libasan4-dbg liblsan0-dbg libtsan0-dbg libubsan0-dbg libcilkrts5-dbg libmpx2-dbg libquadmath0-dbg parcimonie xloadimage scdaemon glibc-doc libcurl4-doc libidn11-dev libkrb5-dev libldap2-dev librtmp-dev libssh2-1-dev libssl-dev pkg-config zlib1g-dev bzr libstdc++-7-doc m4-doc make-doc man-browser pinentry-doc readline-doc The following NEW packages will be installed: autoconf automake autotools-dev binutils binutils-common binutils-x86-64-linux-gnu build-essential cpp cpp-7 dirmngr dpkg-dev fakeroot g++ g++-7 gcc gcc-7 gcc-7-base gnupg gnupg-l10n gnupg-utils gpg gpg-agent gpg-wks-client gpg-wks-server gpgconf gpgsm libalgorithm-diff-perl libalgorithm-diff-xs-perl libalgorithm-merge-perl libasan4 libassuan0 libatomic1 libbinutils libc-dev-bin libc6-dev libcc1-0 libcilkrts5 libcurl4-openssl-dev libdpkg-perl libfakeroot libfile-fcntllock-perl libgcc-7-dev libgomp1 libisl19 libitm1 libksba8 liblocale-gettext-perl liblsan0 libmpc3 libmpfr6 libmpx2 libnpth0 libquadmath0 libreadline7 libsigsegv2 libstdc++-7-dev libtsan0 libubsan0 linux-libc-dev m4 make manpages manpages-dev pinentry-curses readline-common xz-utils 0 upgraded, 66 newly installed, 0 to remove and 0 not upgraded. Need to get 42.3 MB of archives. After this operation, 175 MB of additional disk space will be used. Get:1 http://archive.ubuntu.com/ubuntu bionic/main amd64 liblocale-gettext-perl amd64 1.07-3build2 [16.6 kB] Get:2 http://archive.ubuntu.com/ubuntu bionic/main amd64 readline-common all 7.0-3 [52.9 kB] Get:3 http://archive.ubuntu.com/ubuntu bionic/main amd64 libreadline7 amd64 7.0-3 [124 kB] Get:4 http://archive.ubuntu.com/ubuntu bionic/main amd64 xz-utils amd64 5.2.2-1.3 [83.8 kB] Get:5 http://archive.ubuntu.com/ubuntu bionic/main amd64 manpages all 4.15-1 [1234 kB] Get:6 http://archive.ubuntu.com/ubuntu bionic/main amd64 libsigsegv2 amd64 2.12-1 [14.7 kB] Get:7 http://archive.ubuntu.com/ubuntu bionic/main amd64 m4 amd64 1.4.18-1 [197 kB] Get:8 http://archive.ubuntu.com/ubuntu bionic/main amd64 autoconf all 2.69-11 [322 kB] Get:9 http://archive.ubuntu.com/ubuntu bionic/main amd64 autotools-dev all 20180224.1 [39.6 kB] Get:10 http://archive.ubuntu.com/ubuntu bionic/main amd64 automake all 1:1.15.1-3ubuntu2 [509 kB] Get:11 http://archive.ubuntu.com/ubuntu bionic/main amd64 binutils-common amd64 2.30-15ubuntu1 [193 kB] Get:12 http://archive.ubuntu.com/ubuntu bionic/main amd64 libbinutils amd64 2.30-15ubuntu1 [503 kB] Get:13 http://archive.ubuntu.com/ubuntu bionic/main amd64 binutils-x86-64-linux-gnu amd64 2.30-15ubuntu1 [1856 kB] Get:14 http://archive.ubuntu.com/ubuntu bionic/main amd64 binutils amd64 2.30-15ubuntu1 [3392 B] Get:15 http://archive.ubuntu.com/ubuntu bionic/main amd64 libc-dev-bin amd64 2.27-3ubuntu1 [71.8 kB] Get:16 http://archive.ubuntu.com/ubuntu bionic/main amd64 linux-libc-dev amd64 4.15.0-20.21 [1016 kB] Get:17 http://archive.ubuntu.com/ubuntu bionic/main amd64 libc6-dev amd64 2.27-3ubuntu1 [2587 kB] Get:18 http://archive.ubuntu.com/ubuntu bionic/main amd64 gcc-7-base amd64 7.3.0-16ubuntu3 [18.8 kB] Get:19 http://archive.ubuntu.com/ubuntu bionic/main amd64 libisl19 amd64 0.19-1 [551 kB] Get:20 http://archive.ubuntu.com/ubuntu bionic/main amd64 libmpfr6 amd64 4.0.1-1 [243 kB] Get:21 http://archive.ubuntu.com/ubuntu bionic/main amd64 libmpc3 amd64 1.1.0-1 [40.8 kB] Get:22 http://archive.ubuntu.com/ubuntu bionic/main amd64 cpp-7 amd64 7.3.0-16ubuntu3 [6734 kB] Get:22 http://archive.ubuntu.com/ubuntu bionic/main amd64 cpp-7 amd64 7.3.0-16ubuntu3 [6734 kB] Get:23 http://archive.ubuntu.com/ubuntu bionic/main amd64 cpp amd64 4:7.3.0-3ubuntu2 [27.5 kB] Get:24 http://archive.ubuntu.com/ubuntu bionic/main amd64 libcc1-0 amd64 8-20180414-1ubuntu2 [39.5 kB] Get:25 http://archive.ubuntu.com/ubuntu bionic/main amd64 libgomp1 amd64 8-20180414-1ubuntu2 [76.8 kB] Get:26 http://archive.ubuntu.com/ubuntu bionic/main amd64 libitm1 amd64 8-20180414-1ubuntu2 [28.1 kB] Get:27 http://archive.ubuntu.com/ubuntu bionic/main amd64 libatomic1 amd64 8-20180414-1ubuntu2 [9084 B] Get:28 http://archive.ubuntu.com/ubuntu bionic/main amd64 libasan4 amd64 7.3.0-16ubuntu3 [359 kB] Get:29 http://archive.ubuntu.com/ubuntu bionic/main amd64 liblsan0 amd64 8-20180414-1ubuntu2 [133 kB] Get:30 http://archive.ubuntu.com/ubuntu bionic/main amd64 libtsan0 amd64 8-20180414-1ubuntu2 [289 kB] Get:31 http://archive.ubuntu.com/ubuntu bionic/main amd64 libubsan0 amd64 7.3.0-16ubuntu3 [126 kB] Get:32 http://archive.ubuntu.com/ubuntu bionic/main amd64 libcilkrts5 amd64 7.3.0-16ubuntu3 [42.5 kB] Get:33 http://archive.ubuntu.com/ubuntu bionic/main amd64 libmpx2 amd64 8-20180414-1ubuntu2 [11.7 kB] Get:34 http://archive.ubuntu.com/ubuntu bionic/main amd64 libquadmath0 amd64 8-20180414-1ubuntu2 [134 kB] Get:35 http://archive.ubuntu.com/ubuntu bionic/main amd64 libgcc-7-dev amd64 7.3.0-16ubuntu3 [2378 kB] Get:36 http://archive.ubuntu.com/ubuntu bionic/main amd64 gcc-7 amd64 7.3.0-16ubuntu3 [7445 kB] Get:37 http://archive.ubuntu.com/ubuntu bionic/main amd64 gcc amd64 4:7.3.0-3ubuntu2 [5192 B] Get:38 http://archive.ubuntu.com/ubuntu bionic/main amd64 libstdc++-7-dev amd64 7.3.0-16ubuntu3 [1461 kB] Get:39 http://archive.ubuntu.com/ubuntu bionic/main amd64 g++-7 amd64 7.3.0-16ubuntu3 [7566 kB] Get:40 http://archive.ubuntu.com/ubuntu bionic/main amd64 g++ amd64 4:7.3.0-3ubuntu2 [1576 B] Get:41 http://archive.ubuntu.com/ubuntu bionic/main amd64 make amd64 4.1-9.1ubuntu1 [154 kB] Get:42 http://archive.ubuntu.com/ubuntu bionic/main amd64 libdpkg-perl all 1.19.0.5ubuntu2 [211 kB] Get:43 http://archive.ubuntu.com/ubuntu bionic/main amd64 dpkg-dev all 1.19.0.5ubuntu2 [607 kB] Get:44 http://archive.ubuntu.com/ubuntu bionic/main amd64 build-essential amd64 12.4ubuntu1 [4758 B] Get:45 http://archive.ubuntu.com/ubuntu bionic/main amd64 libassuan0 amd64 2.5.1-2 [35.0 kB] Get:46 http://archive.ubuntu.com/ubuntu bionic/main amd64 gpgconf amd64 2.2.4-1ubuntu1 [122 kB] Get:47 http://archive.ubuntu.com/ubuntu bionic/main amd64 libksba8 amd64 1.3.5-2 [92.6 kB] Get:48 http://archive.ubuntu.com/ubuntu bionic/main amd64 libnpth0 amd64 1.5-3 [7668 B] Get:49 http://archive.ubuntu.com/ubuntu bionic/main amd64 dirmngr amd64 2.2.4-1ubuntu1 [316 kB] Get:50 http://archive.ubuntu.com/ubuntu bionic/main amd64 libfakeroot amd64 1.22-2ubuntu1 [25.9 kB] Get:51 http://archive.ubuntu.com/ubuntu bionic/main amd64 fakeroot amd64 1.22-2ubuntu1 [62.3 kB] Get:52 http://archive.ubuntu.com/ubuntu bionic/main amd64 gnupg-l10n all 2.2.4-1ubuntu1 [48.6 kB] Get:53 http://archive.ubuntu.com/ubuntu bionic/main amd64 gnupg-utils amd64 2.2.4-1ubuntu1 [126 kB] Get:54 http://archive.ubuntu.com/ubuntu bionic/main amd64 gpg amd64 2.2.4-1ubuntu1 [467 kB] Get:55 http://archive.ubuntu.com/ubuntu bionic/main amd64 pinentry-curses amd64 1.1.0-1 [35.8 kB] Get:56 http://archive.ubuntu.com/ubuntu bionic/main amd64 gpg-agent amd64 2.2.4-1ubuntu1 [227 kB] Get:57 http://archive.ubuntu.com/ubuntu bionic/main amd64 gpg-wks-client amd64 2.2.4-1ubuntu1 [91.7 kB] Get:58 http://archive.ubuntu.com/ubuntu bionic/main amd64 gpg-wks-server amd64 2.2.4-1ubuntu1 [84.9 kB] Get:59 http://archive.ubuntu.com/ubuntu bionic/main amd64 gpgsm amd64 2.2.4-1ubuntu1 [215 kB] Get:60 http://archive.ubuntu.com/ubuntu bionic/main amd64 gnupg amd64 2.2.4-1ubuntu1 [249 kB] Get:61 http://archive.ubuntu.com/ubuntu bionic/main amd64 libalgorithm-diff-perl all 1.19.03-1 [47.6 kB] Get:62 http://archive.ubuntu.com/ubuntu bionic/main amd64 libalgorithm-diff-xs-perl amd64 0.04-5 [11.1 kB] Get:63 http://archive.ubuntu.com/ubuntu bionic/main amd64 libalgorithm-merge-perl all 0.08-3 [12.0 kB] Get:64 http://archive.ubuntu.com/ubuntu bionic/main amd64 libcurl4-openssl-dev amd64 7.58.0-2ubuntu3 [295 kB] Get:65 http://archive.ubuntu.com/ubuntu bionic/main amd64 libfile-fcntllock-perl amd64 0.22-3build2 [33.2 kB] Get:66 http://archive.ubuntu.com/ubuntu bionic/main amd64 manpages-dev all 4.15-1 [2217 kB] Fetched 38.8 MB in 3min 58s (163 kB/s) Selecting previously unselected package liblocale-gettext-perl. (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 ... 7823 files and directories currently installed.) Preparing to unpack .../00-liblocale-gettext-perl_1.07-3build2_amd64.deb ... Unpacking liblocale-gettext-perl (1.07-3build2) ... Selecting previously unselected package readline-common. Preparing to unpack .../01-readline-common_7.0-3_all.deb ... Unpacking readline-common (7.0-3) ... Selecting previously unselected package libreadline7:amd64. Preparing to unpack .../02-libreadline7_7.0-3_amd64.deb ... Unpacking libreadline7:amd64 (7.0-3) ... Selecting previously unselected package xz-utils. Preparing to unpack .../03-xz-utils_5.2.2-1.3_amd64.deb ... Unpacking xz-utils (5.2.2-1.3) ... Selecting previously unselected package manpages. Preparing to unpack .../04-manpages_4.15-1_all.deb ... Unpacking manpages (4.15-1) ... Selecting previously unselected package libsigsegv2:amd64. Preparing to unpack .../05-libsigsegv2_2.12-1_amd64.deb ... Unpacking libsigsegv2:amd64 (2.12-1) ... Selecting previously unselected package m4. Preparing to unpack .../06-m4_1.4.18-1_amd64.deb ... Unpacking m4 (1.4.18-1) ... Selecting previously unselected package autoconf. Preparing to unpack .../07-autoconf_2.69-11_all.deb ... Unpacking autoconf (2.69-11) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../08-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../09-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 .../10-binutils-common_2.30-15ubuntu1_amd64.deb ... Unpacking binutils-common:amd64 (2.30-15ubuntu1) ... Selecting previously unselected package libbinutils:amd64. Preparing to unpack .../11-libbinutils_2.30-15ubuntu1_amd64.deb ... Unpacking libbinutils:amd64 (2.30-15ubuntu1) ... Selecting previously unselected package binutils-x86-64-linux-gnu. Preparing to unpack .../12-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 .../13-binutils_2.30-15ubuntu1_amd64.deb ... Unpacking binutils (2.30-15ubuntu1) ... Selecting previously unselected package libc-dev-bin. Preparing to unpack .../14-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 .../15-linux-libc-dev_4.15.0-20.21_amd64.deb ... Unpacking linux-libc-dev:amd64 (4.15.0-20.21) ... Selecting previously unselected package libc6-dev:amd64. Preparing to unpack .../16-libc6-dev_2.27-3ubuntu1_amd64.deb ... Unpacking libc6-dev:amd64 (2.27-3ubuntu1) ... Selecting previously unselected package gcc-7-base:amd64. Preparing to unpack .../17-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 .../18-libisl19_0.19-1_amd64.deb ... Unpacking libisl19:amd64 (0.19-1) ... Selecting previously unselected package libmpfr6:amd64. Preparing to unpack .../19-libmpfr6_4.0.1-1_amd64.deb ... Unpacking libmpfr6:amd64 (4.0.1-1) ... Selecting previously unselected package libmpc3:amd64. Preparing to unpack .../20-libmpc3_1.1.0-1_amd64.deb ... Unpacking libmpc3:amd64 (1.1.0-1) ... Selecting previously unselected package cpp-7. Preparing to unpack .../21-cpp-7_7.3.0-16ubuntu3_amd64.deb ... Unpacking cpp-7 (7.3.0-16ubuntu3) ... Selecting previously unselected package cpp. Preparing to unpack .../22-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 .../23-libcc1-0_8-20180414-1ubuntu2_amd64.deb ... Unpacking libcc1-0:amd64 (8-20180414-1ubuntu2) ... Selecting previously unselected package libgomp1:amd64. Preparing to unpack .../24-libgomp1_8-20180414-1ubuntu2_amd64.deb ... Unpacking libgomp1:amd64 (8-20180414-1ubuntu2) ... Selecting previously unselected package libitm1:amd64. Preparing to unpack .../25-libitm1_8-20180414-1ubuntu2_amd64.deb ... Unpacking libitm1:amd64 (8-20180414-1ubuntu2) ... Selecting previously unselected package libatomic1:amd64. Preparing to unpack .../26-libatomic1_8-20180414-1ubuntu2_amd64.deb ... Unpacking libatomic1:amd64 (8-20180414-1ubuntu2) ... Selecting previously unselected package libasan4:amd64. Preparing to unpack .../27-libasan4_7.3.0-16ubuntu3_amd64.deb ... Unpacking libasan4:amd64 (7.3.0-16ubuntu3) ... Selecting previously unselected package liblsan0:amd64. Preparing to unpack .../28-liblsan0_8-20180414-1ubuntu2_amd64.deb ... Unpacking liblsan0:amd64 (8-20180414-1ubuntu2) ... Selecting previously unselected package libtsan0:amd64. Preparing to unpack .../29-libtsan0_8-20180414-1ubuntu2_amd64.deb ... Unpacking libtsan0:amd64 (8-20180414-1ubuntu2) ... Selecting previously unselected package libubsan0:amd64. Preparing to unpack .../30-libubsan0_7.3.0-16ubuntu3_amd64.deb ... Unpacking libubsan0:amd64 (7.3.0-16ubuntu3) ... Selecting previously unselected package libcilkrts5:amd64. Preparing to unpack .../31-libcilkrts5_7.3.0-16ubuntu3_amd64.deb ... Unpacking libcilkrts5:amd64 (7.3.0-16ubuntu3) ... Selecting previously unselected package libmpx2:amd64. Preparing to unpack .../32-libmpx2_8-20180414-1ubuntu2_amd64.deb ... Unpacking libmpx2:amd64 (8-20180414-1ubuntu2) ... Selecting previously unselected package libquadmath0:amd64. Preparing to unpack .../33-libquadmath0_8-20180414-1ubuntu2_amd64.deb ... Unpacking libquadmath0:amd64 (8-20180414-1ubuntu2) ... Selecting previously unselected package libgcc-7-dev:amd64. Preparing to unpack .../34-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 .../35-gcc-7_7.3.0-16ubuntu3_amd64.deb ... Unpacking gcc-7 (7.3.0-16ubuntu3) ... Selecting previously unselected package gcc. Preparing to unpack .../36-gcc_4%3a7.3.0-3ubuntu2_amd64.deb ... Unpacking gcc (4:7.3.0-3ubuntu2) ... Selecting previously unselected package libstdc++-7-dev:amd64. Preparing to unpack .../37-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 .../38-g++-7_7.3.0-16ubuntu3_amd64.deb ... Unpacking g++-7 (7.3.0-16ubuntu3) ... Selecting previously unselected package g++. Preparing to unpack .../39-g++_4%3a7.3.0-3ubuntu2_amd64.deb ... Unpacking g++ (4:7.3.0-3ubuntu2) ... Selecting previously unselected package make. Preparing to unpack .../40-make_4.1-9.1ubuntu1_amd64.deb ... Unpacking make (4.1-9.1ubuntu1) ... Selecting previously unselected package libdpkg-perl. Preparing to unpack .../41-libdpkg-perl_1.19.0.5ubuntu2_all.deb ... Unpacking libdpkg-perl (1.19.0.5ubuntu2) ... Selecting previously unselected package dpkg-dev. Preparing to unpack .../42-dpkg-dev_1.19.0.5ubuntu2_all.deb ... Unpacking dpkg-dev (1.19.0.5ubuntu2) ... Selecting previously unselected package build-essential. Preparing to unpack .../43-build-essential_12.4ubuntu1_amd64.deb ... Unpacking build-essential (12.4ubuntu1) ... Selecting previously unselected package libassuan0:amd64. Preparing to unpack .../44-libassuan0_2.5.1-2_amd64.deb ... Unpacking libassuan0:amd64 (2.5.1-2) ... Selecting previously unselected package gpgconf. Preparing to unpack .../45-gpgconf_2.2.4-1ubuntu1_amd64.deb ... Unpacking gpgconf (2.2.4-1ubuntu1) ... Selecting previously unselected package libksba8:amd64. Preparing to unpack .../46-libksba8_1.3.5-2_amd64.deb ... Unpacking libksba8:amd64 (1.3.5-2) ... Selecting previously unselected package libnpth0:amd64. Preparing to unpack .../47-libnpth0_1.5-3_amd64.deb ... Unpacking libnpth0:amd64 (1.5-3) ... Selecting previously unselected package dirmngr. Preparing to unpack .../48-dirmngr_2.2.4-1ubuntu1_amd64.deb ... Unpacking dirmngr (2.2.4-1ubuntu1) ... Selecting previously unselected package libfakeroot:amd64. Preparing to unpack .../49-libfakeroot_1.22-2ubuntu1_amd64.deb ... Unpacking libfakeroot:amd64 (1.22-2ubuntu1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../50-fakeroot_1.22-2ubuntu1_amd64.deb ... Unpacking fakeroot (1.22-2ubuntu1) ... Selecting previously unselected package gnupg-l10n. Preparing to unpack .../51-gnupg-l10n_2.2.4-1ubuntu1_all.deb ... Unpacking gnupg-l10n (2.2.4-1ubuntu1) ... Selecting previously unselected package gnupg-utils. Preparing to unpack .../52-gnupg-utils_2.2.4-1ubuntu1_amd64.deb ... Unpacking gnupg-utils (2.2.4-1ubuntu1) ... Selecting previously unselected package gpg. Preparing to unpack .../53-gpg_2.2.4-1ubuntu1_amd64.deb ... Unpacking gpg (2.2.4-1ubuntu1) ... Selecting previously unselected package pinentry-curses. Preparing to unpack .../54-pinentry-curses_1.1.0-1_amd64.deb ... Unpacking pinentry-curses (1.1.0-1) ... Selecting previously unselected package gpg-agent. Preparing to unpack .../55-gpg-agent_2.2.4-1ubuntu1_amd64.deb ... Unpacking gpg-agent (2.2.4-1ubuntu1) ... Selecting previously unselected package gpg-wks-client. Preparing to unpack .../56-gpg-wks-client_2.2.4-1ubuntu1_amd64.deb ... Unpacking gpg-wks-client (2.2.4-1ubuntu1) ... Selecting previously unselected package gpg-wks-server. Preparing to unpack .../57-gpg-wks-server_2.2.4-1ubuntu1_amd64.deb ... Unpacking gpg-wks-server (2.2.4-1ubuntu1) ... Selecting previously unselected package gpgsm. Preparing to unpack .../58-gpgsm_2.2.4-1ubuntu1_amd64.deb ... Unpacking gpgsm (2.2.4-1ubuntu1) ... Selecting previously unselected package gnupg. Preparing to unpack .../59-gnupg_2.2.4-1ubuntu1_amd64.deb ... Unpacking gnupg (2.2.4-1ubuntu1) ... Selecting previously unselected package libalgorithm-diff-perl. Preparing to unpack .../60-libalgorithm-diff-perl_1.19.03-1_all.deb ... Unpacking libalgorithm-diff-perl (1.19.03-1) ... Selecting previously unselected package libalgorithm-diff-xs-perl. Preparing to unpack .../61-libalgorithm-diff-xs-perl_0.04-5_amd64.deb ... Unpacking libalgorithm-diff-xs-perl (0.04-5) ... Selecting previously unselected package libalgorithm-merge-perl. Preparing to unpack .../62-libalgorithm-merge-perl_0.08-3_all.deb ... Unpacking libalgorithm-merge-perl (0.08-3) ... Selecting previously unselected package libcurl4-openssl-dev:amd64. Preparing to unpack .../63-libcurl4-openssl-dev_7.58.0-2ubuntu3_amd64.deb ... Unpacking libcurl4-openssl-dev:amd64 (7.58.0-2ubuntu3) ... Selecting previously unselected package libfile-fcntllock-perl. Preparing to unpack .../64-libfile-fcntllock-perl_0.22-3build2_amd64.deb ... Unpacking libfile-fcntllock-perl (0.22-3build2) ... Selecting previously unselected package manpages-dev. Preparing to unpack .../65-manpages-dev_4.15-1_all.deb ... Unpacking manpages-dev (4.15-1) ... Setting up libquadmath0:amd64 (8-20180414-1ubuntu2) ... Setting up libnpth0:amd64 (1.5-3) ... 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 libcc1-0:amd64 (8-20180414-1ubuntu2) ... Setting up make (4.1-9.1ubuntu1) ... Setting up libsigsegv2:amd64 (2.12-1) ... Setting up libreadline7:amd64 (7.0-3) ... Setting up libtsan0:amd64 (8-20180414-1ubuntu2) ... Setting up linux-libc-dev:amd64 (4.15.0-20.21) ... Setting up libmpfr6:amd64 (4.0.1-1) ... Setting up libdpkg-perl (1.19.0.5ubuntu2) ... Setting up libksba8:amd64 (1.3.5-2) ... Setting up m4 (1.4.18-1) ... Setting up gnupg-l10n (2.2.4-1ubuntu1) ... Setting up liblsan0:amd64 (8-20180414-1ubuntu2) ... Setting up gcc-7-base:amd64 (7.3.0-16ubuntu3) ... Setting up binutils-common:amd64 (2.30-15ubuntu1) ... Setting up libfile-fcntllock-perl (0.22-3build2) ... Setting up libmpx2:amd64 (8-20180414-1ubuntu2) ... Processing triggers for libc-bin (2.27-3ubuntu1) ... Setting up autotools-dev (20180224.1) ... 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 libfakeroot:amd64 (1.22-2ubuntu1) ... Setting up libalgorithm-diff-perl (1.19.03-1) ... Setting up liblocale-gettext-perl (1.07-3build2) ... Setting up libmpc3:amd64 (1.1.0-1) ... Setting up libc-dev-bin (2.27-3ubuntu1) ... Setting up manpages-dev (4.15-1) ... Setting up libc6-dev:amd64 (2.27-3ubuntu1) ... Setting up libassuan0:amd64 (2.5.1-2) ... Setting up libcurl4-openssl-dev:amd64 (7.58.0-2ubuntu3) ... Setting up libitm1:amd64 (8-20180414-1ubuntu2) ... Setting up libisl19:amd64 (0.19-1) ... Setting up libasan4:amd64 (7.3.0-16ubuntu3) ... Setting up libbinutils:amd64 (2.30-15ubuntu1) ... Setting up libcilkrts5:amd64 (7.3.0-16ubuntu3) ... Setting up libubsan0:amd64 (7.3.0-16ubuntu3) ... Setting up gpgconf (2.2.4-1ubuntu1) ... Setting up autoconf (2.69-11) ... Setting up fakeroot (1.22-2ubuntu1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode update-alternatives: warning: skip creation of /usr/share/man/man1/fakeroot.1.gz because associated file /usr/share/man/man1/fakeroot-sysv.1.gz (of link group fakeroot) doesn't exist update-alternatives: warning: skip creation of /usr/share/man/man1/faked.1.gz because associated file /usr/share/man/man1/faked-sysv.1.gz (of link group fakeroot) doesn't exist update-alternatives: warning: skip creation of /usr/share/man/es/man1/fakeroot.1.gz because associated file /usr/share/man/es/man1/fakeroot-sysv.1.gz (of link group fakeroot) doesn't exist update-alternatives: warning: skip creation of /usr/share/man/es/man1/faked.1.gz because associated file /usr/share/man/es/man1/faked-sysv.1.gz (of link group fakeroot) doesn't exist update-alternatives: warning: skip creation of /usr/share/man/fr/man1/fakeroot.1.gz because associated file /usr/share/man/fr/man1/fakeroot-sysv.1.gz (of link group fakeroot) doesn't exist update-alternatives: warning: skip creation of /usr/share/man/fr/man1/faked.1.gz because associated file /usr/share/man/fr/man1/faked-sysv.1.gz (of link group fakeroot) doesn't exist update-alternatives: warning: skip creation of /usr/share/man/sv/man1/fakeroot.1.gz because associated file /usr/share/man/sv/man1/fakeroot-sysv.1.gz (of link group fakeroot) doesn't exist update-alternatives: warning: skip creation of /usr/share/man/sv/man1/faked.1.gz because associated file /usr/share/man/sv/man1/faked-sysv.1.gz (of link group fakeroot) doesn't exist Setting up libgcc-7-dev:amd64 (7.3.0-16ubuntu3) ... Setting up cpp-7 (7.3.0-16ubuntu3) ... Setting up libstdc++-7-dev:amd64 (7.3.0-16ubuntu3) ... Setting up libalgorithm-merge-perl (0.08-3) ... Setting up libalgorithm-diff-xs-perl (0.04-5) ... Setting up gpgsm (2.2.4-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 gnupg-utils (2.2.4-1ubuntu1) ... Setting up pinentry-curses (1.1.0-1) ... Setting up dirmngr (2.2.4-1ubuntu1) ... Setting up gpg (2.2.4-1ubuntu1) ... Setting up binutils-x86-64-linux-gnu (2.30-15ubuntu1) ... Setting up cpp (4:7.3.0-3ubuntu2) ... Setting up gpg-agent (2.2.4-1ubuntu1) ... Setting up gpg-wks-server (2.2.4-1ubuntu1) ... Setting up gpg-wks-client (2.2.4-1ubuntu1) ... Setting up binutils (2.30-15ubuntu1) ... Setting up gcc-7 (7.3.0-16ubuntu3) ... Setting up g++-7 (7.3.0-16ubuntu3) ... Setting up gnupg (2.2.4-1ubuntu1) ... Setting up gcc (4:7.3.0-3ubuntu2) ... Setting up dpkg-dev (1.19.0.5ubuntu2) ... 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 build-essential (12.4ubuntu1) ... Processing triggers for libc-bin (2.27-3ubuntu1) ... 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 whether to enable maintainer-specific portions of Makefiles... 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 main in -lwininet... no checking for curl_global_init in -lcurl... yes checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -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 curl/curl.h usability... yes checking curl/curl.h presence... yes checking for curl/curl.h... yes checking windows.h usability... no checking windows.h presence... no checking for windows.h... no checking for windres... no checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating src/Makefile config.status: creating documents/Makefile config.status: creating config.h config.status: executing depfiles commands make all-recursive make[1]: Entering directory '/planner/roswell-src' Making all in src make[2]: Entering directory '/planner/roswell-src/src' gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT ros.o -MD -MP -MF .deps/ros.Tpo -c -o ros.o ros.c gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT opt.o -MD -MP -MF .deps/opt.Tpo -c -o opt.o opt.c gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT download.o -MD -MP -MF .deps/download.Tpo -c -o download.o download.c gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT download_windows.o -MD -MP -MF .deps/download_windows.Tpo -c -o download_windows.o download_windows.c gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT archive.o -MD -MP -MF .deps/archive.Tpo -c -o archive.o archive.c gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT archive_windows.o -MD -MP -MF .deps/archive_windows.Tpo -c -o archive_windows.o archive_windows.c gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT register-commands.o -MD -MP -MF .deps/register-commands.Tpo -c -o register-commands.o register-commands.c gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT html.o -MD -MP -MF .deps/html.Tpo -c -o html.o html.c gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT html-sbcl-bin.o -MD -MP -MF .deps/html-sbcl-bin.Tpo -c -o html-sbcl-bin.o html-sbcl-bin.c gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT util.o -MD -MP -MF .deps/util.Tpo -c -o util.o util.c gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT util_windows.o -MD -MP -MF .deps/util_windows.Tpo -c -o util_windows.o util_windows.c gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT util-list.o -MD -MP -MF .deps/util-list.Tpo -c -o util-list.o util-list.c mv -f .deps/ros.Tpo .deps/ros.Po gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT util-string.o -MD -MP -MF .deps/util-string.Tpo -c -o util-string.o util-string.c mv -f .deps/download_windows.Tpo .deps/download_windows.Po gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT util-dir.o -MD -MP -MF .deps/util-dir.Tpo -c -o util-dir.o util-dir.c mv -f .deps/archive_windows.Tpo .deps/archive_windows.Po gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT util-dir_windows.o -MD -MP -MF .deps/util-dir_windows.Tpo -c -o util-dir_windows.o util-dir_windows.c mv -f .deps/util_windows.Tpo .deps/util_windows.Po gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT util-file.o -MD -MP -MF .deps/util-file.Tpo -c -o util-file.o util-file.c mv -f .deps/html-sbcl-bin.Tpo .deps/html-sbcl-bin.Po gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT util-file_windows.o -MD -MP -MF .deps/util-file_windows.Tpo -c -o util-file_windows.o util-file_windows.c mv -f .deps/archive.Tpo .deps/archive.Po gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT util-system.o -MD -MP -MF .deps/util-system.Tpo -c -o util-system.o util-system.c mv -f .deps/opt.Tpo .deps/opt.Po gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT util-system_windows.o -MD -MP -MF .deps/util-system_windows.Tpo -c -o util-system_windows.o util-system_windows.c mv -f .deps/html.Tpo .deps/html.Po mv -f .deps/register-commands.Tpo .deps/register-commands.Po mv -f .deps/util.Tpo .deps/util.Po mv -f .deps/util-dir_windows.Tpo .deps/util-dir_windows.Po gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT util-cmdline.o -MD -MP -MF .deps/util-cmdline.Tpo -c -o util-cmdline.o util-cmdline.c gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT proc-opt.o -MD -MP -MF .deps/proc-opt.Tpo -c -o proc-opt.o proc-opt.c mv -f .deps/download.Tpo .deps/download.Po gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT manual.o -MD -MP -MF .deps/manual.Tpo -c -o manual.o manual.c gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT manual_windows.o -MD -MP -MF .deps/manual_windows.Tpo -c -o manual_windows.o manual_windows.c mv -f .deps/util-list.Tpo .deps/util-list.Po make -C .. src/gend.h gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT cmd-script.o -MD -MP -MF .deps/cmd-script.Tpo -c -o cmd-script.o cmd-script.c mv -f .deps/util-file_windows.Tpo .deps/util-file_windows.Po make[3]: Entering directory '/planner/roswell-src/src' printf '#define ROS_COMPILE_ENVIRONMENT "%s"\n' "`gcc --version|head -n 1`" > src/gend.h.tmp gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT cmd-run.o -MD -MP -MF .deps/cmd-run.Tpo -c -o cmd-run.o cmd-run.c mv -f .deps/util-file.Tpo .deps/util-file.Po mv -f .deps/util-system_windows.Tpo .deps/util-system_windows.Po (printf "#define ROS_REVISION \"" && ((which git>/dev/null&&[ -e .git ]&& \ (git log -n 1 --oneline|cut -d' ' -f1| tr -d '\n'| tr -d '\r'))||printf "") && printf "\"\n") >> src/gend.h.tmp printf '#define PATCH_PATH "%s"\n' "/usr/local/etc/roswell/patch" >> src/gend.h.tmp printf '#define LISP_PATH "%s"\n' "/usr/local/etc/roswell" >> src/gend.h.tmp cmp -s src/gend.h.tmp src/gend.h||cp src/gend.h.tmp src/gend.h cat src/gend.h #define ROS_COMPILE_ENVIRONMENT "gcc (Ubuntu 7.3.0-16ubuntu3) 7.3.0" #define ROS_REVISION "c90ec45" #define PATCH_PATH "/usr/local/etc/roswell/patch" #define LISP_PATH "/usr/local/etc/roswell" rm -f src/gend.h.tmp make[3]: Leaving directory '/planner/roswell-src' gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT cmd-run-sbcl.o -MD -MP -MF .deps/cmd-run-sbcl.Tpo -c -o cmd-run-sbcl.o cmd-run-sbcl.c gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT cmd-run-ccl.o -MD -MP -MF .deps/cmd-run-ccl.Tpo -c -o cmd-run-ccl.o cmd-run-ccl.c gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT cmd-run-clasp.o -MD -MP -MF .deps/cmd-run-clasp.Tpo -c -o cmd-run-clasp.o cmd-run-clasp.c mv -f .deps/util-dir.Tpo .deps/util-dir.Po gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT cmd-run-clisp.o -MD -MP -MF .deps/cmd-run-clisp.Tpo -c -o cmd-run-clisp.o cmd-run-clisp.c mv -f .deps/util-string.Tpo .deps/util-string.Po mv -f .deps/util-system.Tpo .deps/util-system.Po mv -f .deps/manual_windows.Tpo .deps/manual_windows.Po gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT cmd-run-ecl.o -MD -MP -MF .deps/cmd-run-ecl.Tpo -c -o cmd-run-ecl.o cmd-run-ecl.c gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT cmd-run-abcl.o -MD -MP -MF .deps/cmd-run-abcl.Tpo -c -o cmd-run-abcl.o cmd-run-abcl.c gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT cmd-run-cmu.o -MD -MP -MF .deps/cmd-run-cmu.Tpo -c -o cmd-run-cmu.o cmd-run-cmu.c mv -f .deps/manual.Tpo .deps/manual.Po gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT cmd-run-acl.o -MD -MP -MF .deps/cmd-run-acl.Tpo -c -o cmd-run-acl.o cmd-run-acl.c mv -f .deps/util-cmdline.Tpo .deps/util-cmdline.Po mv -f .deps/cmd-run-clasp.Tpo .deps/cmd-run-clasp.Po mv -f .deps/proc-opt.Tpo .deps/proc-opt.Po mv -f .deps/cmd-script.Tpo .deps/cmd-script.Po gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT cmd-run-lispworks.o -MD -MP -MF .deps/cmd-run-lispworks.Tpo -c -o cmd-run-lispworks.o cmd-run-lispworks.c gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT cmd-install.o -MD -MP -MF .deps/cmd-install.Tpo -c -o cmd-install.o cmd-install.c gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT install-sbcl-bin.o -MD -MP -MF .deps/install-sbcl-bin.Tpo -c -o install-sbcl-bin.o install-sbcl-bin.c gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT install-sbcl-bin_windows.o -MD -MP -MF .deps/install-sbcl-bin_windows.Tpo -c -o install-sbcl-bin_windows.o install-sbcl-bin_windows.c mv -f .deps/cmd-run-abcl.Tpo .deps/cmd-run-abcl.Po mv -f .deps/cmd-run-ecl.Tpo .deps/cmd-run-ecl.Po gcc -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT cmd-internal.o -MD -MP -MF .deps/cmd-internal.Tpo -c -o cmd-internal.o cmd-internal.c mv -f .deps/cmd-run-clisp.Tpo .deps/cmd-run-clisp.Po mv -f .deps/cmd-run-acl.Tpo .deps/cmd-run-acl.Po mv -f .deps/cmd-run-sbcl.Tpo .deps/cmd-run-sbcl.Po mv -f .deps/cmd-run-ccl.Tpo .deps/cmd-run-ccl.Po mv -f .deps/cmd-run-cmu.Tpo .deps/cmd-run-cmu.Po mv -f .deps/install-sbcl-bin_windows.Tpo .deps/install-sbcl-bin_windows.Po mv -f .deps/cmd-run-lispworks.Tpo .deps/cmd-run-lispworks.Po mv -f .deps/cmd-install.Tpo .deps/cmd-install.Po mv -f .deps/cmd-run.Tpo .deps/cmd-run.Po mv -f .deps/install-sbcl-bin.Tpo .deps/install-sbcl-bin.Po mv -f .deps/cmd-internal.Tpo .deps/cmd-internal.Po gcc -g -O2 -o ros ros.o opt.o download.o download_windows.o archive.o archive_windows.o register-commands.o html.o html-sbcl-bin.o util.o util_windows.o util-list.o util-string.o util-dir.o util-dir_windows.o util-file.o util-file_windows.o util-system.o util-system_windows.o util-cmdline.o proc-opt.o manual.o manual_windows.o cmd-internal.o cmd-script.o cmd-run.o cmd-run-sbcl.o cmd-run-ccl.o cmd-run-clasp.o cmd-run-clisp.o cmd-run-ecl.o cmd-run-abcl.o cmd-run-cmu.o cmd-run-acl.o cmd-run-lispworks.o cmd-install.o install-sbcl-bin.o install-sbcl-bin_windows.o -lcurl make[2]: Leaving directory '/planner/roswell-src/src' make[2]: Entering directory '/planner/roswell-src' make[2]: Leaving directory '/planner/roswell-src' make[1]: Leaving directory '/planner/roswell-src' Making install in src make[1]: Entering directory '/planner/roswell-src/src' make -C .. src/gend.h make[2]: Entering directory '/planner/roswell-src/src' printf '#define ROS_COMPILE_ENVIRONMENT "%s"\n' "`gcc --version|head -n 1`" > src/gend.h.tmp (printf "#define ROS_REVISION \"" && ((which git>/dev/null&&[ -e .git ]&& \ (git log -n 1 --oneline|cut -d' ' -f1| tr -d '\n'| tr -d '\r'))||printf "") && printf "\"\n") >> src/gend.h.tmp printf '#define PATCH_PATH "%s"\n' "/usr/local/etc/roswell/patch" >> src/gend.h.tmp printf '#define LISP_PATH "%s"\n' "/usr/local/etc/roswell" >> src/gend.h.tmp cmp -s src/gend.h.tmp src/gend.h||cp src/gend.h.tmp src/gend.h cat src/gend.h #define ROS_COMPILE_ENVIRONMENT "gcc (Ubuntu 7.3.0-16ubuntu3) 7.3.0" #define ROS_REVISION "c90ec45" #define PATCH_PATH "/usr/local/etc/roswell/patch" #define LISP_PATH "/usr/local/etc/roswell" rm -f src/gend.h.tmp make[2]: Leaving directory '/planner/roswell-src' make[2]: Entering directory '/planner/roswell-src/src' make -C .. src/gend.h make[2]: Nothing to be done for 'install-data-am'. make[3]: Entering directory '/planner/roswell-src/src' printf '#define ROS_COMPILE_ENVIRONMENT "%s"\n' "`gcc --version|head -n 1`" > src/gend.h.tmp (printf "#define ROS_REVISION \"" && ((which git>/dev/null&&[ -e .git ]&& \ (git log -n 1 --oneline|cut -d' ' -f1| tr -d '\n'| tr -d '\r'))||printf "") && printf "\"\n") >> src/gend.h.tmp printf '#define PATCH_PATH "%s"\n' "/usr/local/etc/roswell/patch" >> src/gend.h.tmp printf '#define LISP_PATH "%s"\n' "/usr/local/etc/roswell" >> src/gend.h.tmp cmp -s src/gend.h.tmp src/gend.h||cp src/gend.h.tmp src/gend.h cat src/gend.h #define ROS_COMPILE_ENVIRONMENT "gcc (Ubuntu 7.3.0-16ubuntu3) 7.3.0" #define ROS_REVISION "c90ec45" #define PATCH_PATH "/usr/local/etc/roswell/patch" #define LISP_PATH "/usr/local/etc/roswell" rm -f src/gend.h.tmp make[3]: Leaving directory '/planner/roswell-src' /bin/mkdir -p '/usr/local/bin' /usr/bin/install -c ros '/usr/local/bin' make[2]: Leaving directory '/planner/roswell-src/src' make[1]: Leaving directory '/planner/roswell-src/src' make[1]: Entering directory '/planner/roswell-src' make[2]: Entering directory '/planner/roswell-src' make[2]: Nothing to be done for 'install-exec-am'. /bin/mkdir -p '/usr/local/share/man/man1' /bin/mkdir -p '/usr/local/etc/roswell/patch' /bin/mkdir -p '/usr/local/etc/roswell' /usr/bin/install -c -m 644 patch/sbcl-1.3.11.patch patch/sbcl-posix-tests.patch '/usr/local/etc/roswell/patch' /usr/bin/install -c -m 644 lisp/helper.el lisp/init.lisp lisp/util.lisp lisp/util-main.lisp lisp/util-swank.lisp lisp/locations.lisp lisp/patch-quicklisp.lisp lisp/extend-quicklisp.lisp lisp/extend-quicklisp-system.lisp lisp/system.lisp lisp/balus.ros lisp/build.ros lisp/build-ros.lisp lisp/build-asd.lisp lisp/config.ros lisp/compile-file.ros lisp/util-config.lisp lisp/emacs.ros lisp/exec.ros lisp/dist.ros lisp/dist-list.lisp lisp/dist-clean.lisp lisp/fmt.ros lisp/get.ros lisp/git.ros lisp/hg.ros lisp/run.ros lisp/setup.ros lisp/shell.ros lisp/version.ros lisp/wait.ros lisp/delete.ros lisp/delete-default.lisp lisp/delete-dump.lisp lisp/delete-git.lisp lisp/delete-asdf.lisp lisp/delete-env.lisp lisp/dump.ros lisp/util-dump.lisp lisp/dump-ccl.lisp '/usr/local/etc/roswell' /usr/bin/install -c -m 644 documents/man/ros.1 documents/man/ros-dump.1 documents/man/ros-init.1 documents/man/ros-install.1 documents/man/ros-list.1 documents/man/ros-setup.1 documents/man/ros-template.1 documents/man/ros-config.1 documents/man/ros-delete.1 documents/man/ros-emacs.1 documents/man/ros-run.1 documents/man/ros-use.1 documents/man/ros-wait.1 documents/man/ros-asdf.1 documents/man/ros-build.1 documents/man/ros-update.1 documents/man/ros-help.1 '/usr/local/share/man/man1' /usr/bin/install -c -m 644 lisp/dump-clisp.lisp lisp/dump-cmucl.lisp lisp/dump-ecl.lisp lisp/dump-sbcl.lisp lisp/help.ros lisp/help-install.lisp lisp/help-options.lisp lisp/help-run.lisp lisp/init.ros lisp/init-default.lisp lisp/init-env.lisp lisp/install.ros lisp/util-install.lisp lisp/util-install-quicklisp.lisp lisp/install+7zip.lisp lisp/install-abcl-bin.lisp lisp/install-allegro.lisp lisp/install-ccl-bin.lisp lisp/install-clasp.lisp lisp/install-clisp.lisp lisp/install-cmu-bin.lisp lisp/install-ecl.lisp lisp/install-quicklisp.lisp lisp/install-sbcl-bin.lisp lisp/install-sbcl.lisp lisp/install-slime.lisp lisp/install-sly.lisp lisp/install-lispworks.lisp lisp/install+externals-clasp.lisp lisp/install+ffcall.lisp lisp/install+msys2.lisp lisp/install+sigsegv.lisp lisp/install-asdf.lisp lisp/update.ros lisp/update-git.lisp lisp/update-hg.lisp lisp/update-quicklisp.lisp lisp/list.ros lisp/list-default.lisp lisp/list-dump.lisp '/usr/local/etc/roswell' /usr/bin/install -c -m 644 lisp/list-git.lisp lisp/list-installed.lisp lisp/list-versions.lisp lisp/list-asdf.lisp lisp/list-env.lisp lisp/template.ros lisp/util-template.lisp lisp/use.ros lisp/util-use.lisp lisp/use-asdf.lisp lisp/use-env.lisp lisp/which.ros '/usr/local/etc/roswell' make[2]: Leaving directory '/planner/roswell-src' make[1]: Leaving directory '/planner/roswell-src' No SBCL version specified. Downloading platform-table.html to see the available versions... Installing sbcl-bin/1.4.7... No SBCL version specified. Downloading platform-table.html to see the available versions... Installing sbcl-bin/1.4.7... No SBCL version specified. Downloading platform-table.html to see the available versions... Installing sbcl-bin/1.4.7... Downloading https://github.com/roswell/sbcl_bin/releases/download/1.4.7/sbcl-1.4.7-x86-64-linux-binary.tar.bz2 No SBCL version specified. Downloading platform-table.html to see the available versions... Installing sbcl-bin/1.4.7... Downloading https://github.com/roswell/sbcl_bin/releases/download/1.4.7/sbcl-1.4.7-x86-64-linux-binary.tar.bz2 Extracting sbcl-bin-1.4.7-x86-64-linux.tar.bz2 to /planner/.roswell/src/sbcl-1.4.7-x86-64-linux/ No SBCL version specified. Downloading platform-table.html to see the available versions... Installing sbcl-bin/1.4.7... Downloading https://github.com/roswell/sbcl_bin/releases/download/1.4.7/sbcl-1.4.7-x86-64-linux-binary.tar.bz2 Extracting sbcl-bin-1.4.7-x86-64-linux.tar.bz2 to /planner/.roswell/src/sbcl-1.4.7-x86-64-linux/ No SBCL version specified. Downloading platform-table.html to see the available versions... Installing sbcl-bin/1.4.7... Downloading https://github.com/roswell/sbcl_bin/releases/download/1.4.7/sbcl-1.4.7-x86-64-linux-binary.tar.bz2 Extracting sbcl-bin-1.4.7-x86-64-linux.tar.bz2 to /planner/.roswell/src/sbcl-1.4.7-x86-64-linux/ Archive: zip/type-r-master.zip 4661c7112d3c442c77a7574851396a9d58d1b971 creating: .roswell/local-projects/type-r-master/ inflating: .roswell/local-projects/type-r-master/.gitignore inflating: .roswell/local-projects/type-r-master/.travis.yml inflating: .roswell/local-projects/type-r-master/README.org creating: .roswell/local-projects/type-r-master/src/ inflating: .roswell/local-projects/type-r-master/src/package.lisp inflating: .roswell/local-projects/type-r-master/src/patterns.lisp creating: .roswell/local-projects/type-r-master/t/ inflating: .roswell/local-projects/type-r-master/t/package.lisp inflating: .roswell/local-projects/type-r-master/testscr.lisp inflating: .roswell/local-projects/type-r-master/type-r.asd inflating: .roswell/local-projects/type-r-master/type-r.test.asd Archive: zip/cl-prolog2-master.zip creating: .roswell/local-projects/cl-prolog2/ inflating: .roswell/local-projects/cl-prolog2/asd-generator-data.asd creating: .roswell/local-projects/cl-prolog2/t/ inflating: .roswell/local-projects/cl-prolog2/t/aaa.pl inflating: .roswell/local-projects/cl-prolog2/t/package.lisp inflating: .roswell/local-projects/cl-prolog2/t/aaa.sh inflating: .roswell/local-projects/cl-prolog2/cl-prolog2.asd creating: .roswell/local-projects/cl-prolog2/yap/ inflating: .roswell/local-projects/cl-prolog2/yap/cl-prolog2.yap.test.asd inflating: .roswell/local-projects/cl-prolog2/yap/cl-prolog2.yap.asd inflating: .roswell/local-projects/cl-prolog2/yap/package.lisp inflating: .roswell/local-projects/cl-prolog2/yap/testscr.ros inflating: .roswell/local-projects/cl-prolog2/yap/Makefile creating: .roswell/local-projects/cl-prolog2/src/ inflating: .roswell/local-projects/cl-prolog2/src/package.lisp inflating: .roswell/local-projects/cl-prolog2/src/compiler-macro.lisp inflating: .roswell/local-projects/cl-prolog2/src/interpreter.lisp inflating: .roswell/local-projects/cl-prolog2/src/util.lisp inflating: .roswell/local-projects/cl-prolog2/src/printers.lisp inflating: .roswell/local-projects/cl-prolog2/testscr.ros creating: .roswell/local-projects/cl-prolog2/swi/ inflating: .roswell/local-projects/cl-prolog2/swi/package.lisp inflating: .roswell/local-projects/cl-prolog2/swi/testscr.ros inflating: .roswell/local-projects/cl-prolog2/swi/cl-prolog2.swi.asd inflating: .roswell/local-projects/cl-prolog2/swi/cl-prolog2.swi.test.asd creating: .roswell/local-projects/cl-prolog2/roswell/ inflating: .roswell/local-projects/cl-prolog2/roswell/cl-prolog2.ros inflating: .roswell/local-projects/cl-prolog2/README.md creating: .roswell/local-projects/cl-prolog2/examples/ inflating: .roswell/local-projects/cl-prolog2/examples/mapcolor.lisp inflating: .roswell/local-projects/cl-prolog2/examples/mapcolor.pl creating: .roswell/local-projects/cl-prolog2/bprolog/ inflating: .roswell/local-projects/cl-prolog2/bprolog/package.lisp inflating: .roswell/local-projects/cl-prolog2/bprolog/testscr.ros inflating: .roswell/local-projects/cl-prolog2/bprolog/cl-prolog2.bprolog.asd creating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/ creating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/Document/ inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/Document/manual.pdf inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/bp creating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/ creating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/ inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/fiveChess.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/boxesAndArrows.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/animal2.gif inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/japan.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/face.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/index.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/hello.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/sendmory.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/triangles.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/circleChart.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/aruba.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/testCursor.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/venezuela.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/flags.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/testKeyEvent.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/knighttour.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/drawterm.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/cuba.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/binaryTree.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/uk.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/movingBox.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/poland.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/bpawn.jpg inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/igo.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/wqueen.jpg inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/bqueen.jpg inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/bknight.jpg inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/clocks.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/testWindowEvent.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/recCircleRec.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/dominopuzzle.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/calendar.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/testMenu.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/squares.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/circles.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/chess.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/wking.jpg inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/bking.jpg inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/newspaper.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/scribble.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/bug.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/allBuiltinComponents.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/cglib_fly.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/javaclasses2.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/javaclasses1.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/squareAndDiamonds.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/calculator.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/magic4.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/usa.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/hanoi.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/animal1.gif inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/zebra.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/wbishop.jpg inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/testTriangle.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/queens.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/westernsahara.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/pythagoras.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/wknight.jpg inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/brook.jpg inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/tree.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/korea.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/route.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/bbishop.jpg inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/sort.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/t.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/canada.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/australia.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/testTree.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/schedule.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/testComponentEvent.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/cglib_page.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/testArrow.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/testList.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/othello.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/palette.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/burundi.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/boxLayout1.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/temperature.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/singapore.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/ide.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/saintChristpher.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/knight.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/geometryTheorem.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/eightPuzzle.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/wpawn.jpg inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/sierpinski.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/javaclasses.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/china.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/movingBall.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/antiguabarbuda.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/terms.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/wrook.jpg inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/domino.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/marriage.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/sudoku.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cg/boxLayout.pl creating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/Prolog/ inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/Prolog/README creating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpset/ inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpset/triple.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpset/demorgan.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpset/golf.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpset/steiner.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpset/snow.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpset/closure.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpset/label.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpset/sim.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpset/clique_fast.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpset/clique.pl creating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/planning/ inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/planning/water.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/planning/lightbulbs.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/planning/farmer.pl creating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/event/ inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/event/pingPong.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/event/echo.pl creating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpb/ inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpb/bdonald.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpb/bdiag.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpb/bsend.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpb/bpigeon.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpb/bqueens.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpb/bschur.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpb/bramsey.pl creating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/ inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/crossbar.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/queens2.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/runbp.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/sendmoney.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/network.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/fractions.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/quasi.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/kakuro.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/blocks.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/donald.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/queens3.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/digit8.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/party.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/magic3.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/queens_tmp.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/bridge.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/eq20.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/cars.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/bpigeon.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/magic.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/jobshop.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/magicseq.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/gardner.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/bqueens.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/sudoku250.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/newspaper.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/crossword.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/magic4.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/srq_bp.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/zebra.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/test_sudoku378.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/queens1.pl extracting: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/ticket.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/perfect.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/color.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/test_cumulative.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/assignment1.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/route.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/sudoku378.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/eq10.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/minesweeper.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/test.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/multipl.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/bramsey.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/olympic.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/queens4.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/sudoku81.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/grocery.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/test_circuit.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/alpha.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/partit.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/knight.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/rabbit.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/box.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/sudoku368.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/box1.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/crypta.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/knapsack.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/test_sudoku368.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/clpfd/arith1.pl creating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/foreach/ inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/foreach/staircase.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/foreach/maze.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/foreach/assign_markus.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/foreach/array.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/foreach/qsort.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/foreach/all.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/foreach/bassign.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/foreach/length_sum.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/foreach/noThreeInALine.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/foreach/assign.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/foreach/dominopuzzle.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/foreach/magic.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/foreach/magicseq.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/foreach/bqueens.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/foreach/bug.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/foreach/assign1.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/foreach/ex1.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/foreach/bqueens1.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/foreach/queens1.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/foreach/queens.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/foreach/run_interp.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/foreach/noThreeInALine0.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/foreach/t.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/foreach/perms1.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/foreach/test.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/foreach/run.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/foreach/triangle_matrix.pl extracting: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/foreach/t1.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/foreach/perms.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/foreach/sudoku.pl creating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/lp/ inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/lp/ex2.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/lp/mip_ex3.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/lp/ex4.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/lp/magic.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/lp/mip_ex2.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/lp/ex5.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/lp/ex7.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/lp/ex1.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/lp/ex3.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/lp/ex6.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/lp/mip_ex1.pl creating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cp_sat_lp/ inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cp_sat_lp/maxflow.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cp_sat_lp/bqueens.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cp_sat_lp/multi_knapsack.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cp_sat_lp/warehouse_location.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cp_sat_lp/queens.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cp_sat_lp/color.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cp_sat_lp/index.html inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cp_sat_lp/fixed_charge.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cp_sat_lp/oil_blending.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cp_sat_lp/bcolor.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/cp_sat_lp/production.pl creating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/tabling/ inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/tabling/runbp.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/tabling/pg.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/tabling/peep.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/tabling/read.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/tabling/transitiveright.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/tabling/water.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/tabling/process_data.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/tabling/matrix.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/tabling/lcs1.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/tabling/disj.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/tabling/lightbulbs.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/tabling/ackerman.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/tabling/cs_r.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/tabling/cs_o.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/tabling/sg.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/tabling/farmer.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/tabling/obst.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/tabling/space.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/tabling/knapsack1.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/tabling/test_knapsack.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/tabling/transitiveleft.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/tabling/lcs.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/tabling/gabriel.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/tabling/run.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/tabling/space_bp.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/tabling/fib.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/tabling/knapsack.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/tabling/kalah.pl creating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/delay/ inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/delay/sendmoney.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/delay/nreverse.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/delay/queens_freeze.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/delay/sort_freeze.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/delay/sendmoney_freeze.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/delay/queens.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/delay/sort.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/delay/nreverse_freeze.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/README creating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/ creating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/sql/ inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/sql/sql.java inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/sql/sql.bat inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/sql/sql.class inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/sql/sql.out inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/sql/sql.pl creating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/queens_fc/ inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/queens_fc/queens_fc.java inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/queens_fc/queens_fc.class inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/queens_fc/queens_fc.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/queens_fc/queens_fc.bat inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/queens_fc/queens_fc$1.class inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/README~ creating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/queens/ inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/queens/queens$1.class inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/queens/queens.bat inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/queens/queens.java inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/queens/queens.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/queens/queens.class inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/README creating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/draw/ inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/draw/DJImage.class inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/draw/animal2.gif inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/draw/draw$1.class inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/draw/DJLabel.class inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/draw/draw.bat inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/draw/DJTextField.class inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/draw/draw.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/draw/DJOval.class inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/draw/DJStar.class inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/draw/animal1.gif inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/draw/draw.java inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/draw/DJRoundRectangle.class inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/draw/DJComponent.class inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/draw/DJButton.class inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/draw/DJLine.class inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/draw/DJPolygon.class inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/draw/DJArc.class inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/draw/DJRectangle.class inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/draw/DJTextArea.class inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/java_interface/draw/draw.class creating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/c_interface/ inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/c_interface/test_queens.c inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/c_interface/test_bidirection.c inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/c_interface/test_exception.c inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/c_interface/test_clp.c inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/c_interface/test.c inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/c_interface/test_member.c inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/c_interface/test_c_interface.pl inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/c_interface/test_sapi.c inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/c_interface/test_large_struct.c inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/examples/c_interface/test_large_list.c inflating: .roswell/local-projects/cl-prolog2/bprolog/BProlog/README inflating: .roswell/local-projects/cl-prolog2/bprolog/cl-prolog2.bprolog.test.asd inflating: .roswell/local-projects/cl-prolog2/bprolog/Makefile creating: .roswell/local-projects/cl-prolog2/xsb/ inflating: .roswell/local-projects/cl-prolog2/xsb/package.lisp inflating: .roswell/local-projects/cl-prolog2/xsb/cl-prolog2.xsb.test.asd inflating: .roswell/local-projects/cl-prolog2/xsb/testscr.ros extracting: .roswell/local-projects/cl-prolog2/xsb/.gitignore inflating: .roswell/local-projects/cl-prolog2/xsb/Makefile inflating: .roswell/local-projects/cl-prolog2/xsb/cl-prolog2.xsb.asd inflating: .roswell/local-projects/cl-prolog2/cl-prolog2.test.asd inflating: .roswell/local-projects/cl-prolog2/circle.yml creating: .roswell/local-projects/cl-prolog2/gprolog/ inflating: .roswell/local-projects/cl-prolog2/gprolog/cl-prolog2.gprolog.asd inflating: .roswell/local-projects/cl-prolog2/gprolog/package.lisp inflating: .roswell/local-projects/cl-prolog2/gprolog/testscr.ros inflating: .roswell/local-projects/cl-prolog2/gprolog/cl-prolog2.gprolog.test.asd Archive: zip/cl-cudd-master.zip creating: .roswell/local-projects/cl-cudd/ inflating: .roswell/local-projects/cl-cudd/EXAMPLES.md inflating: .roswell/local-projects/cl-cudd/cl-cudd.build.asd creating: .roswell/local-projects/cl-cudd/cudd-3.0.0/ inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/Makefile.in inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/GRTAGS creating: .roswell/local-projects/cl-cudd/cudd-3.0.0/doc/ inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/doc/cudd.toc inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/doc/cudd.out inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/doc/cudd.idx inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/doc/cudd.pdf inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/doc/cudd.tex inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/doc/Included.am inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/doc/phase.pdf inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/doc/cudd.tex.in inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/doc/cudd.ind inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/doc/cudd.log inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/doc/cudd.aux inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/doc/cudd.ilg inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/config.status extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/stamp-h1 inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/Makefile creating: .roswell/local-projects/cl-cudd/cudd-3.0.0/st/ extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/st/.dirstamp inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/st/st.h inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/st/testst.c creating: .roswell/local-projects/cl-cudd/cudd-3.0.0/st/.libs/ inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/st/.libs/cudd_libcudd_la-st.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/st/Included.am creating: .roswell/local-projects/cl-cudd/cudd-3.0.0/st/.deps/ extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/st/.deps/.dirstamp inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/st/.deps/cudd_libcudd_la-st.Plo extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/st/.deps/st_testst-testst.Po inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/st/cudd_libcudd_la-st.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/st/test_st.test.in inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/st/st.c creating: .roswell/local-projects/cl-cudd/cudd-3.0.0/mtr/ inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/mtr/mtrGroup.c extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/mtr/.dirstamp inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/mtr/cudd_libcudd_la-mtrBasic.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/mtr/testmtr.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/mtr/cudd_libcudd_la-mtrGroup.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/mtr/test.groups inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/mtr/mtrBasic.c creating: .roswell/local-projects/cl-cudd/cudd-3.0.0/mtr/.libs/ inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/mtr/.libs/cudd_libcudd_la-mtrBasic.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/mtr/.libs/cudd_libcudd_la-mtrGroup.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/mtr/Included.am inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/mtr/mtr.h creating: .roswell/local-projects/cl-cudd/cudd-3.0.0/mtr/.deps/ extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/mtr/.deps/.dirstamp extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/mtr/.deps/mtr_testmtr-testmtr.Po inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/mtr/.deps/cudd_libcudd_la-mtrBasic.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/mtr/.deps/cudd_libcudd_la-mtrGroup.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/mtr/test_mtr.test.in inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/mtr/test.out inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/mtr/mtrInt.h creating: .roswell/local-projects/cl-cudd/cudd-3.0.0/m4/ inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/m4/lt~obsolete.m4 inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/m4/ltsugar.m4 inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/m4/modern_cxx.m4 inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/m4/libtool.m4 inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/m4/ltversion.m4 inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/m4/w32.m4 inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/m4/ltoptions.m4 creating: .roswell/local-projects/cl-cudd/cudd-3.0.0/epd/ inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/epd/epd.c extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/epd/.dirstamp inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/epd/epdInt.h creating: .roswell/local-projects/cl-cudd/cudd-3.0.0/epd/.libs/ inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/epd/.libs/cudd_libcudd_la-epd.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/epd/Included.am creating: .roswell/local-projects/cl-cudd/cudd-3.0.0/epd/.deps/ extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/epd/.deps/.dirstamp inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/epd/.deps/cudd_libcudd_la-epd.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/epd/cudd_libcudd_la-epd.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/epd/epd.h inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/RELEASE.NOTES inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/config.h creating: .roswell/local-projects/cl-cudd/cudd-3.0.0/build-aux/ inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/build-aux/depcomp inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/build-aux/ltmain.sh inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/build-aux/compile inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/build-aux/install-sh inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/build-aux/tap-driver.sh inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/build-aux/missing inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/build-aux/config.sub inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/build-aux/config.guess inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/build-aux/ar-lib inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/config.h.in inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/groups.dox inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/GTAGS creating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/ inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/util.h inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/cudd_libcudd_la-pathsearch.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/cudd_libcudd_la-safe_mem.lo extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/.dirstamp inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/prtime.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/cudd_libcudd_la-cpu_stats.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/cudd_libcudd_la-prtime.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/pipefork.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/cudd_libcudd_la-strsav.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/cudd_libcudd_la-cpu_time.lo creating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/.libs/ inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/.libs/cudd_libcudd_la-ucbqsort.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/.libs/cudd_libcudd_la-prtime.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/.libs/cudd_libcudd_la-pipefork.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/.libs/cudd_libcudd_la-strsav.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/.libs/cudd_libcudd_la-pathsearch.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/.libs/cudd_libcudd_la-texpand.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/.libs/cudd_libcudd_la-cpu_stats.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/.libs/cudd_libcudd_la-cstringstream.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/.libs/cudd_libcudd_la-safe_mem.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/.libs/cudd_libcudd_la-datalimit.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/.libs/cudd_libcudd_la-cpu_time.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/strsav.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/Included.am inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/cudd_libcudd_la-texpand.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/ucbqsort.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/datalimit.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/cpu_stats.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/pathsearch.c creating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/.deps/ inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/.deps/cudd_libcudd_la-ucbqsort.Plo extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/.deps/.dirstamp inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/.deps/cudd_libcudd_la-strsav.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/.deps/cudd_libcudd_la-pathsearch.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/.deps/cudd_libcudd_la-datalimit.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/.deps/cudd_libcudd_la-cstringstream.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/.deps/cudd_libcudd_la-prtime.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/.deps/cudd_libcudd_la-pipefork.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/.deps/cudd_libcudd_la-safe_mem.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/.deps/cudd_libcudd_la-texpand.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/.deps/cudd_libcudd_la-cpu_stats.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/.deps/cudd_libcudd_la-cpu_time.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/cudd_libcudd_la-pipefork.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/safe_mem.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/cudd_libcudd_la-ucbqsort.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/texpand.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/cstringstream.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/cudd_libcudd_la-cstringstream.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/cudd_libcudd_la-datalimit.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/cstringstream.h inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/util/cpu_time.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/README inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/LICENSE creating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/ inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/dddmpUtil.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/dddmpNodeBdd.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/dddmpConvert.c extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.dirstamp creating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/doc/ inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/doc/dddmpTitle.html inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/doc/credit.html inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/doc/dddmpExtDet.html inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/doc/dddmp-2.0-Letter.ps inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/doc/dddmpAllAbs.html inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/doc/cmdIndex.html inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/doc/dddmpExt.html inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/doc/dddmpAllDet.html inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/doc/dddmpDoc.txt inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/doc/dddmpAllByFile.html inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/doc/dddmpDesc.html inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/doc/dddmp-2.0-A4.ps inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/doc/dddmpAllByFunc.html inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/doc/packages.html inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/doc/commands.html inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/doc/dddmpExtAbs.html inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/doc/pkgIndex.html inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/doc/dddmpAllFile.html inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/README.dddmp inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/dddmp_libdddmp_la-dddmpStoreMisc.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/dddmp_libdddmp_la-dddmpBinary.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/dddmp_libdddmp_la-dddmpStoreBdd.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/libdddmp.la inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/testdddmp.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/dddmp.h inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/dddmp_libdddmp_la-dddmpNodeBdd.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/dddmp_libdddmp_la-dddmpNodeCnf.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/test_dddmp.test.in inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/dddmpLoad.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/dddmp_libdddmp_la-dddmpUtil.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/dddmpStoreCnf.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/dddmpNodeCnf.c creating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.libs/ inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.libs/dddmp_libdddmp_la-dddmpStoreAdd.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.libs/dddmp_libdddmp_la-dddmpNodeCnf.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.libs/libdddmp.la inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.libs/dddmp_libdddmp_la-dddmpDbg.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.libs/dddmp_libdddmp_la-dddmpStoreCnf.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.libs/dddmp_libdddmp_la-dddmpNodeBdd.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.libs/dddmp_libdddmp_la-dddmpNodeAdd.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.libs/dddmp_libdddmp_la-dddmpStoreMisc.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.libs/dddmp_libdddmp_la-dddmpLoad.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.libs/dddmp_libdddmp_la-dddmpStoreBdd.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.libs/dddmp_libdddmp_la-dddmpConvert.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.libs/dddmp_libdddmp_la-dddmpUtil.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.libs/dddmp_libdddmp_la-dddmpBinary.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.libs/dddmp_libdddmp_la-dddmpLoadCnf.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.libs/libdddmp.a inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/Included.am inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/dddmp_libdddmp_la-dddmpNodeAdd.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/dddmpStoreAdd.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/dddmp_libdddmp_la-dddmpConvert.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/RELEASE_NOTES inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/dddmpNodeAdd.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/dddmpBinary.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/dddmpStoreMisc.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/dddmp_libdddmp_la-dddmpDbg.lo creating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.deps/ inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.deps/dddmp_libdddmp_la-dddmpUtil.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.deps/dddmp_libdddmp_la-dddmpStoreAdd.Plo extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.deps/cudd_libcudd_la-dddmpStoreMisc.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.deps/dddmp_libdddmp_la-dddmpDbg.Plo extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.deps/.dirstamp extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.deps/cudd_libcudd_la-dddmpStoreAdd.Plo extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.deps/cudd_libcudd_la-dddmpConvert.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.deps/dddmp_libdddmp_la-dddmpStoreCnf.Plo extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.deps/cudd_libcudd_la-dddmpStoreBdd.Plo extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.deps/cudd_libcudd_la-dddmpDbg.Plo extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.deps/cudd_libcudd_la-dddmpLoadCnf.Plo extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.deps/cudd_libcudd_la-dddmpBinary.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.deps/dddmp_libdddmp_la-dddmpLoadCnf.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.deps/dddmp_libdddmp_la-dddmpLoad.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.deps/dddmp_libdddmp_la-dddmpNodeBdd.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.deps/dddmp_libdddmp_la-dddmpNodeCnf.Plo extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.deps/cudd_libcudd_la-dddmpNodeAdd.Plo extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.deps/cudd_libcudd_la-dddmpStoreCnf.Plo extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.deps/dddmp_testdddmp-testdddmp.Po extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.deps/cudd_libcudd_la-dddmpNodeCnf.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.deps/dddmp_libdddmp_la-dddmpStoreMisc.Plo extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.deps/cudd_libcudd_la-dddmpLoad.Plo extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.deps/cudd_libcudd_la-dddmpNodeBdd.Plo extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.deps/cudd_libcudd_la-dddmpUtil.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.deps/dddmp_libdddmp_la-dddmpConvert.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.deps/dddmp_libdddmp_la-dddmpNodeAdd.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.deps/dddmp_libdddmp_la-dddmpStoreBdd.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/.deps/dddmp_libdddmp_la-dddmpBinary.Plo creating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/ inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/0.bdd inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/test1.sh inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/4.bdd.bis3 inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/one.bdd inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/test2.sh inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/test3.sh.in inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/test5.sh.in inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/4.max2 inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/test6.sh.in inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/composeids.txt inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/test7.sh inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/3.bdd inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/4.bdd.bis1 inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/2and3.bdd inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/s27RP1.bdd inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/2.bdd inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/test7.sh.in inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/4.bdd.bis2 inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/4.cnf inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/test2.sh.in inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/s27deltaDddmp1.bdd.bis inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/4.cnf.bis inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/4xor5.bdd inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/0.add inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/4.max1 inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/s27deltaDddmp2.bdd inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/zero.bdd inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/s27deltaDddmp1.bdd inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/test4.sh.in inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/0or1.bdd inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/varnames.ord inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/test5.sh inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/test6.sh inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/4bis.bdd inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/1.add inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/4.bdd inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/test4.sh inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/5.bdd inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/test3.sh inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/varauxids.ord inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/4.bdd.bis4 inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/test1.sh.in inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/exp/1.bdd inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/dddmpInt.h inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/dddmp_libdddmp_la-dddmpLoadCnf.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/dddmp_libdddmp_la-dddmpLoad.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/README.testdddmp inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/dddmp_libdddmp_la-dddmpStoreCnf.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/dddmp_libdddmp_la-dddmpStoreAdd.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/dddmpDbg.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/dddmpLoadCnf.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/dddmp/dddmpStoreBdd.c creating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/ inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/C880.blif inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/s641.blif inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/nanotrav.1 inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/rcn25.out inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/chkMterm.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/miniSecond.blif inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/s382.blif inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/miniFirst.blif inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/s27.blif inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/s27b.out inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/s27b.blif inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/s27.out inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/ntrBddTest.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/ntrZddTest.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/mult32a.blif inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/bnet.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/adj49.blif inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/ham01.out inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/miniFirst.out inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/mult32a.out inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/s27c.out inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/ntrMflow.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/Included.am inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/ntrShort.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/C880.out inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/ntr.h inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/bnet.h inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/s641.out inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/README inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/C17.out inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/ham01.blif creating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/.deps/ extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/.deps/nanotrav_nanotrav-ntrBddTest.Po extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/.deps/nanotrav_nanotrav-ntr.Po extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/.deps/nanotrav_nanotrav-ntrMflow.Po extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/.deps/nanotrav_nanotrav-ntrShort.Po extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/.deps/nanotrav_nanotrav-ntrHeap.Po extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/.deps/nanotrav_nanotrav-chkMterm.Po extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/.deps/nanotrav_nanotrav-ntrZddTest.Po extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/.deps/nanotrav_nanotrav-bnet.Po extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/.deps/nanotrav_nanotrav-main.Po inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/closest.out inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/rcn25.blif inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/closest.blif inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/s27c.blif inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/s382.out inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/ntrHeap.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/test_ntrv.test.in inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/C17.blif inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/ntr.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/adj49.out inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/nanotrav/main.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/libtool inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/GPATH inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/Doxyfile.in creating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/ inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddZddMisc.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddExact.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddApprox.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddClip.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddExport.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddZddCount.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddRead.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddApprox.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/test_cudd.test.in inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddZddGroup.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddPriority.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddBddAbs.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddApa.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddInteract.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddZddPort.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddAddIte.lo extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.dirstamp inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddAddWalsh.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddAnneal.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddCompose.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddDecomp.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddCompose.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddAddInv.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddLCache.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddZddIsop.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddApa.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/r7x8.1.out inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddMatMult.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddMatMult.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddZddGroup.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddLCache.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddZddFuncs.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddGroup.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddGenetic.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddSymmetry.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddZddLin.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/testcudd.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddBridge.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddSolve.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddReorder.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddHarwell.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddZddSetop.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddSat.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddExport.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddAddNeg.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddInteract.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddSolve.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddLiteral.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddAnneal.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddLinear.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddAddFind.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddAddAbs.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd.h inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddZddSymm.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddRead.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddSat.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddLiteral.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/r7x8.1.mat inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/extra.out inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddGenCof.c creating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/ inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddRef.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddZddFuncs.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddApa.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddMatMult.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddSubsetSP.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddAddApply.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddAnneal.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddAddIte.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddZddUtil.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddBddIte.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddInteract.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddPriority.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddLevelQ.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddExact.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddApprox.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddAndAbs.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddRead.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddReorder.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddZddSetop.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddZddCount.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddAPI.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/libcudd-3.0.0.so.0 inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddLCache.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddDecomp.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddCache.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddSat.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddAddInv.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddBddCorr.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddAddWalsh.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddZddLin.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddCompose.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/libcudd.lai inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddZddGroup.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddWindow.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/libcudd.so inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddAddFind.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddUtil.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddAddNeg.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddZddPort.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddZddReord.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddSign.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddCheck.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddBridge.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddZddIsop.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddAddAbs.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddExport.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddInit.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddCof.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddGroup.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddBddAbs.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddSubsetHB.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddGenCof.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddLiteral.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddTable.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddGenetic.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddSymmetry.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddSplit.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddZddMisc.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddSolve.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddHarwell.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddLinear.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/libcudd-3.0.0.so.0.0.0 inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddZddSymm.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddClip.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/cudd_libcudd_la-cuddEssent.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.libs/libcudd.la inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddAddApply.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/Included.am inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddCof.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddAPI.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddUtil.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddAddIte.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddReorder.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddZddSymm.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddSign.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddZddReord.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddZddSetop.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddInt.h inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddCache.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddAddWalsh.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddInit.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddWindow.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddGroup.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddPriority.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddZddIsop.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddAndAbs.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddInit.c creating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/ inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddLCache.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddZddIsop.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddGroup.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddTable.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddDecomp.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddZddFuncs.Plo extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/.dirstamp inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddEssent.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddSplit.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddWindow.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddAddInv.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddCompose.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddZddMisc.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddSign.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddApa.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddBddCorr.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddAddApply.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddAddFind.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddAddIte.Plo extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_testextra-testextra.Po inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddGenetic.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddCache.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddSymmetry.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddAddAbs.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddClip.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddZddReord.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddSolve.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddInteract.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddExport.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddHarwell.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddExact.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddSat.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddLiteral.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddUtil.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddLinear.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddZddGroup.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddLevelQ.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddAnneal.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddGenCof.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddBridge.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddInit.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddBddAbs.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddApprox.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddAddWalsh.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddCof.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddZddCount.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddReorder.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddAPI.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddZddLin.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddPriority.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddZddUtil.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddZddSetop.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddMatMult.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddZddSymm.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddAndAbs.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddSubsetSP.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddSubsetHB.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddRef.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddRead.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddZddPort.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddBddIte.Plo extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_testcudd-testcudd.Po inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddCheck.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/.deps/cudd_libcudd_la-cuddAddNeg.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddDecomp.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddSplit.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddRef.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddLevelQ.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddZddUtil.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddSymmetry.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddCheck.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddBridge.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddRef.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddWindow.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddBddIte.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddAddAbs.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddZddMisc.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddGenCof.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddAddNeg.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddSubsetHB.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddCheck.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddLinear.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddSubsetHB.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddSubsetSP.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddUtil.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddSplit.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddBddCorr.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddZddUtil.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddBddIte.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddGenetic.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddBddCorr.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddBddAbs.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddZddFuncs.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddAddInv.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddTable.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddCache.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddHarwell.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/testextra.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddCof.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddAddApply.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddLevelQ.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddZddLin.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddSign.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddZddCount.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddAndAbs.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddAddFind.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddTable.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddZddPort.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddEssent.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddEssent.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddExact.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddSubsetSP.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddAPI.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cudd_libcudd_la-cuddClip.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/libcudd.la inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cudd/cuddZddReord.c inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/Makefile.am inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/configure.ac inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/aclocal.m4 creating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cplusplus/ inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cplusplus/libobj.la extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/cplusplus/.dirstamp inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cplusplus/cuddObj.hh creating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cplusplus/.libs/ inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cplusplus/.libs/libobj.la inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cplusplus/.libs/libobj.a inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cplusplus/.libs/cplusplus_libobj_la-cuddObj.o inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cplusplus/Included.am inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cplusplus/testmulti.cc inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cplusplus/cuddObj.cc creating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cplusplus/.deps/ extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/cplusplus/.deps/cplusplus_testobj-testobj.Po extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/cplusplus/.deps/.dirstamp inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cplusplus/.deps/cplusplus_libobj_la-cuddObj.Plo extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/cplusplus/.deps/cplusplus_testmulti-testmulti.Po extracting: .roswell/local-projects/cl-cudd/cudd-3.0.0/cplusplus/.deps/cudd_libcudd_la-cuddObj.Plo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cplusplus/cplusplus_libobj_la-cuddObj.lo inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cplusplus/test.out inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cplusplus/multi.out inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cplusplus/test_obj.test.in inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/cplusplus/testobj.cc inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/configure inflating: .roswell/local-projects/cl-cudd/cudd-3.0.0/config.log creating: .roswell/local-projects/cl-cudd/examples/ creating: .roswell/local-projects/cl-cudd/examples/toolarge/ inflating: .roswell/local-projects/cl-cudd/examples/toolarge/c499.tests inflating: .roswell/local-projects/cl-cudd/examples/toolarge/c1355.tests inflating: .roswell/local-projects/cl-cudd/examples/toolarge/c432.tests inflating: .roswell/local-projects/cl-cudd/examples/toolarge/c880.tests inflating: .roswell/local-projects/cl-cudd/examples/toolarge/s208.1.tests inflating: .roswell/local-projects/cl-cudd/examples/toolarge/74L85.tests inflating: .roswell/local-projects/cl-cudd/examples/Makefile creating: .roswell/local-projects/cl-cudd/examples/modest/ inflating: .roswell/local-projects/cl-cudd/examples/modest/c6288.pdf inflating: .roswell/local-projects/cl-cudd/examples/modest/74283.pdf inflating: .roswell/local-projects/cl-cudd/examples/modest/c6288-as-ADD.pdf inflating: .roswell/local-projects/cl-cudd/examples/modest/c6288.tests inflating: .roswell/local-projects/cl-cudd/examples/modest/Makefile inflating: .roswell/local-projects/cl-cudd/examples/modest/s344.tests inflating: .roswell/local-projects/cl-cudd/examples/modest/s298.pdf inflating: .roswell/local-projects/cl-cudd/examples/modest/74283-as-ADD.pdf inflating: .roswell/local-projects/cl-cudd/examples/modest/74181.tests inflating: .roswell/local-projects/cl-cudd/examples/modest/74182.tests inflating: .roswell/local-projects/cl-cudd/examples/modest/74283.tests inflating: .roswell/local-projects/cl-cudd/examples/modest/74181.pdf inflating: .roswell/local-projects/cl-cudd/examples/modest/74181-as-ADD.pdf inflating: .roswell/local-projects/cl-cudd/examples/modest/README inflating: .roswell/local-projects/cl-cudd/examples/modest/s344-as-ADD.pdf inflating: .roswell/local-projects/cl-cudd/examples/modest/s298-as-ADD.pdf inflating: .roswell/local-projects/cl-cudd/examples/modest/s298.tests inflating: .roswell/local-projects/cl-cudd/examples/modest/74182-as-ADD.pdf inflating: .roswell/local-projects/cl-cudd/examples/modest/s344.pdf inflating: .roswell/local-projects/cl-cudd/examples/modest/74182.pdf creating: .roswell/local-projects/cl-cudd/examples/gates/ inflating: .roswell/local-projects/cl-cudd/examples/gates/xor-BDD-as-ADD.pdf inflating: .roswell/local-projects/cl-cudd/examples/gates/xnor-BDD-as-ADD.pdf inflating: .roswell/local-projects/cl-cudd/examples/gates/and-BDD-as-ADD.pdf inflating: .roswell/local-projects/cl-cudd/examples/gates/xor-BDD.pdf inflating: .roswell/local-projects/cl-cudd/examples/gates/and-ADD.pdf inflating: .roswell/local-projects/cl-cudd/examples/gates/xnor-BDD-as-ZDD-simple.pdf inflating: .roswell/local-projects/cl-cudd/examples/gates/or-BDD-as-ADD.pdf inflating: .roswell/local-projects/cl-cudd/examples/gates/Makefile extracting: .roswell/local-projects/cl-cudd/examples/gates/xor.tests inflating: .roswell/local-projects/cl-cudd/examples/gates/and-BDD.pdf inflating: .roswell/local-projects/cl-cudd/examples/gates/and-BDD-as-ZDD-simple.pdf inflating: .roswell/local-projects/cl-cudd/examples/gates/xnor-BDD.pdf extracting: .roswell/local-projects/cl-cudd/examples/gates/xnor.tests inflating: .roswell/local-projects/cl-cudd/examples/gates/or-BDD.pdf extracting: .roswell/local-projects/cl-cudd/examples/gates/or.tests inflating: .roswell/local-projects/cl-cudd/examples/gates/or-BDD-as-ZDD-simple.pdf inflating: .roswell/local-projects/cl-cudd/examples/gates/or-ADD.pdf inflating: .roswell/local-projects/cl-cudd/examples/gates/xnor-ADD.pdf extracting: .roswell/local-projects/cl-cudd/examples/gates/and.tests inflating: .roswell/local-projects/cl-cudd/examples/gates/xor-ADD.pdf inflating: .roswell/local-projects/cl-cudd/examples/gates/xor-BDD-as-ZDD-simple.pdf inflating: .roswell/local-projects/cl-cudd/testscr.ros inflating: .roswell/local-projects/cl-cudd/Makefile inflating: .roswell/local-projects/cl-cudd/.travis.yml inflating: .roswell/local-projects/cl-cudd/cl-cudd.asd inflating: .roswell/local-projects/cl-cudd/symlist extracting: .roswell/local-projects/cl-cudd/asd-generator-data.asd inflating: .roswell/local-projects/cl-cudd/LICENSE creating: .roswell/local-projects/cl-cudd/unused/ inflating: .roswell/local-projects/cl-cudd/unused/0.lisp inflating: .roswell/local-projects/cl-cudd/unused/cudd-cffi.i inflating: .roswell/local-projects/cl-cudd/README.md creating: .roswell/local-projects/cl-cudd/test/ creating: .roswell/local-projects/cl-cudd/test/toolarge/ inflating: .roswell/local-projects/cl-cudd/test/toolarge/c499.tests inflating: .roswell/local-projects/cl-cudd/test/toolarge/c1355.tests inflating: .roswell/local-projects/cl-cudd/test/toolarge/c432.tests inflating: .roswell/local-projects/cl-cudd/test/toolarge/c880.tests inflating: .roswell/local-projects/cl-cudd/test/toolarge/s208.1.tests inflating: .roswell/local-projects/cl-cudd/test/toolarge/74L85.tests inflating: .roswell/local-projects/cl-cudd/test/package.lisp inflating: .roswell/local-projects/cl-cudd/test/Makefile creating: .roswell/local-projects/cl-cudd/test/sets-of-subsets/ extracting: .roswell/local-projects/cl-cudd/test/sets-of-subsets/mishchenko-example.tests inflating: .roswell/local-projects/cl-cudd/test/sets-of-subsets/Makefile creating: .roswell/local-projects/cl-cudd/test/modest/ inflating: .roswell/local-projects/cl-cudd/test/modest/c6288.tests inflating: .roswell/local-projects/cl-cudd/test/modest/Makefile inflating: .roswell/local-projects/cl-cudd/test/modest/s344.tests inflating: .roswell/local-projects/cl-cudd/test/modest/74181.tests inflating: .roswell/local-projects/cl-cudd/test/modest/74182.tests inflating: .roswell/local-projects/cl-cudd/test/modest/74283.tests inflating: .roswell/local-projects/cl-cudd/test/modest/README inflating: .roswell/local-projects/cl-cudd/test/modest/s298.tests creating: .roswell/local-projects/cl-cudd/test/gates/ inflating: .roswell/local-projects/cl-cudd/test/gates/Makefile extracting: .roswell/local-projects/cl-cudd/test/gates/xor.tests extracting: .roswell/local-projects/cl-cudd/test/gates/xnor.tests extracting: .roswell/local-projects/cl-cudd/test/gates/or.tests extracting: .roswell/local-projects/cl-cudd/test/gates/and.tests extracting: .roswell/local-projects/cl-cudd/test/.gitignore inflating: .roswell/local-projects/cl-cudd/cl-cudd.test.asd creating: .roswell/local-projects/cl-cudd/simpath/ inflating: .roswell/local-projects/cl-cudd/simpath/README.md~ inflating: .roswell/local-projects/cl-cudd/simpath/simpath.asd~ inflating: .roswell/local-projects/cl-cudd/simpath/simpath.asd inflating: .roswell/local-projects/cl-cudd/simpath/simpath.lisp inflating: .roswell/local-projects/cl-cudd/simpath/README.md inflating: .roswell/local-projects/cl-cudd/.gitignore creating: .roswell/local-projects/cl-cudd/src/ inflating: .roswell/local-projects/cl-cudd/src/2-1-zdd-set-operations.lisp inflating: .roswell/local-projects/cl-cudd/src/1-2-1-base-add.lisp inflating: .roswell/local-projects/cl-cudd/src/2-0-1-node.lisp inflating: .roswell/local-projects/cl-cudd/src/2-1-generic-complex.lisp inflating: .roswell/local-projects/cl-cudd/src/0-package.lisp inflating: .roswell/local-projects/cl-cudd/src/1-1-2-fun.lisp inflating: .roswell/local-projects/cl-cudd/src/1-2-1-base-bdd.lisp inflating: .roswell/local-projects/cl-cudd/src/2-1-add.lisp inflating: .roswell/local-projects/cl-cudd/src/2-4-hook.lisp inflating: .roswell/local-projects/cl-cudd/src/2-1-generic-swap.lisp inflating: .roswell/local-projects/cl-cudd/src/2-3-reordering.lisp inflating: .roswell/local-projects/cl-cudd/src/1-2-0-base-common.lisp inflating: .roswell/local-projects/cl-cudd/src/1-0-1-conditions.lisp inflating: .roswell/local-projects/cl-cudd/src/2-1-generic-simple.lisp inflating: .roswell/local-projects/cl-cudd/src/2-2-add-bdd-bridge.lisp inflating: .roswell/local-projects/cl-cudd/src/1-1-1-grovel.lisp inflating: .roswell/local-projects/cl-cudd/src/2-0-2-def-cudd-call.lisp inflating: .roswell/local-projects/cl-cudd/src/1-0-2-translators.lisp inflating: .roswell/local-projects/cl-cudd/src/2-2-zdd-bdd-bridge.lisp inflating: .roswell/local-projects/cl-cudd/src/2-0-0-manager.lisp inflating: .roswell/local-projects/cl-cudd/src/1-3-dddmp.lisp inflating: .roswell/local-projects/cl-cudd/src/1-0-0-library.lisp inflating: .roswell/local-projects/cl-cudd/src/2-1-system.lisp inflating: .roswell/local-projects/cl-cudd/src/1-2-1-base-zdd.lisp inflating: .roswell/local-projects/cl-cudd/src/2-5-utils.lisp inflating: .roswell/local-projects/cl-cudd/src/1-1-0-swig-macros.lisp inflating: .roswell/local-projects/cl-cudd/src/unimplemented.lisp inflating: .roswell/local-projects/cl-cudd/src/2-6-dot.lisp To load "trivial-package-manager": Load 3 ASDF systems: alexandria trivial-features uiop Install 2 Quicklisp releases: trivial-open-browser trivial-package-manager Downloading http://beta.quicklisp.org/archive/trivial-open-browser/2016-08-25/trivial-open-browser-20160825-git.tgz ########################################################################## Downloading http://beta.quicklisp.org/archive/trivial-package-manager/2017-12-27/trivial-package-manager-20171227-git.tgz ########################################################################## ; Loading "trivial-package-manager" [package trivial-open-browser].................... [package trivial-package-manager]. No roswell scripts found. To load "strips": Load 1 ASDF system: strips ; Loading "strips" To load "trivia": Load 2 ASDF systems: alexandria closer-mop Install 2 Quicklisp releases: lisp-namespace trivia Downloading http://beta.quicklisp.org/archive/lisp-namespace/2017-11-30/lisp-namespace-20171130-git.tgz ########################################################################## Downloading http://beta.quicklisp.org/archive/trivia/2017-11-30/trivia-20171130-git.tgz ########################################################################## ; Loading "trivia" [package trivia.level0]........................... [package trivia.level1]........................... [package trivia.fail]............................. [package trivia.skip]............................. [package trivia.next]............................. [package trivia.level1.impl]...................... [package lisp-namespace].......................... [package trivia.level2]........................... [package trivia.level2.impl]...................... ... ; Loading "strips" To load "fare-quasiquote-readtable": Load 2 ASDF systems: asdf named-readtables Install 2 Quicklisp releases: fare-quasiquote fare-utils Downloading http://beta.quicklisp.org/archive/fare-utils/2017-01-24/fare-utils-20170124-git.tgz ########################################################################## Downloading http://beta.quicklisp.org/archive/fare-quasiquote/2017-11-30/fare-quasiquote-20171130-git.tgz ########################################################################## ; Loading "fare-quasiquote-readtable" .................................................. [package fare-stateful]........................... [package fare-quasiquote]...... ; Loading "strips" To load "arrow-macros": Load 6 ASDF systems: alexandria anaphora asdf closer-mop iterate uiop Install 12 Quicklisp releases: arrow-macros contextl hu.dwim.asdf hu.dwim.common hu.dwim.common-lisp hu.dwim.def hu.dwim.defclass-star hu.dwim.syntax-sugar hu.dwim.util hu.dwim.walker lw-compat metabang-bind Downloading http://beta.quicklisp.org/archive/hu.dwim.syntax-sugar/2016-12-04/hu.dwim.syntax-sugar-20161204-darcs.tgz ########################################################################## Downloading http://beta.quicklisp.org/archive/hu.dwim.common/2015-07-09/hu.dwim.common-20150709-darcs.tgz ########################################################################## Downloading http://beta.quicklisp.org/archive/hu.dwim.util/2017-10-19/hu.dwim.util-20171019-darcs.tgz ########################################################################## Downloading http://beta.quicklisp.org/archive/hu.dwim.defclass-star/2015-07-09/hu.dwim.defclass-star-20150709-darcs.tgz ########################################################################## Downloading http://beta.quicklisp.org/archive/metabang-bind/2017-11-30/metabang-bind-20171130-git.tgz ########################################################################## Downloading http://beta.quicklisp.org/archive/hu.dwim.def/2017-10-19/hu.dwim.def-20171019-darcs.tgz ########################################################################## Downloading http://beta.quicklisp.org/archive/hu.dwim.common-lisp/2015-07-09/hu.dwim.common-lisp-20150709-darcs.tgz ########################################################################## Downloading http://beta.quicklisp.org/archive/hu.dwim.asdf/2018-02-28/hu.dwim.asdf-20180228-darcs.tgz ########################################################################## Downloading http://beta.quicklisp.org/archive/lw-compat/2016-03-18/lw-compat-20160318-git.tgz ########################################################################## Downloading http://beta.quicklisp.org/archive/contextl/2016-03-18/contextl-20160318-git.tgz ########################################################################## Downloading http://beta.quicklisp.org/archive/hu.dwim.walker/2015-12-18/hu.dwim.walker-20151218-darcs.tgz ########################################################################## Downloading http://beta.quicklisp.org/archive/arrow-macros/2016-09-29/arrow-macros-20160929-git.tgz ########################################################################## ; Loading "arrow-macros" [package hu.dwim.asdf]............................ [package lispworks]............................... [package contextl]................................ [package contextl-common-lisp].................... [package contextl-user]........................... .................................................. [package hu.dwim.common-lisp]..................... [package metabang.bind]........................... [package metabang.bind.developer]................. [package hu.dwim.def]............................. [package hu.dwim.defclass-star]................... [package hu.dwim.common].......................... [package hu.dwim.syntax-sugar].................... [package hu.dwim.util]............................ [package hu.dwim.walker].......................... .................................................. .................................................. [package arrow-macros].. ; Loading "strips" To load "external-program": Load 1 ASDF system: trivial-features Install 1 Quicklisp release: external-program Downloading http://beta.quicklisp.org/archive/external-program/2016-08-25/external-program-20160825-git.tgz ########################################################################## ; Loading "external-program" [package external-program]. ; Loading "strips" To load "trivial-garbage": Install 1 Quicklisp release: trivial-garbage Downloading http://beta.quicklisp.org/archive/trivial-garbage/2015-01-13/trivial-garbage-20150113-git.tgz ########################################################################## ; Loading "trivial-garbage" [package trivial-garbage] ; Loading "strips" To load "introspect-environment": Install 1 Quicklisp release: introspect-environment Downloading http://beta.quicklisp.org/archive/introspect-environment/2015-10-31/introspect-environment-20151031-git.tgz ########################################################################## ; Loading "introspect-environment" [package introspect-environment]. ; Loading "strips" To load "static-vectors": Load 5 ASDF systems: alexandria asdf babel trivial-features uiop Install 2 Quicklisp releases: cffi static-vectors Downloading http://beta.quicklisp.org/archive/cffi/2018-02-28/cffi_0.19.0.tgz ########################################################################## Downloading http://beta.quicklisp.org/archive/static-vectors/2017-10-19/static-vectors-v1.8.3.tgz ########################################################################## ; Loading "static-vectors" [package cffi-sys]................................ [package cffi].................................... .................................................. [package cffi-features]........................... [package static-vectors]... ; Loading "strips" To load "log4cl": Load 1 ASDF system: bordeaux-threads Install 1 Quicklisp release: log4cl Downloading http://beta.quicklisp.org/archive/log4cl/2017-12-01/log4cl-20171201-git.tgz ########################################################################## ; Loading "log4cl" [package log4cl-impl-fixer]....................... [package log4cl-impl]............................. .................................................. [package log].. ; Loading "strips" To load "priority-queue": Install 1 Quicklisp release: priority-queue Downloading http://beta.quicklisp.org/archive/priority-queue/2015-07-09/priority-queue-20150709-git.tgz ########################################################################## ; Loading "priority-queue" [package priority-queue]. ; Loading "strips" [package trivia.quasiquote.impl].................. [package cl-prolog2].............................. [package cl-prolog2.impl]......................... [package cl-prolog2.bprolog]. bp is already installed. ..................... [package type-r].................................. .................................................. [package strips.lib].............................. [package pddl].................................... [package strips].................................. ... [13:57:48] strips.lib packed-struct.lisp (fun24) - In compiler macro expansion of (SIZE-OF 'STATE-INFORMATION), caught MATCH-ERROR : Pattern: (((TYPE-R:INTEGER-SUBTYPE STRIPS.LIB::LOW STRIPS.LIB::HIGH) (IF (MINUSP STRIPS.LIB::LOW) (1+ (INTEGER-LENGTH STRIPS.LIB::HIGH)) (INTEGER-LENGTH STRIPS.LIB::HIGH))) ((TYPE-R:FLOAT-SUBTYPE STRIPS.LIB::HIGH) (MULTIPLE-VALUE-BIND (STRIPS.LIB::SIGNIF STRIPS.LIB::EXPON) (INTEGER-DECODE-FLOAT STRIPS.LIB::HIGH) (+ (INTEGER-LENGTH STRIPS.LIB::SIGNIF) (INTEGER-LENGTH STRIPS.LIB::EXPON) 1))) ((TYPE-R:MEMBER-TYPE STRIPS.LIB::MEMBERS) (SIZE-OF `(INTEGER ,(REDUCE #'MIN STRIPS.LIB::MEMBERS) ,(REDUCE #'MAX STRIPS.LIB::MEMBERS)))) ((TYPE-R:ARRAY-SUBTYPE STRIPS.LIB::ELEMENT-TYPE STRIPS.LIB::DIMENSIONS) (* (SIZE-OF STRIPS.LIB::ELEMENT-TYPE) (REDUCE #'* (ENSURE-LIST STRIPS.LIB::DIMENSIONS))))) Values: (STATE-INFORMATION) ......... ; compiling file "/planner/.roswell/local-projects/strips/lib/package.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (DEFPACKAGE :STRIPS.LIB ...) ; compiling (IN-PACKAGE :STRIPS.LIB) ; compiling (DEFMACRO FTYPE* ...) ; /planner/.cache/local-projects/strips/lib/package-tmpDNAAZUQ1.fasl written ; compilation finished in 0:00:00.004 ; compiling file "/planner/.roswell/local-projects/strips/lib/equivalence.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :STRIPS.LIB) ; compiling (DEFSTRUCT (EQUIVALENCE #) ...) ; compiling (DEFUN DELETE-CLASS ...) ; compiling (DEFUN CLASS-ID ...) ; compiling (DEFUN ADD-RELATION ...) ; compiling (DEFUN COMPUTE-MAPPING ...) ; compiling (DEFUN MAKE-EQUIVALENCE ...) ; compiling (DEFUN SATISFIABLE ...) ; compiling (DEFUN TEST-ALIASES ...) ; /planner/.cache/local-projects/strips/lib/equivalence-tmpSFHGUSI2.fasl written ; compilation finished in 0:00:00.039 ; compiling file "/planner/.roswell/local-projects/strips/lib/indexed-entries.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :STRIPS.LIB) ; compiling (DEFSTRUCT (INDEX #) ...) ; compiling (FTYPE* INDEX-INSERT ...) ; compiling (DEFUN INDEX-INSERT ...) ; compiling (FTYPE* INDEX-ID ...) ; compiling (DEFUN INDEX-ID ...) ; compiling (FTYPE* INDEX-REF ...) ; compiling (DEFUN INDEX-REF ...) ; compiling (FTYPE* INDEX-SIZE ...) ; compiling (DEFUN INDEX-SIZE ...) ; /planner/.cache/local-projects/strips/lib/indexed-entries-tmpJEMJHCAQ.fasl written ; compilation finished in 0:00:00.014 ; compiling file "/planner/.roswell/local-projects/strips/lib/packed-struct.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :STRIPS.LIB) ; compiling (FTYPE* <<64 ...) ; compiling (DECLAIM (INLINE <<64)) ; compiling (DEFUN <<64 ...) ; compiling (DEFSTRUCT (PACKED-STRUCT-LAYOUT #) ...) ; compiling (DEFMETHOD MAKE-LOAD-FORM ...) ; compiling (DEFUN SIZE-OF ...) ; compiling (DEFINE-COMPILER-MACRO SIZE-OF ...) ; compiling (DEFUN COMPUTE-OFFSET ...) ; compiling (DEFUN ENSURE-PACKED-STRUCT-LAYOUT ...) ; compiling (DEFUN MERGE-PACKED-STRUCT-LAYOUT ...) ; compiling (DEFUN MERGE-PACKED-STRUCT-LAYOUT-2 ...) ; compiling (DEFPARAMETER *PACKER-DEBUG* ...) ; compiling (DEFMACRO PRINT-WHEN-DEBUG ...) ; compiling (DECLAIM (INLINE %PACKED-ACCESSOR-INT)) ; compiling (DEFUN %PACKED-ACCESSOR-INT ...) ; compiling (DECLAIM (INLINE %PACKED-ACCESSOR-INT-UNSAFE)) ; compiling (DEFUN %PACKED-ACCESSOR-INT-UNSAFE ...) ; compiling (DECLAIM (INLINE #)) ; compiling (DEFUN (SETF %PACKED-ACCESSOR-INT) ...) ; compiling (DECLAIM (INLINE #)) ; compiling (DEFUN (SETF %PACKED-ACCESSOR-INT-UNSAFE) ...) ; compiling (DECLAIM (INLINE %PACKED-ACCESSOR-SINGLE-FLOAT)) ; compiling (DEFUN %PACKED-ACCESSOR-SINGLE-FLOAT ...) ; compiling (DECLAIM (INLINE %PACKED-ACCESSOR-DOUBLE-FLOAT)) ; compiling (DEFUN %PACKED-ACCESSOR-DOUBLE-FLOAT ...) ; compiling (DECLAIM (INLINE #)) ; compiling (DEFUN (SETF %PACKED-ACCESSOR-SINGLE-FLOAT) ...) ; compiling (DECLAIM (INLINE #)) ; compiling (DEFUN (SETF %PACKED-ACCESSOR-DOUBLE-FLOAT) ...) ; compiling (DECLAIM (INLINE %PACKED-ACCESSOR-ARRAY)) ; compiling (DEFUN %PACKED-ACCESSOR-ARRAY ...) ; compiling (DECLAIM (INLINE #)) ; compiling (DEFUN (SETF %PACKED-ACCESSOR-ARRAY) ...) ; compiling (LISP-NAMESPACE:DEFINE-NAMESPACE PACKED-STRUCT-LAYOUT ...) ; compiling (DEFMACRO DEFINE-PACKED-STRUCT ...) ; compiling (DEFUN %PACKED-ACCESSOR-DEF ...) ; compiling (FTYPE* PACKED-AREF ...) ; compiling (DEFUN PACKED-AREF ...) ; compiling (DEFINE-COMPILER-MACRO PACKED-AREF ...) ; compiling (FTYPE* (SETF PACKED-AREF) ...) ; compiling (DEFUN (SETF PACKED-AREF) ...) ; compiling (DEFINE-COMPILER-MACRO (SETF PACKED-AREF) ...) ; /planner/.cache/local-projects/strips/lib/packed-struct-tmpJV5SBQ61.fasl written ; compilation finished in 0:00:01.787 ; compiling file "/planner/.roswell/local-projects/strips/lib/struct-of-array.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :STRIPS.LIB) ; compiling (DEFPARAMETER *SOA-INITIAL-SIZE* ...) ; compiling (DEFMACRO MAP-SLOTDEFS ...) ; compiling (DEFMACRO DEFSTRUCT-OF-ARRAY ...) ; /planner/.cache/local-projects/strips/lib/struct-of-array-tmpFHSB04A0.fasl written ; compilation finished in 0:00:00.043 ; compiling file "/planner/.roswell/local-projects/strips/lib/trie.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :STRIPS.LIB) ; compiling (DEFINE-CONSTANT +T+ ...) ; compiling (FTYPE* MAKE-TRIE ...) ; compiling (DEFUN MAKE-TRIE ...) ; compiling (DEFMACRO TRIE-INSERT ...) ; compiling (FTYPE* %TRIE-INSERT ...) ; compiling (DEFUN %TRIE-INSERT ...) ; compiling (FTYPE* TRIE-MEMBER ...) ; compiling (DEFUN TRIE-MEMBER ...) ; compiling (FTYPE* TRIE-INSERT-ALL ...) ; compiling (DEFUN TRIE-INSERT-ALL ...) ; compiling (FTYPE* MAP-TRIE ...) ; compiling (DEFUN MAP-TRIE ...) ; compiling (FTYPE* VARIABLEP ...) ; compiling (DEFUN VARIABLEP ...) ; compiling (FTYPE* QUERY-TRIE ...) ; compiling (DEFUN QUERY-TRIE ...) ; /planner/.cache/local-projects/strips/lib/trie-tmpQQZWJZI3.fasl written ; compilation finished in 0:00:00.057 ; compiling file "/planner/.roswell/local-projects/strips/preprocess/package.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :CL-USER) ; compiling (DEFPACKAGE PDDL ...) ; compiling (DEFPACKAGE STRIPS ...) ; compiling (SETF TRIVIA.LEVEL2:*ARITY-CHECK-BY-TEST-CALL* ...) ; /planner/.cache/local-projects/strips/preprocess/package-tmpPHMA69WA.fasl written ; compilation finished in 0:00:00.002 ; compiling file "/planner/.roswell/local-projects/strips/preprocess/util.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :PDDL) ; compiling (COMMON-LISP:DEFMACRO DEFINE ...) ; compiling (COMMON-LISP:IN-PACKAGE :STRIPS) ; compiling (DEFMACRO DEFUN* ...) ; compiling (DEFUN %REL ...) ; compiling (DEFMACRO PRINT-VALUES ...) ; compiling (DEFMACRO PRINT* ...) ; compiling (DEFMACRO ERRORS ...) ; compiling (DEFMACRO WITH-PARSED-INFORMATION ...) ; compiling (DEFMACRO WITH-PARSED-INFORMATION2 ...) ; compiling (DEFMACRO WITH-PARSED-INFORMATION3 ...) ; compiling (DEFMACRO WITH-PARSED-INFORMATION4 ...) ; compiling (DEFMACRO WITH-PARSED-INFORMATION5 ...) ; compiling (DEFUN POSITIVE ...) ; compiling (DEFUN NEGATIVE ...) ; compiling (DEFUN ENSURE-ZEROARY-TO-ATOM ...) ; compiling (DEFUN ENSURE-ZEROARY-TO-LIST ...) ; compiling (DECLAIM (INLINE MAKE-BIT-VECTOR)) ; compiling (DEFUN MAKE-BIT-VECTOR ...) ; compiling (DECLAIM (INLINE MAKE-A-ARRAY)) ; compiling (DEFUN MAKE-A-ARRAY ...) ; compiling (DECLAIM (INLINE LINEAR-EXTEND)) ; compiling (DEFUN LINEAR-EXTEND ...) ; compiling (DEFUN SAFE-AREF ...) ; compiling (DEFUN (SETF SAFE-AREF) ...) ; compiling (DEFMACRO IN-COMPILE-TIME ...) ; compiling (DEFMACRO FTYPE* ...) ; compiling (DEFMACRO RUNTIME-TYPE ...) ; compiling (DEFTYPE RUNTIME ...) ; compiling (DEFUN PRINTLN ...) ; compiling (DEFMACRO BREAK+ ...) ; compiling (DEFUN BELL ...) ; compiling (DEFINE-SYMBOL-MACRO BELL ...) ; /planner/.cache/local-projects/strips/preprocess/util-tmpXFTEJBZU.fasl written ; compilation finished in 0:00:00.096 ; compiling file "/planner/.roswell/local-projects/strips/preprocess/specials.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :STRIPS) ; compiling (DEFVAR *ENABLE-NO-OP-PRUNING* ...) ; compiling (DEFVAR *ENABLE-NEGATIVE-PRECONDITION-PRUNING-FOR-FLUENTS* ...) ; compiling (DEFVAR *ENABLE-NEGATIVE-PRECONDITION-PRUNING-FOR-AXIOMS* ...) ; compiling (DEFINE-SYMBOL-MACRO *ENABLE-NEGATIVE-PRECONDITION-PRUNING* ...) ; compiling (DEFVAR *GROUNDING-PROLOG* ...) ; compiling (DEFVAR *AXIOM-LAYER-PROLOG* ...) ; /planner/.cache/local-projects/strips/preprocess/specials-tmpXHDS9JD.fasl written ; compilation finished in 0:00:00.002 ; compiling file "/planner/.roswell/local-projects/strips/preprocess/2-translate.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :STRIPS) ; compiling (DEFUN FIND-DOMAIN ...) ; compiling (DEFUN PARSE ...) ; compiling (DEFUN PARSE0 ...) ; compiling (EDITOR-HINTS.NAMED-READTABLES:IN-READTABLE :FARE-QUASIQUOTE) ; compiling (DEFUN PARSE1 ...) ; compiling (DEFVAR *TYPES*) ; compiling (DEFVAR *OBJECTS*) ; compiling (DEFVAR *PREDICATES*) ; compiling (DEFVAR *PREDICATE-TYPES*) ; compiling (DEFVAR *ACTIONS*) ; compiling (DEFVAR *AXIOMS*) ; compiling (DEFVAR *INIT*) ; compiling (DEFVAR *GOAL*) ; compiling (DEFUN PARSE2 ...) ; compiling (DEFUN PARSE-TYPED-DEF ...) ; compiling (DEFUN GROVEL-TYPES ...) ; compiling (DEFUN FLATTEN-TYPE ...) ; compiling (DEFUN FLATTEN-TYPES/ARGUMENT ...) ; compiling (DEFUN FLATTEN-TYPES/PREDICATE ...) ; compiling (DEFUN FLATTEN-TYPED-DEF ...) ; compiling (DEFUN FLATTEN-TYPES/CONDITION ...) ; compiling (DEFUN FLATTEN-TYPES/EFFECT ...) ; compiling (DEFUN GROVEL-CONSTANTS ...) ; compiling (DEFUN GROVEL-OBJECTS ...) ; compiling (DEFUN GROVEL-PREDICATES ...) ; compiling (DEFUN GROVEL-INIT ...) ; compiling (DEFUN GROVEL-GOAL ...) ; compiling (DEFUN GROVEL-ACTIONS ...) ; compiling (DEFUN GROVEL-AXIOMS ...) ; compiling (DEFVAR *ACTIONS3*) ; compiling (DEFVAR *AXIOMS3*) ; compiling (DEFVAR *INIT3*) ; compiling (DEFVAR *GOAL3*) ; compiling (DEFUN PARSE3 ...) ; compiling (DEFUN NEGATE ...) ; compiling (DEFUN TO-NNF ...) ; compiling (DEFUN NNF-ACTIONS ...) ; compiling (DEFUN NNF-AXIOMS ...) ; compiling (DEFUN NNF-INIT ...) ; compiling (DEFUN NNF-GOAL ...) ; compiling (DEFVAR *ACTIONS4*) ; compiling (DEFVAR *AXIOMS4*) ; compiling (DEFVAR *INIT4*) ; compiling (DEFVAR *GOAL4*) ; compiling (DEFUN PARSE4 ...) ; compiling (DEFUN VARIABLEP ...) ; compiling (DEFUN FREE ...) ; compiling (DEFUN REMOVE-FORALL/CONDITION ...) ; compiling (DEFUN REMOVE-FORALL/EFFECT ...) ; compiling (DEFUN REMOVE-UNIVERSAL-ACTIONS ...) ; compiling (DEFUN REMOVE-UNIVERSAL-AXIOMS ...) ; compiling (DEFUN REMOVE-UNIVERSAL-INIT ...) ; compiling (DEFUN REMOVE-UNIVERSAL-GOAL ...) ; compiling (DEFVAR *ACTIONS5*) ; compiling (DEFVAR *AXIOMS5*) ; compiling (DEFUN PARSE5 ...) ; compiling (DEFUN &NNF-DNF ...) ; compiling (DEFUN &NNF-DNF/EFFECT ...) ; compiling (DEFUN REMOVE-DISJUNCTION-ACTIONS ...) ; compiling (DEFUN REMOVE-DISJUNCTION-AXIOMS ...) ; compiling (DEFVAR *ACTIONS6*) ; compiling (DEFVAR *AXIOMS6*) ; compiling (DEFUN PARSE6 ...) ; compiling (DEFUN MOVE-EXISTS/CONDITION ...) ; compiling (DEFUN MOVE-EXISTS/EFFECT ...) ; compiling (DEFUN MOVE-EXISTS-ACTIONS ...) ; compiling (DEFUN MOVE-EXISTS-AXIOMS ...) ; compiling (DEFVAR *ACTIONS7*) ; compiling (DEFUN PARSE7 ...) ; compiling (DEFUN SIMPLIFY-EFFECTS-ACTIONS ...) ; compiling (DEFMACRO FOREACH ...) ; compiling (DEFUN SIMPLIFY-EFFECT ...) ; compiling (DEFUN PARSE8 ...) ; /planner/.cache/local-projects/strips/preprocess/2-translate-tmp7DVUZNNP.fasl written ; compilation finished in 0:00:00.202 ; compiling file "/planner/.roswell/local-projects/strips/preprocess/4-easy-invariant.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :STRIPS) ; compiling (EDITOR-HINTS.NAMED-READTABLES:IN-READTABLE :FARE-QUASIQUOTE) ; compiling (DEFUN EASY-INVARIANT ...) ; compiling (DEFUN PREDICATE-MONOTONICITY ...) ; compiling (DEFUN PREDICATE-MONOTONICITY/PREDICATE ...) ; compiling (DEFVAR *MONOTONICITY*) ; compiling (DEFUN GENERIC-P ...) ; compiling (DEFUN MONOTONIC+P ...) ; compiling (DEFUN MONOTONIC-P ...) ; compiling (DEFUN STATIC-P ...) ; compiling (DEFUN AXIOM-P ...) ; compiling (DEFUN ADDED-P ...) ; compiling (DEFUN DELETED-P ...) ; /planner/.cache/local-projects/strips/preprocess/4-easy-invariant-tmpSLELCKLF.fasl written ; compilation finished in 0:00:00.033 ; compiling file "/planner/.roswell/local-projects/strips/preprocess/5-grounding-prolog-3.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :STRIPS) ; compiling (EDITOR-HINTS.NAMED-READTABLES:IN-READTABLE :FARE-QUASIQUOTE) ; compiling (DEFUN GROUND ...) ; compiling (DEFUN TMP-P ...) ; compiling (DEFUN NORMALIZE-FACT-TERM ...) ; compiling (DEFUN NORMALIZE-FACT-RULE ...) ; compiling (DEFUN NORMALIZE-OP-TERM ...) ; compiling (DEFUN NORMALIZE-OP-RULE ...) ; compiling (DEFUN NORMALIZE-EFFECT-TERM ...) ; compiling (DEFUN NORMALIZE-EFFECT-RULE ...) ; compiling (DEFUN NORMALIZE-INIT-TERM ...) ; compiling (DEFUN NORMALIZE-INIT-RULE ...) ; compiling (DEFUN NORMALIZE-DEL-TERM ...) ; compiling (DEFUN NORMALIZE-DEL-RULE ...) ; compiling (DEFVAR *INEQUALITY*) ; compiling (DEFUN ALL-RELAXED-REACHABLE2 ...) ; compiling (DEFUN FIND-BEST-JOIN ...) ; compiling (DEFVAR *INSTANTIATED*) ; compiling (DEFUN JOIN-ORDERING ...) ; compiling (DEFUN JOIN-ORDERING-AUX ...) ; compiling (DEFUN INSTANTIATED-INEQUALITY ...) ; compiling (DEFUN TABLED ...) ; compiling (DEFVAR *REACHABLE-FACTS*) ; compiling (DEFUN REGISTER ...) ; compiling (DEFVAR *REACHABLE-OPS*) ; compiling (DEFUN REGISTER-OP ...) ; compiling (DEFVAR *REACHABLE-EFFECTS*) ; compiling (DEFUN REGISTER-EFFECT ...) ; compiling (DEFVAR *INITIAL-FACTS*) ; compiling (DEFUN REGISTER-INIT ...) ; compiling (DEFVAR *DELETABLE-FACTS*) ; compiling (DEFUN REGISTER-DELETED ...) ; compiling (DEFUN RELAXED-REACHABILITY ...) ; compiling (DEFUN NO-OP-CONSTRAINTS ...) ; compiling (DEFUN EFFECT-ORDER ...) ; compiling (DEFUN REMOVE-SUBSUMED ...) ; compiling (DEFUN REGISTER-OPS ...) ; compiling (DEFUN REGISTER-AXIOMS ...) ; compiling (DEFUN NEGATIVE-CONDITIONS-SATISFIABLE ...) ; compiling (DEFUN %GROUND ...) ; /planner/.cache/local-projects/strips/preprocess/5-grounding-prolog-3-tmpRFCZGW36.fasl written ; compilation finished in 0:00:00.140 ; compiling file "/planner/.roswell/local-projects/strips/preprocess/6-invariant.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :STRIPS) ; compiling (EDITOR-HINTS.NAMED-READTABLES:IN-READTABLE :FARE-QUASIQUOTE) ; compiling (DEFVAR *FACTS*) ; compiling (DEFVAR *OPS*) ; compiling (DEFVAR *GROUND-AXIOMS*) ; compiling (DEFVAR *AXIOM-LAYERS*) ; compiling (DEFUN MUTEX-INVARIANT ...) ; compiling (DEFUN AXIOM-LAYERS ...) ; compiling (DEFUN %AXIOM-LAYERS ...) ; compiling (DEFUN AXIOM-LAYER-RULES ...) ; /planner/.cache/local-projects/strips/preprocess/6-invariant-tmpQPTRRFAI.fasl written ; compilation finished in 0:00:00.057 ; compiling file "/planner/.roswell/local-projects/strips/preprocess/7-instantiate.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :STRIPS) ; compiling (EDITOR-HINTS.NAMED-READTABLES:IN-READTABLE :FARE-QUASIQUOTE) ; compiling (DEFVAR *FACT-INDEX*) ; compiling (DEFVAR *FACT-SIZE*) ; compiling (DEFVAR *FACT-TRIE*) ; compiling (DEFVAR *STATE-SIZE*) ; compiling (DEFVAR *OP-INDEX*) ; compiling (DEFVAR *INSTANTIATED-OPS*) ; compiling (DEFVAR *OP-SIZE*) ; compiling (DEFVAR *INSTANTIATED-AXIOM-LAYERS*) ; compiling (DEFVAR *INSTANTIATED-INIT*) ; compiling (DEFVAR *INSTANTIATED-GOAL*) ; compiling (FLET (#) ...) ; compiling (DEFVAR +UNINITIALIZED-EFFECT+ ...) ; compiling (DEFTYPE AXIOM-LAYER ...) ; compiling (DECLAIM (STRIPS.LIB:INDEX *FACT-INDEX* ...)) ; compiling (DECLAIM (FIXNUM *FACT-SIZE* ...)) ; compiling (DECLAIM (CONS *FACT-TRIE*)) ; compiling (DECLAIM (# *INSTANTIATED-OPS*)) ; compiling (DECLAIM (# *INSTANTIATED-AXIOM-LAYERS*)) ; compiling (DECLAIM (# *INSTANTIATED-INIT*)) ; compiling (DECLAIM (FIXNUM *INSTANTIATED-GOAL*)) ; compiling (DEFUN INSTANTIATE ...) ; compiling (DEFUN INDEX-FACTS ...) ; compiling (DEFUN INSTANTIATE-OPS ...) ; compiling (DEFUN OPPOSITE-EFFECT-P ...) ; compiling (DECLAIM (INLINE LOGABS)) ; compiling (DEFUN LOGABS ...) ; compiling (DEFUN INSTANTIATE-OP ...) ; compiling (DEFUN INSTANTIATE-EFFECT ...) ; compiling (DEFUN INSTANTIATE-EFFECT-AUX ...) ; compiling (DEFUN INSTANTIATE-EFFECT-AUX2 ...) ; compiling (DEFUN INSTANTIATE-AXIOM-LAYERS ...) ; compiling (DEFUN INSTANTIATE-AXIOM ...) ; compiling (DEFUN INSTANTIATE-INIT ...) ; compiling (DEFUN INSTANTIATE-GOAL ...) ; /planner/.cache/local-projects/strips/preprocess/7-instantiate-tmpVZ9V8GEH.fasl written ; compilation finished in 0:00:00.209 ; compiling file "/planner/.roswell/local-projects/strips/preprocess/8-successor-generator.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :STRIPS) ; compiling (EDITOR-HINTS.NAMED-READTABLES:IN-READTABLE :FARE-QUASIQUOTE) ; compiling (DEFVAR *SG*) ; compiling (DEFSTRUCT (SG-NODE # ...) ...) ; compiling (DEFMETHOD MAKE-LOAD-FORM ...) ; compiling (DEFTYPE SG ...) ; compiling (DEFUN GENERATE-SG ...) ; compiling (DEFUN EXTEND-SG ...) ; compiling (DEFVAR *SG-COMPILED-BRANCH-LIMIT* ...) ; compiling (DEFVAR *SG-COMPILED-DEPTH-LIMIT*) ; compiling (DEFUN FIND-DEPTH-LIMIT ...) ; compiling (DEFMACRO DO-LEAF ...) ; compiling (DEFUN COMPILE-ITERATION-OVER-LEAF ...) ; compiling (DEFUN INTERPRET-ITERATION-OVER-LEAF ...) ; /planner/.cache/local-projects/strips/preprocess/8-successor-generator-tmpI0YDSDVA.fasl written ; compilation finished in 0:00:00.054 ; compiling file "/planner/.roswell/local-projects/strips/preprocess/9-effect-compiler.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :STRIPS) ; compiling (EDITOR-HINTS.NAMED-READTABLES:IN-READTABLE :FARE-QUASIQUOTE) ; compiling (DEFUN FIND-LEXICAL-VARIABLES ...) ; compiling (DEFMACRO FCASE9 ...) ; compiling (DEFMACRO COMPILED-APPLY-OP ...) ; compiling (DEFUN %COMPILED-APPLY-OP ...) ; compiling (DEFUN COMPILE-OP ...) ; compiling (DEFUN EFFECTS-TO-SG ...) ; compiling (DEFUN EXTEND-SG/EFFECT ...) ; compiling (DEFTYPE FAST-EFFECT-LEAF ...) ; compiling (DEFSTRUCT (FAST-EFFECT-NODE # ...) ...) ; compiling (DEFMETHOD MAKE-LOAD-FORM ...) ; compiling (DEFTYPE FAST-EFFECT ...) ; compiling (DEFUN PRINT-BYTE-SEQUENCE ...) ; compiling (DEFUN SG-TO-FAST-EFFECT ...) ; compiling (DECLAIM (NOTINLINE INTERPRET-FAST-EFFECT)) ; compiling (FTYPE* INTERPRET-FAST-EFFECT ...) ; compiling (DEFUN INTERPRET-FAST-EFFECT ...) ; /planner/.cache/local-projects/strips/preprocess/9-effect-compiler-tmpKLR0OPN5.fasl written ; compilation finished in 0:00:00.087 ; compiling file "/planner/.roswell/local-projects/strips/search/util.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :STRIPS) ; compiling (EDITOR-HINTS.NAMED-READTABLES:IN-READTABLE :FARE-QUASIQUOTE) ; compiling (DEFUN DECODE-FACT ...) ; compiling (DEFUN DECODE-STATE ...) ; compiling (DEFUN DECODE-OP ...) ; compiling (DEFMACRO ENUMERATE ...) ; compiling (DEFUN MEMORY-USAGE ...) ; compiling (DEFMACRO WITH-MEMORY-USAGE-DIFF ...) ; compiling (DEFUN CALL-WITH-MEMORY-USAGE-DIFF ...) ; compiling (DEFUN PRINT-FUNCTION-SIZE ...) ; compiling (DEFMACRO IN-COMPILATION-PHASE ...) ; compiling (DEFMACRO MAYBE-INLINE-OBJ ...) ; compiling (DEFMACRO WITH-RENAMING ...) ; /planner/.cache/local-projects/strips/search/util-tmpQNILNMER.fasl written ; compilation finished in 0:00:00.049 ; compiling file "/planner/.roswell/local-projects/strips/search/specials.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :STRIPS) ; compiling (EDITOR-HINTS.NAMED-READTABLES:IN-READTABLE :FARE-QUASIQUOTE) ; compiling (DEFVAR *MEMORY-LIMIT* ...) ; compiling (DEFVAR *TIME-LIMIT* ...) ; compiling (FTYPE* MAX-STATE-ID ...) ; compiling (DEFUN MAX-STATE-ID ...) [13:57:51] strips.lib packed-struct.lisp (fun24) - In compiler macro expansion of (SIZE-OF 'STATE-INFORMATION), caught MATCH-ERROR : Pattern: (((TYPE-R:INTEGER-SUBTYPE STRIPS.LIB::LOW STRIPS.LIB::HIGH) (IF (MINUSP STRIPS.LIB::LOW) (1+ (INTEGER-LENGTH STRIPS.LIB::HIGH)) (INTEGER-LENGTH STRIPS.LIB::HIGH))) ((TYPE-R:FLOAT-SUBTYPE STRIPS.LIB::HIGH) (MULTIPLE-VALUE-BIND (STRIPS.LIB::SIGNIF STRIPS.LIB::EXPON) (INTEGER-DECODE-FLOAT STRIPS.LIB::HIGH) (+ (INTEGER-LENGTH STRIPS.LIB::SIGNIF) (INTEGER-LENGTH STRIPS.LIB::EXPON) 1))) ((TYPE-R:MEMBER-TYPE STRIPS.LIB::MEMBERS) (SIZE-OF `(INTEGER ,(REDUCE #'MIN STRIPS.LIB::MEMBERS) ,(REDUCE #'MAX STRIPS.LIB::MEMBERS)))) ((TYPE-R:ARRAY-SUBTYPE STRIPS.LIB::ELEMENT-TYPE STRIPS.LIB::DIMENSIONS) (* (SIZE-OF STRIPS.LIB::ELEMENT-TYPE) (REDUCE #'* (ENSURE-LIST STRIPS.LIB::DIMENSIONS))))) Values: (STATE-INFORMATION) ; compiling (DECLAIM (FIXNUM *START-TIME* ...)) ; compiling (DEFVAR *START-TIME* ...) ; compiling (DEFVAR *LAST-MILESTONE* ...) ; compiling (DEFUN LOG-MILESTONE ...) ; compiling (DEFUN RECOMPILE-INSTANCE-DEPENDENT-CODE ...) ; compiling (DEFUN OUTPUT-PLAN ...) ; compiling (DEFVAR *OPTIONAL-FEATURES* ...) ; compiling (DEFVAR *DELETE-RELAXED-SG* ...) ; compiling (DEFVAR *DELETE-RELAXED-OPS* ...) ; compiling (DEFVAR *DELETE-RELAXED-OP-SIZE* ...) ; compiling (DEFVAR *RANDOM-SEMI-DELETE-RELAXED-SG* ...) ; compiling (DEFVAR *RANDOM-SEMI-DELETE-RELAXED-OPS* ...) ; compiling (DEFVAR *RANDOM-SEMI-DELETE-RELAXED-OP-SIZE* ...) ; compiling (DEFUN SOLVE-COMMON ...) ; compiling (DEFUN SOLVE-ONCE ...) ; compiling (DEFUN SOLVE-ONCE-TO-FILE ...) ; compiling (DEFINE-CONDITION NO-SOLUTION ...) ; compiling (DEFINE-CONDITION GOAL-FOUND ...) ; compiling (DEFINE-CONDITION CLOSE-LIST-FULL ...) ; compiling (DEFUN RETRIEVE-PATH ...) ; compiling (ENUMERATE STATUS ...) ; compiling (DEFSTRUCT BUILDER ...) ; compiling (DEFSTRUCT (EVALUATOR #) ...) ; compiling (DEFSTRUCT (OPEN-LIST #) ...) ; compiling (DEFSTRUCT (SEARCHER #) ...) ; /planner/.cache/local-projects/strips/search/specials-tmpMAMO3XGR.fasl written ; compilation finished in 0:00:00.053 ; compiling file "/planner/.roswell/local-projects/strips/search/blind.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :STRIPS) ; compiling (EDITOR-HINTS.NAMED-READTABLES:IN-READTABLE :FARE-QUASIQUOTE) ; compiling (STRIPS.LIB:DEFINE-PACKED-STRUCT BLIND ...) ; compiling (DEFUN BLIND-HEURISTICS ...) ; compiling (DEFUN BLIND ...) ; /planner/.cache/local-projects/strips/search/blind-tmp4CBIDXQU.fasl written ; compilation finished in 0:00:00.011 ; compiling file "/planner/.roswell/local-projects/strips/search/bucket-open-list.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :STRIPS) ; compiling (EDITOR-HINTS.NAMED-READTABLES:IN-READTABLE :FARE-QUASIQUOTE) ; compiling (DEFSTRUCT BUCKET-OPEN-LIST ...) ; compiling (DEFUN BUCKET-OPEN-LIST-INSERT ...) ; compiling (DEFUN BUCKET-OPEN-LIST-POP ...) ; compiling (DEFUN BUCKET-OPEN-LIST ...) ; /planner/.cache/local-projects/strips/search/bucket-open-list-tmp4M6Z7O9T.fasl written ; compilation finished in 0:00:00.013 ; compiling file "/planner/.roswell/local-projects/strips/search/builders.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :STRIPS) ; compiling (DEFUN ALIEN ...) ; compiling (DEFUN EAGER ...) ; compiling (DEFUN FF/RPG ...) ; compiling (DEFUN GOAL-COUNT ...) ; compiling (DEFUN NOVELTY ...) ; compiling (DEFUN NOVELTY1 ...) ; compiling (DEFUN NOVELTY2 ...) ; compiling (DEFUN NOVELTY3 ...) ; compiling (DEFUN NOVELTY4 ...) ; compiling (DEFUN SUM ...) ; compiling (DEFUN PRODUCT ...) ; compiling (DEFUN MAXIMUM ...) ; compiling (DEFUN CONSTANT ...) ; compiling (DEFUN THRESHOLD ...) ; /planner/.cache/local-projects/strips/search/builders-tmp3RKO0O0S.fasl written ; compilation finished in 0:00:00.024 ; compiling file "/planner/.roswell/local-projects/strips/search/non-axiom-goals.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :STRIPS) ; compiling (DEFUN GOALS ...) ; compiling (DEFUN NON-AXIOM-GOALS ...) ; compiling (DEFUN COMPRESS-ARRAY/INTEGER ...) ; compiling (DEFUN GOALS-AS-INDICES ...) ; compiling (DEFUN NON-AXIOM-GOALS-AS-INDICES ...) ; compiling (DEFUN ACHIEVERS ...) ; /planner/.cache/local-projects/strips/search/non-axiom-goals-tmpJNADND61.fasl written ; compilation finished in 0:00:00.027 ; compiling file "/planner/.roswell/local-projects/strips/search/relaxation.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :STRIPS) ; compiling (DEFTYPE RELAXER ...) ; compiling (FTYPE* RELAXED-SG ...) ; compiling (DEFUN RELAXED-SG ...) ; compiling (FTYPE* DELETE-RELAX-OP ...) ; compiling (DEFUN DELETE-RELAX-OP ...) ; compiling (FTYPE* DELETE-RELAX-EFFECTS ...) ; compiling (DEFUN DELETE-RELAX-EFFECTS ...) ; compiling (DEFUN ENSURE-DELETE-RELAXED-SG ...) ; compiling (DEFVAR *RANDOM-SEMI-RELAX-RATIO* ...) ; compiling (FTYPE* RANDOM-SEMI-DELETE-RELAX-OP ...) ; compiling (DEFUN RANDOM-SEMI-DELETE-RELAX-OP ...) ; compiling (FTYPE* RANDOM-SEMI-DELETE-RELAX-EFFECTS ...) ; compiling (DEFUN RANDOM-SEMI-DELETE-RELAX-EFFECTS ...) ; compiling (DEFUN ENSURE-RANDOM-SEMI-DELETE-RELAXED-SG ...) ; /planner/.cache/local-projects/strips/search/relaxation-tmpKEV7GFR4.fasl written ; compilation finished in 0:00:00.047 ; compiling file "/planner/.roswell/local-projects/strips/search/run.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :STRIPS) ; compiling (DEFUN RUN ...) ; /planner/.cache/local-projects/strips/search/run-tmp13EJYBWB.fasl written ; compilation finished in 0:00:00.014 ; compiling file "/planner/.roswell/local-projects/strips/search/timeout.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :STRIPS) ; compiling (DEFUN TIMEOUT ...) ; /planner/.cache/local-projects/strips/search/timeout-tmp93YER753.fasl written ; compilation finished in 0:00:00.002 ; compiling file "/planner/.roswell/local-projects/strips/validate/validate.lisp" (written 30 APR 2018 01:57:18 PM): ; compiling (IN-PACKAGE :STRIPS) ; compiling (EDITOR-HINTS.NAMED-READTABLES:IN-READTABLE :FARE-QUASIQUOTE) ; compiling (DEFUN SEARCH-FD ...) ; compiling (DEFUN FD-RELATIVE-PATHNAME ...) ; compiling (DEFUN FD-RELATIVE-PATHNAME* ...) ; compiling (DEFUN SEARCH-VAL ...) ; compiling (DEFUN VALIDATOR ...) ; compiling (DEFUN PRINT-PLAN ...) ; compiling (DEFMACRO WITH-TEMP ...) ; compiling (DEFGENERIC VALIDATE-PLAN ...) ; compiling (DEFMETHOD VALIDATE-PLAN ...) ; compiling (DEFMETHOD VALIDATE-PLAN ...) ; compiling (DEFMETHOD VALIDATE-PLAN ...) ; compiling (DEFMETHOD VALIDATE-PLAN ...) ; compiling (DEFMETHOD VALIDATE-PLAN ...) ; compiling (DEFMETHOD VALIDATE-PLAN ...) ; compiling (DEFMETHOD VALIDATE-PLAN ...) ; /planner/.cache/local-projects/strips/validate/validate-tmpB50UYUD7.fasl written ; compilation finished in 0:00:00.049 No roswell scripts found. 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...