Exporting environment variables Exporting TERM Exporting PAGER Exporting DISPLAY Exporting CI Exporting SEMAPHORE Exporting SEMAPHORE_PROJECT_NAME Exporting SEMAPHORE_PROJECT_ID Exporting SEMAPHORE_JOB_NAME Exporting SEMAPHORE_JOB_ID Exporting SEMAPHORE_AGENT_MACHINE_TYPE Exporting SEMAPHORE_AGENT_MACHINE_OS_IMAGE Exporting SEMAPHORE_AGENT_MACHINE_ENVIRONMENT_TYPE Exporting SEMAPHORE_ORGANIZATION_URL Exporting SEMAPHORE_ARTIFACT_TOKEN Exporting SSH_PRIVATE_KEY_PATH Exporting SEMAPHORE_CACHE_PRIVATE_KEY_PATH Exporting SEMAPHORE_CACHE_USERNAME Exporting SEMAPHORE_CACHE_URL Exporting SEMAPHORE_GIT_URL Exporting SEMAPHORE_GIT_DIR Exporting SEMAPHORE_GIT_SHA Exporting SEMAPHORE_GIT_REPO_SLUG Exporting SEMAPHORE_GIT_REF Exporting SEMAPHORE_GIT_COMMIT_RANGE Exporting SEMAPHORE_GIT_REF_TYPE Exporting SEMAPHORE_GIT_BRANCH Exporting SEMAPHORE_GIT_PR_SLUG Exporting SEMAPHORE_GIT_PR_SHA Exporting SEMAPHORE_GIT_PR_NUMBER Exporting SEMAPHORE_GIT_PR_NAME Exporting SEMAPHORE_GIT_PR_BRANCH Exporting SEMAPHORE_WORKFLOW_ID Exporting SEMAPHORE_WORKFLOW_NUMBER Exporting SEMAPHORE_WORKFLOW_RERUN Exporting SEMAPHORE_WORKFLOW_TRIGGERED_BY_HOOK Exporting SEMAPHORE_WORKFLOW_HOOK_SOURCE Exporting SEMAPHORE_WORKFLOW_TRIGGERED_BY_SCHEDULE Exporting SEMAPHORE_WORKFLOW_TRIGGERED_BY_API Exporting SEMAPHORE_PIPELINE_ARTEFACT_ID Exporting SEMAPHORE_PIPELINE_ID Exporting SEMAPHORE_PIPELINE_RERUN Exporting SEMAPHORE_PIPELINE_PROMOTION Exporting SEMAPHORE_PIPELINE_PROMOTED_BY Exporting SEMAPHORE_PIPELINE_0_ARTEFACT_ID Injecting Files Injecting /home/semaphore/.ssh/semaphore_cache_key with file mode 0600 Injecting .ssh/id_rsa with file mode 0600 Setting up the Semaphore toolbox Running: dowloadPath=$(curl -s -L --retry 5 http://packages.semaphoreci.com/toolbox/linux) && echo $dowloadPath && curl -s -L --retry 5 --connect-timeout 3 $dowloadPath -o /tmp/toolbox.tar && tar -xvf /tmp/toolbox.tar && mv toolbox ~/.toolbox && bash ~/.toolbox/install-toolbox && source ~/.toolbox/toolbox && echo 'source ~/.toolbox/toolbox' >> ~/.bash_profile && if [ -f /etc/init.d/xvfb ]; then /etc/init.d/xvfb start; fi https://github.com/semaphoreci/toolbox/releases/download/v1.14.3/linux.tar toolbox/ toolbox/libchecksum toolbox/libcheckout toolbox/when toolbox/sem-service-check-params toolbox/sem-service toolbox/retry toolbox/sem-install toolbox/README.md toolbox/sem-version toolbox/artifact toolbox/toolbox toolbox/spc toolbox/install-toolbox toolbox/install-package toolbox/test-results toolbox/system-metrics-collector toolbox/ssh-session-cli toolbox/sem-dockerize toolbox/cache retry installed ssh-session-cli installed cache installed sem-service installed sem-dockerize installed sem-service-check-params installed install-package installed Installing the artifacts CLI artifacts installed Installing the test results CLI test-results installed Installing the SPC CLI spc installed Installing the when CLI when installed Starting to collect System Metrics in /tmp/system-metrics Starting virtual X frame buffer: Xvfb. Starting an ssh-agent Running: eval `ssh-agent` && echo 'eval $(ssh-agent) >/dev/null' >> ~/.bash_profile && echo 'yes' > /tmp/sempahore-user-commands-have-started Agent pid 2399 Connecting to cache Running: ssh-keyscan -p 29920 -H 46.4.218.107 >> /home/semaphore/.ssh/known_hosts && ssh-add /home/semaphore/.ssh/semaphore_cache_key # 46.4.218.107:29920 SSH-2.0-OpenSSH_7.6p1 Ubuntu-4ubuntu0.3 # 46.4.218.107:29920 SSH-2.0-OpenSSH_7.6p1 Ubuntu-4ubuntu0.3 # 46.4.218.107:29920 SSH-2.0-OpenSSH_7.6p1 Ubuntu-4ubuntu0.3 Identity added: /home/semaphore/.ssh/semaphore_cache_key (/home/semaphore/.ssh/semaphore_cache_key) checkout HEAD is now at 6d99216eea71dd524768c8d1544c3ee62e368ebc sudo apt-get update 0% [Working] Hit:1 http://mirror.hetzner.de/ubuntu/packages bionic InRelease 0% [Connecting to de.archive.ubuntu.com] [Waiting for headers] [Connecting to m Get:2 http://mirror.hetzner.de/ubuntu/packages bionic-updates InRelease [88.7 kB] Get:3 http://mirror.hetzner.de/ubuntu/packages bionic-backports InRelease [74.6 kB] Get:4 http://mirror.hetzner.de/ubuntu/packages bionic-security InRelease [88.7 kB] 0% [Connecting to de.archive.ubuntu.com (141.30.62.22)] [4 InRelease 88.7 kB/88 0% [Connecting to de.archive.ubuntu.com (141.30.62.22)] [Waiting for headers] [ 0% [1 InRelease gpgv 242 kB] [Connecting to de.archive.ubuntu.com (141.30.62.22 Hit:5 http://mirror.init7.net/ubuntu bionic InRelease 0% [1 InRelease gpgv 242 kB] [Connecting to de.archive.ubuntu.com (141.30.62.22 Get:6 http://mirror.init7.net/ubuntu bionic-updates InRelease [88.7 kB] 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [6 InRelease 14.2 kB/88.7 kB Hit:7 http://ppa.launchpad.net/ansible/ansible/ubuntu trusty InRelease 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [6 InRelease 14.2 kB/88.7 kB Get:8 http://dl.google.com/linux/chrome/deb stable InRelease [1,811 B] 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [6 InRelease 14.2 kB/88.7 kB 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [6 InRelease 14.2 kB/88.7 kB Hit:9 http://de.archive.ubuntu.com/ubuntu bionic InRelease 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [6 InRelease 43.2 kB/88.7 kB Hit:10 https://baltocdn.com/helm/stable/debian all InRelease 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [Waiting for headers] [Conne Hit:11 https://download.docker.com/linux/ubuntu bionic InRelease 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [Waiting for headers] [Waiti Get:12 http://packages.cloud.google.com/apt cloud-sdk-bionic InRelease [6,786 B] 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [Waiting for headers] [Waiti 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [Waiting for headers] [Waiti Get:13 http://de.archive.ubuntu.com/ubuntu bionic-security InRelease [88.7 kB] 0% [1 InRelease gpgv 242 kB] [13 InRelease 13.4 kB/88.7 kB 15%] [Waiting for he Get:14 http://mirror.init7.net/ubuntu bionic-backports InRelease [74.6 kB] 0% [1 InRelease gpgv 242 kB] [13 InRelease 13.4 kB/88.7 kB 15%] [14 InRelease 4 0% [1 InRelease gpgv 242 kB] [13 InRelease 13.4 kB/88.7 kB 15%] [Waiting for he Get:15 https://packages.microsoft.com/repos/azure-cli bionic InRelease [3,964 B] 0% [1 InRelease gpgv 242 kB] [13 InRelease 13.4 kB/88.7 kB 15%] [Waiting for he Hit:16 http://ppa.launchpad.net/git-core/ppa/ubuntu bionic InRelease 0% [1 InRelease gpgv 242 kB] [13 InRelease 13.4 kB/88.7 kB 15%] [Waiting for he Get:17 http://mirror.init7.net/ubuntu bionic-security InRelease [88.7 kB] 0% [1 InRelease gpgv 242 kB] [13 InRelease 13.4 kB/88.7 kB 15%] [17 InRelease 3 Hit:18 https://dl.yarnpkg.com/debian stable InRelease 0% [1 InRelease gpgv 242 kB] [13 InRelease 13.4 kB/88.7 kB 15%] [17 InRelease 8 0% [1 InRelease gpgv 242 kB] [13 InRelease 13.4 kB/88.7 kB 15%] [Connecting to Hit:19 https://storage.googleapis.com/bazel-apt stable InRelease 0% [1 InRelease gpgv 242 kB] [13 InRelease 40.8 kB/88.7 kB 46%] [Connecting to 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [Connecting to repo.scala-sb Hit:20 http://ppa.launchpad.net/cwchien/gradle/ubuntu bionic InRelease 0% [1 InRelease gpgv 242 kB] [Waiting for headers] [Connecting to ppa.launchpad Get:21 http://de.archive.ubuntu.com/ubuntu bionic-updates InRelease [88.7 kB] 0% [1 InRelease gpgv 242 kB] [21 InRelease 32.8 kB/88.7 kB 37%] [Connecting to 0% [1 InRelease gpgv 242 kB] [Connecting to ppa.launchpad.net (91.189.95.85)] [ Hit:22 http://ppa.launchpad.net/pypy/ppa/ubuntu bionic InRelease 0% [1 InRelease gpgv 242 kB] [Connecting to ppa.launchpad.net (91.189.95.85)] [ 0% [Connecting to ppa.launchpad.net (91.189.95.85)] [Connected to repo.scala-sb 0% [2 InRelease gpgv 88.7 kB] [Connecting to ppa.launchpad.net (91.189.95.85)] Get:23 http://ppa.launchpad.net/deadsnakes/ppa/ubuntu bionic InRelease [15.9 kB] 0% [2 InRelease gpgv 88.7 kB] [23 InRelease 2,572 B/15.9 kB 16%] [Connected to 0% [2 InRelease gpgv 88.7 kB] [Connected to repo.scala-sbt.org (34.231.6.143)] 0% [Connected to repo.scala-sbt.org (34.231.6.143)] 0% [3 InRelease gpgv 74.6 kB] [Waiting for headers] [Connected to repo.scala-sb Get:24 http://mirror.hetzner.de/ubuntu/packages bionic-updates/main amd64 Packages [2,216 kB] 0% [3 InRelease gpgv 74.6 kB] [24 Packages 20.0 kB/2,216 kB 1%] [Connected to r 0% [3 InRelease gpgv 74.6 kB] [Waiting for headers] 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Waiting for headers] [Wa Get:25 http://mirror.hetzner.de/ubuntu/packages bionic-updates/main i386 Packages [1,345 kB] 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [25 Packages 69.6 kB/1,34 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Waiting for headers] Get:26 http://mirror.hetzner.de/ubuntu/packages bionic-updates/main Translation-en [433 kB] 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [26 Translation-en 0 B/43 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Waiting for headers] Get:27 http://mirror.hetzner.de/ubuntu/packages bionic-updates/restricted i386 Packages [28.6 kB] 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [27 Packages 0 B/28.6 kB 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Waiting for headers] Get:28 http://mirror.hetzner.de/ubuntu/packages bionic-updates/restricted amd64 Packages [462 kB] 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [28 Packages 0 B/462 kB 0 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Waiting for headers] Get:29 http://mirror.hetzner.de/ubuntu/packages bionic-updates/restricted Translation-en [62.5 kB] 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [29 Translation-en 0 B/62 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Waiting for headers] Get:30 http://mirror.hetzner.de/ubuntu/packages bionic-updates/universe i386 Packages [1,575 kB] 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [30 Packages 0 B/1,575 kB 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [30 Packages 1,575 kB/1,5 Get:32 http://mirror.hetzner.de/ubuntu/packages bionic-updates/universe amd64 Packages [1,749 kB] 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [32 Packages 1,090 kB/1,7 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Waiting for headers] Get:33 http://mirror.hetzner.de/ubuntu/packages bionic-updates/universe Translation-en [375 kB] 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [33 Translation-en 0 B/37 0% [24 Packages store 0 B] [3 InRelease gpgv 74.6 kB] [Waiting for headers] 0% [24 Packages store 0 B] [Waiting for headers] 0% [24 Packages store 0 B] [4 InRelease gpgv 88.7 kB] [Waiting for headers] 0% [Connecting to scala.jfrog.io (35.161.36.47)] [24 Packages store 0 B] [4 InR 0% [Connecting to scala.jfrog.io (35.161.36.47)] [24 Packages store 0 B] 0% [Connecting to scala.jfrog.io (35.161.36.47)] [24 Packages store 0 B] [5 InR Get:35 http://mirror.hetzner.de/ubuntu/packages bionic-security/main amd64 Packages [1,869 kB] 0% [Connecting to scala.jfrog.io (35.161.36.47)] [24 Packages store 0 B] [5 InR 0% [Connecting to scala.jfrog.io (35.161.36.47)] [24 Packages store 0 B] [5 InR Get:36 http://mirror.hetzner.de/ubuntu/packages bionic-security/main i386 Packages [1,040 kB] 0% [Connecting to scala.jfrog.io (35.161.36.47)] [24 Packages store 0 B] [5 InR 0% [Connecting to scala.jfrog.io (35.161.36.47)] [24 Packages store 0 B] [5 InR Get:37 http://mirror.hetzner.de/ubuntu/packages bionic-security/main Translation-en [341 kB] 0% [Connecting to scala.jfrog.io (35.161.36.47)] [24 Packages store 0 B] [5 InR 0% [Connecting to scala.jfrog.io (35.161.36.47)] [24 Packages store 0 B] [5 InR Get:38 http://mirror.hetzner.de/ubuntu/packages bionic-security/restricted amd64 Packages [438 kB] 0% [Connecting to scala.jfrog.io (35.161.36.47)] [24 Packages store 0 B] [5 InR 0% [Connecting to scala.jfrog.io (35.161.36.47)] [24 Packages store 0 B] [5 InR Get:39 http://mirror.hetzner.de/ubuntu/packages bionic-security/restricted i386 Packages [22.0 kB] 0% [Connecting to scala.jfrog.io (35.161.36.47)] [24 Packages store 0 B] [5 InR 0% [Connecting to scala.jfrog.io (35.161.36.47)] [24 Packages store 0 B] [5 InR Get:40 http://mirror.hetzner.de/ubuntu/packages bionic-security/restricted Translation-en [58.8 kB] 0% [Connecting to scala.jfrog.io (35.161.36.47)] [24 Packages store 0 B] [5 InR 0% [Connecting to scala.jfrog.io (35.161.36.47)] [24 Packages store 0 B] [5 InR Get:41 http://mirror.hetzner.de/ubuntu/packages bionic-security/universe amd64 Packages [1,138 kB] 0% [Connecting to scala.jfrog.io (35.161.36.47)] [24 Packages store 0 B] [5 InR 0% [Connecting to scala.jfrog.io (35.161.36.47)] [24 Packages store 0 B] [5 InR Get:42 http://mirror.hetzner.de/ubuntu/packages bionic-security/universe i386 Packages [987 kB] 0% [Connecting to scala.jfrog.io (35.161.36.47)] [24 Packages store 0 B] [5 InR 0% [Connecting to scala.jfrog.io (35.161.36.47)] [24 Packages store 0 B] [5 InR Get:43 http://mirror.hetzner.de/ubuntu/packages bionic-security/universe Translation-en [259 kB] 0% [Connecting to scala.jfrog.io (35.161.36.47)] [24 Packages store 0 B] [5 InR 0% [Connecting to scala.jfrog.io (35.161.36.47)] [24 Packages store 0 B] [5 InR 0% [Connected to scala.jfrog.io (35.161.36.47)] [24 Packages store 0 B] 0% [Connected to scala.jfrog.io (35.161.36.47)] [24 Packages store 0 B] [7 InRe 0% [Connected to scala.jfrog.io (35.161.36.47)] [7 InRelease gpgv 16.0 kB] 0% [Connected to scala.jfrog.io (35.161.36.47)] [25 Packages store 0 B] [7 InRe 0% [Connected to scala.jfrog.io (35.161.36.47)] [25 Packages store 0 B] 0% [Connected to scala.jfrog.io (35.161.36.47)] [25 Packages store 0 B] [8 InRe 0% [Connected to scala.jfrog.io (35.161.36.47)] [25 Packages store 0 B] 0% [Connected to scala.jfrog.io (35.161.36.47)] [25 Packages store 0 B] [9 InRe Get:44 http://dl.google.com/linux/chrome/deb stable/main amd64 Packages [1,099 B] 0% [Connected to scala.jfrog.io (35.161.36.47)] [25 Packages store 0 B] [9 InRe 0% [Connected to scala.jfrog.io (35.161.36.47)] [25 Packages store 0 B] [9 InRe 0% [Waiting for headers] [9 InRelease gpgv 242 kB] 0% [Waiting for headers] [26 Translation-en store 0 B] [9 InRelease gpgv 242 kB 0% [Waiting for headers] [26 Translation-en store 0 B] 0% [Waiting for headers] [26 Translation-en store 0 B] [6 InRelease gpgv 88.7 k Hit:31 https://scala.jfrog.io/artifactory/debian all InRelease 0% [26 Translation-en store 0 B] [6 InRelease gpgv 88.7 kB] 0% [Waiting for headers] [6 InRelease gpgv 88.7 kB] 0% [Waiting for headers] [27 Packages store 0 B] [6 InRelease gpgv 88.7 kB] 0% [Waiting for headers] [6 InRelease gpgv 88.7 kB] 0% [Waiting for headers] [28 Packages store 0 B] [6 InRelease gpgv 88.7 kB] 0% [Waiting for headers] [28 Packages store 0 B] 0% [Waiting for headers] [28 Packages store 0 B] [10 InRelease gpgv 7,652 B] [W Get:45 http://mirror.init7.net/ubuntu bionic-updates/main i386 Packages [1,345 kB] 0% [Waiting for headers] [28 Packages store 0 B] [10 InRelease gpgv 7,652 B] [4 0% [Waiting for headers] [10 InRelease gpgv 7,652 B] [45 Packages 217 kB/1,345 0% [Waiting for headers] [29 Translation-en store 0 B] [10 InRelease gpgv 7,652 0% [Waiting for headers] [10 InRelease gpgv 7,652 B] [45 Packages 751 kB/1,345 0% [Waiting for headers] [30 Packages store 0 B] [10 InRelease gpgv 7,652 B] [4 0% [Waiting for headers] [30 Packages store 0 B] [10 InRelease gpgv 7,652 B] Get:46 http://mirror.init7.net/ubuntu bionic-updates/main amd64 Packages [2,216 kB] 0% [Waiting for headers] [30 Packages store 0 B] [10 InRelease gpgv 7,652 B] [4 Ign:34 https://scala.jfrog.io/artifactory/debian InRelease 0% [30 Packages store 0 B] [10 InRelease gpgv 7,652 B] [46 Packages 368 kB/2,21 0% [30 Packages store 0 B] [10 InRelease gpgv 7,652 B] [Waiting for headers] [W Get:47 http://mirror.init7.net/ubuntu bionic-updates/main Translation-en [433 kB] 0% [30 Packages store 0 B] [10 InRelease gpgv 7,652 B] [47 Translation-en 52.3 0% [30 Packages store 0 B] [47 Translation-en 380 kB/433 kB 88%] [Waiting for h 0% [30 Packages store 0 B] [11 InRelease gpgv 64.4 kB] [47 Translation-en 380 k 0% [30 Packages store 0 B] [11 InRelease gpgv 64.4 kB] [Waiting for headers] Get:48 http://mirror.init7.net/ubuntu bionic-updates/restricted i386 Packages [28.6 kB] 0% [30 Packages store 0 B] [11 InRelease gpgv 64.4 kB] [48 Packages 12.3 kB/28. 0% [30 Packages store 0 B] [11 InRelease gpgv 64.4 kB] [Waiting for headers] [W Get:49 http://mirror.init7.net/ubuntu bionic-updates/restricted amd64 Packages [462 kB] 0% [30 Packages store 0 B] [11 InRelease gpgv 64.4 kB] [49 Packages 41.0 kB/462 0% [30 Packages store 0 B] [11 InRelease gpgv 64.4 kB] [Waiting for headers] [W Get:50 http://mirror.init7.net/ubuntu bionic-updates/restricted Translation-en [62.5 kB] 0% [30 Packages store 0 B] [11 InRelease gpgv 64.4 kB] [50 Translation-en 45.4 0% [30 Packages store 0 B] [11 InRelease gpgv 64.4 kB] [Waiting for headers] [W Get:51 http://mirror.init7.net/ubuntu bionic-updates/universe amd64 Packages [1,749 kB] 0% [30 Packages store 0 B] [11 InRelease gpgv 64.4 kB] [51 Packages 48.2 kB/1,7 0% [30 Packages store 0 B] [11 InRelease gpgv 64.4 kB] [Waiting for headers] [W Get:52 http://mirror.init7.net/ubuntu bionic-updates/universe i386 Packages [1,575 kB] 0% [30 Packages store 0 B] [11 InRelease gpgv 64.4 kB] [52 Packages 65.5 kB/1,5 0% [30 Packages store 0 B] [11 InRelease gpgv 64.4 kB] [52 Packages 393 kB/1,57 0% [Waiting for headers] [30 Packages store 0 B] [11 InRelease gpgv 64.4 kB] [W Get:54 http://mirror.init7.net/ubuntu bionic-updates/universe Translation-en [375 kB] 0% [Waiting for headers] [30 Packages store 0 B] [11 InRelease gpgv 64.4 kB] [5 0% [Waiting for headers] [30 Packages store 0 B] [11 InRelease gpgv 64.4 kB] 0% [Waiting for headers] [30 Packages store 0 B] 0% [Waiting for headers] [30 Packages store 0 B] [12 InRelease gpgv 6,786 B] 0% [Waiting for headers] [12 InRelease gpgv 6,786 B] 0% [Waiting for headers] [32 Packages store 0 B] [12 InRelease gpgv 6,786 B] Hit:53 https://scala.jfrog.io/artifactory/debian Release 0% [32 Packages store 0 B] [12 InRelease gpgv 6,786 B] 0% [32 Packages store 0 B] 0% [32 Packages store 0 B] [14 InRelease gpgv 74.6 kB] [Waiting for headers] Get:55 http://packages.cloud.google.com/apt cloud-sdk-bionic/main amd64 Packages [206 kB] 0% [32 Packages store 0 B] [14 InRelease gpgv 74.6 kB] [55 Packages 10.6 kB/206 0% [32 Packages store 0 B] [14 InRelease gpgv 74.6 kB] Get:56 http://packages.cloud.google.com/apt cloud-sdk-bionic/main i386 Packages [171 kB] 0% [32 Packages store 0 B] [14 InRelease gpgv 74.6 kB] [56 Packages 81.9 kB/171 0% [32 Packages store 0 B] [14 InRelease gpgv 74.6 kB] 0% [32 Packages store 0 B] 0% [32 Packages store 0 B] [15 InRelease gpgv 3,964 B] 0% [32 Packages store 0 B] 0% [32 Packages store 0 B] [16 InRelease gpgv 20.8 kB] [Waiting for headers] Get:57 https://packages.microsoft.com/repos/azure-cli bionic/main amd64 Packages [15.1 kB] 0% [32 Packages store 0 B] [16 InRelease gpgv 20.8 kB] 0% [16 InRelease gpgv 20.8 kB] 0% [33 Translation-en store 0 B] [16 InRelease gpgv 20.8 kB] 0% [33 Translation-en store 0 B] 0% [33 Translation-en store 0 B] [18 InRelease gpgv 17.1 kB] 0% [18 InRelease gpgv 17.1 kB] 0% [35 Packages store 0 B] [18 InRelease gpgv 17.1 kB] 0% [35 Packages store 0 B] 0% [35 Packages store 0 B] [17 InRelease gpgv 88.7 kB] 0% [35 Packages store 0 B] 0% [35 Packages store 0 B] [19 InRelease gpgv 2,256 B] Get:58 http://mirror.init7.net/ubuntu bionic-security/main i386 Packages [1,040 kB] 0% [35 Packages store 0 B] [19 InRelease gpgv 2,256 B] [58 Packages 18.1 kB/1,0 0% [35 Packages store 0 B] [19 InRelease gpgv 2,256 B] Get:59 http://mirror.init7.net/ubuntu bionic-security/main amd64 Packages [1,869 kB] 0% [35 Packages store 0 B] [19 InRelease gpgv 2,256 B] [59 Packages 26.1 kB/1,8 0% [35 Packages store 0 B] [19 InRelease gpgv 2,256 B] [Waiting for headers] Get:60 http://mirror.init7.net/ubuntu bionic-security/main Translation-en [341 kB] 0% [35 Packages store 0 B] [19 InRelease gpgv 2,256 B] [60 Translation-en 56.9 0% [35 Packages store 0 B] [19 InRelease gpgv 2,256 B] Get:61 http://mirror.init7.net/ubuntu bionic-security/restricted amd64 Packages [438 kB] 0% [35 Packages store 0 B] [19 InRelease gpgv 2,256 B] [61 Packages 43.4 kB/438 0% [35 Packages store 0 B] [19 InRelease gpgv 2,256 B] [Waiting for headers] Get:62 http://mirror.init7.net/ubuntu bionic-security/restricted i386 Packages [22.0 kB] 0% [35 Packages store 0 B] [19 InRelease gpgv 2,256 B] [62 Packages 22.0 kB/22. 0% [35 Packages store 0 B] [19 InRelease gpgv 2,256 B] Get:63 http://mirror.init7.net/ubuntu bionic-security/restricted Translation-en [58.8 kB] 0% [35 Packages store 0 B] [19 InRelease gpgv 2,256 B] [63 Translation-en 41.8 0% [35 Packages store 0 B] [19 InRelease gpgv 2,256 B] [Waiting for headers] Get:64 http://mirror.init7.net/ubuntu bionic-security/universe i386 Packages [987 kB] 0% [35 Packages store 0 B] [19 InRelease gpgv 2,256 B] [64 Packages 48.2 kB/987 0% [35 Packages store 0 B] [19 InRelease gpgv 2,256 B] [Waiting for headers] Get:65 http://mirror.init7.net/ubuntu bionic-security/universe amd64 Packages [1,138 kB] 0% [35 Packages store 0 B] [19 InRelease gpgv 2,256 B] [65 Packages 43.6 kB/1,1 0% [35 Packages store 0 B] [19 InRelease gpgv 2,256 B] [Waiting for headers] Get:66 http://mirror.init7.net/ubuntu bionic-security/universe Translation-en [259 kB] 0% [35 Packages store 0 B] [19 InRelease gpgv 2,256 B] [66 Translation-en 65.5 0% [35 Packages store 0 B] [19 InRelease gpgv 2,256 B] 0% [19 InRelease gpgv 2,256 B] 0% [36 Packages store 0 B] [19 InRelease gpgv 2,256 B] 0% [36 Packages store 0 B] 0% [36 Packages store 0 B] [13 InRelease gpgv 88.7 kB] 0% [36 Packages store 0 B] 0% [36 Packages store 0 B] [20 InRelease gpgv 15.4 kB] Get:67 http://de.archive.ubuntu.com/ubuntu bionic-security/main amd64 Packages [1,869 kB] 0% [36 Packages store 0 B] [20 InRelease gpgv 15.4 kB] [67 Packages 13.4 kB/1,8 0% [20 InRelease gpgv 15.4 kB] [67 Packages 40.8 kB/1,869 kB 2%] 0% [37 Translation-en store 0 B] [20 InRelease gpgv 15.4 kB] [67 Packages 40.8 0% [37 Translation-en store 0 B] [67 Packages 95.5 kB/1,869 kB 5%] 0% [37 Translation-en store 0 B] [21 InRelease gpgv 88.7 kB] [67 Packages 95.5 0% [21 InRelease gpgv 88.7 kB] [67 Packages 1,737 kB/1,869 kB 93%] 0% [38 Packages store 0 B] [21 InRelease gpgv 88.7 kB] [67 Packages 1,737 kB/1, 0% [38 Packages store 0 B] [21 InRelease gpgv 88.7 kB] 0% [38 Packages store 0 B] [Waiting for headers] 0% [38 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [Waiting for headers] Get:68 http://de.archive.ubuntu.com/ubuntu bionic-security/main i386 Packages [1,040 kB] 0% [38 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [68 Packages 34.0 kB/1,0 0% [38 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [Waiting for headers] Get:69 http://de.archive.ubuntu.com/ubuntu bionic-security/main Translation-en [341 kB] 0% [38 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [69 Translation-en 57.2 0% [38 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [Waiting for headers] Get:70 http://de.archive.ubuntu.com/ubuntu bionic-security/restricted amd64 Packages [438 kB] 0% [38 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [70 Packages 9,220 B/438 0% [38 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [Waiting for headers] Get:71 http://de.archive.ubuntu.com/ubuntu bionic-security/restricted i386 Packages [22.0 kB] 0% [38 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [71 Packages 22.0 kB/22. Get:72 http://de.archive.ubuntu.com/ubuntu bionic-security/restricted Translation-en [58.8 kB] 0% [38 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [72 Translation-en 42.1 0% [38 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [Waiting for headers] Get:73 http://de.archive.ubuntu.com/ubuntu bionic-security/universe i386 Packages [987 kB] 0% [38 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [73 Packages 48.6 kB/987 0% [22 InRelease gpgv 15.4 kB] [73 Packages 573 kB/987 kB 58%] 0% [39 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [73 Packages 573 kB/987 0% [22 InRelease gpgv 15.4 kB] [73 Packages 901 kB/987 kB 91%] 0% [40 Translation-en store 0 B] [22 InRelease gpgv 15.4 kB] [73 Packages 901 k 0% [40 Translation-en store 0 B] [22 InRelease gpgv 15.4 kB] Get:74 http://de.archive.ubuntu.com/ubuntu bionic-security/universe amd64 Packages [1,138 kB] 0% [40 Translation-en store 0 B] [22 InRelease gpgv 15.4 kB] [74 Packages 43.9 0% [40 Translation-en store 0 B] [22 InRelease gpgv 15.4 kB] [Waiting for heade Get:75 http://de.archive.ubuntu.com/ubuntu bionic-security/universe Translation-en [259 kB] 0% [40 Translation-en store 0 B] [22 InRelease gpgv 15.4 kB] [75 Translation-en 0% [22 InRelease gpgv 15.4 kB] [75 Translation-en 259 kB/259 kB 100%] 0% [41 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [75 Translation-en 259 k 0% [41 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [Waiting for headers] Get:76 http://de.archive.ubuntu.com/ubuntu bionic-updates/main amd64 Packages [2,216 kB] 0% [41 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [76 Packages 22.4 kB/2,2 0% [41 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [Waiting for headers] Get:77 http://de.archive.ubuntu.com/ubuntu bionic-updates/main i386 Packages [1,345 kB] 0% [41 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [77 Packages 34.2 kB/1,3 0% [41 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [Waiting for headers] Get:78 http://de.archive.ubuntu.com/ubuntu bionic-updates/main Translation-en [433 kB] 0% [41 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [78 Translation-en 65.4 0% [41 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [Waiting for headers] Get:79 http://de.archive.ubuntu.com/ubuntu bionic-updates/restricted i386 Packages [28.6 kB] 0% [41 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [79 Packages 25.4 kB/28. 0% [41 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [Waiting for headers] Get:80 http://de.archive.ubuntu.com/ubuntu bionic-updates/restricted amd64 Packages [462 kB] 0% [41 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [80 Packages 62.1 kB/462 0% [41 Packages store 0 B] [22 InRelease gpgv 15.4 kB] Get:81 http://de.archive.ubuntu.com/ubuntu bionic-updates/restricted Translation-en [62.5 kB] 0% [41 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [81 Translation-en 58.7 0% [41 Packages store 0 B] [22 InRelease gpgv 15.4 kB] Get:82 http://de.archive.ubuntu.com/ubuntu bionic-updates/universe amd64 Packages [1,749 kB] 0% [41 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [82 Packages 61.4 kB/1,7 0% [41 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [Waiting for headers] Get:83 http://de.archive.ubuntu.com/ubuntu bionic-updates/universe i386 Packages [1,575 kB] 0% [41 Packages store 0 B] [22 InRelease gpgv 15.4 kB] [83 Packages 16.1 kB/1,5 0% [41 Packages store 0 B] [83 Packages 147 kB/1,575 kB 9%] 0% [41 Packages store 0 B] [23 InRelease gpgv 15.9 kB] [83 Packages 197 kB/1,57 0% [41 Packages store 0 B] [23 InRelease gpgv 15.9 kB] [Waiting for headers] Get:84 http://de.archive.ubuntu.com/ubuntu bionic-updates/universe Translation-en [375 kB] 0% [41 Packages store 0 B] [23 InRelease gpgv 15.9 kB] [84 Translation-en 58.7 0% [41 Packages store 0 B] [23 InRelease gpgv 15.9 kB] 0% [23 InRelease gpgv 15.9 kB] 0% [42 Packages store 0 B] [23 InRelease gpgv 15.9 kB] 0% [42 Packages store 0 B] 0% [42 Packages store 0 B] [31 InRelease gpgv 3,558 B] [Connecting to ppa.launc Get:85 http://ppa.launchpad.net/deadsnakes/ppa/ubuntu bionic/main i386 Packages [34.3 kB] 0% [42 Packages store 0 B] [31 InRelease gpgv 3,558 B] [85 Packages 2,670 B/34. 0% [42 Packages store 0 B] [85 Packages 17.1 kB/34.3 kB 50%] 0% [42 Packages store 0 B] [Release.gpg gpgv 815 B] [85 Packages 17.1 kB/34.3 k 0% [42 Packages store 0 B] [Release.gpg gpgv 815 B] 0% [Release.gpg gpgv 815 B] [Connecting to ppa.launchpad.net (91.189.95.85)] 0% [43 Translation-en store 0 B] [Release.gpg gpgv 815 B] [Connecting to ppa.la Get:86 http://ppa.launchpad.net/deadsnakes/ppa/ubuntu bionic/main amd64 Packages [34.3 kB] 0% [43 Translation-en store 0 B] [Release.gpg gpgv 815 B] [86 Packages 2,670 B/ 98% [43 Translation-en store 0 B] [86 Packages 11.4 kB/34.3 kB 33%] 98% [86 Packages 17.1 kB/34.3 kB 50%] 98% [44 Packages store 0 B] [86 Packages 17.1 kB/34.3 kB 50%] 98% [86 Packages 17.1 kB/34.3 kB 50%] 98% [45 Packages store 0 B] [86 Packages 17.1 kB/34.3 kB 50%] 98% [45 Packages store 0 B] 98% [Working] 98% [46 Packages store 0 B] 98% [Working] 98% [47 Translation-en store 0 B] 98% [Working] 98% [48 Packages store 0 B] 98% [Working] 98% [49 Packages store 0 B] 99% [Working] 99% [50 Translation-en store 0 B] 99% [Working] 99% [51 Packages store 0 B] 99% [Working] 99% [52 Packages store 0 B] 99% [Working] 99% [54 Translation-en store 0 B] 99% [Working] 99% [55 Packages store 0 B] 99% [Working] 99% [56 Packages store 0 B] 99% [Working] 99% [57 Packages store 0 B] 99% [Working] 99% [58 Packages store 0 B] 99% [Working] 99% [59 Packages store 0 B] 99% [Working] 99% [60 Translation-en store 0 B] 99% [Working] 99% [61 Packages store 0 B] 99% [Working] 99% [62 Packages store 0 B] 99% [Working] 99% [63 Translation-en store 0 B] 99% [Working] 99% [64 Packages store 0 B] 99% [Working] 99% [65 Packages store 0 B] 99% [Working] 99% [66 Translation-en store 0 B] 99% [Working] 99% [67 Packages store 0 B] 99% [Working] 99% [68 Packages store 0 B] 99% [Working] 99% [69 Translation-en store 0 B] 99% [Working] 99% [70 Packages store 0 B] 99% [Working] 99% [71 Packages store 0 B] 99% [Working] 99% [72 Translation-en store 0 B] 99% [Working] 99% [73 Packages store 0 B] 99% [Working] 99% [74 Packages store 0 B] 100% [Working] 100% [75 Translation-en store 0 B] 100% [Working] 100% [76 Packages store 0 B] 100% [Working] 7,349 kB/s 0s 100% [77 Packages store 0 B] 7,349 kB/s 0s 100% [Working] 7,349 kB/s 0s 100% [78 Translation-en store 0 B] 7,349 kB/s 0s 100% [Working] 7,349 kB/s 0s 100% [79 Packages store 0 B] 7,349 kB/s 0s 100% [Working] 7,349 kB/s 0s 100% [80 Packages store 0 B] 7,349 kB/s 0s 100% [Working] 7,349 kB/s 0s 100% [81 Translation-en store 0 B] 7,349 kB/s 0s 100% [Working] 7,349 kB/s 0s 100% [82 Packages store 0 B] 7,349 kB/s 0s 100% [Working] 7,349 kB/s 0s 100% [83 Packages store 0 B] 7,349 kB/s 0s 100% [Working] 7,349 kB/s 0s 100% [84 Translation-en store 0 B] 7,349 kB/s 0s 100% [Working] 7,349 kB/s 0s 100% [85 Packages store 0 B] 7,349 kB/s 0s 100% [Working] 7,349 kB/s 0s 100% [86 Packages store 0 B] 7,349 kB/s 0s 100% [Working] 7,349 kB/s 0s Fetched 44.4 MB in 7s (6,440 kB/s) Reading package lists... 0% Reading package lists... 0% Reading package lists... 0% Reading package lists... 0% Reading package lists... 0% Reading package lists... 1% Reading package lists... 1% Reading package lists... 2% Reading package lists... 2% Reading package lists... 2% Reading package lists... 2% Reading package lists... 2% Reading package lists... 2% Reading package lists... 2% Reading package lists... 2% Reading package lists... 8% Reading package lists... 8% Reading package lists... 12% Reading package lists... 15% Reading package lists... 15% Reading package lists... 19% Reading package lists... 19% Reading package lists... 19% Reading package lists... 19% Reading package lists... 19% Reading package lists... 19% Reading package lists... 19% Reading package lists... 19% Reading package lists... 20% Reading package lists... 20% Reading package lists... 21% Reading package lists... 21% Reading package lists... 21% Reading package lists... 21% Reading package lists... 21% Reading package lists... 21% Reading package lists... 21% Reading package lists... 21% Reading package lists... 21% Reading package lists... 21% Reading package lists... 28% Reading package lists... 28% Reading package lists... 35% Reading package lists... 35% Reading package lists... 39% Reading package lists... 39% Reading package lists... 39% Reading package lists... 39% Reading package lists... 39% Reading package lists... 39% Reading package lists... 39% Reading package lists... 39% Reading package lists... 40% Reading package lists... 40% Reading package lists... 41% Reading package lists... 41% Reading package lists... 41% Reading package lists... 42% Reading package lists... 42% Reading package lists... 43% Reading package lists... 43% Reading package lists... 43% Reading package lists... 43% Reading package lists... 43% Reading package lists... 43% Reading package lists... 44% Reading package lists... 44% Reading package lists... 44% Reading package lists... 44% Reading package lists... 45% Reading package lists... 45% Reading package lists... 45% Reading package lists... 45% Reading package lists... 45% Reading package lists... 45% Reading package lists... 45% Reading package lists... 45% Reading package lists... 46% Reading package lists... 46% Reading package lists... 47% Reading package lists... 47% Reading package lists... 49% Reading package lists... 49% Reading package lists... 49% Reading package lists... 49% Reading package lists... 49% Reading package lists... 49% Reading package lists... 49% Reading package lists... 49% Reading package lists... 50% Reading package lists... 50% Reading package lists... 52% Reading package lists... 52% Reading package lists... 52% Reading package lists... 52% Reading package lists... 52% Reading package lists... 52% Reading package lists... 52% Reading package lists... 52% Reading package lists... 52% Reading package lists... 52% Reading package lists... 54% Reading package lists... 54% Reading package lists... 55% Reading package lists... 55% Reading package lists... 56% Reading package lists... 56% Reading package lists... 56% Reading package lists... 56% Reading package lists... 56% Reading package lists... 56% Reading package lists... 57% Reading package lists... 57% Reading package lists... 58% Reading package lists... 58% Reading package lists... 59% Reading package lists... 59% Reading package lists... 60% Reading package lists... 60% Reading package lists... 60% Reading package lists... 60% Reading package lists... 60% Reading package lists... 60% Reading package lists... 60% Reading package lists... 60% Reading package lists... 60% Reading package lists... 60% Reading package lists... 60% Reading package lists... 60% Reading package lists... 60% Reading package lists... 60% Reading package lists... 60% Reading package lists... 60% Reading package lists... 60% Reading package lists... 60% Reading package lists... 60% Reading package lists... 60% Reading package lists... 61% Reading package lists... 61% Reading package lists... 62% Reading package lists... 62% Reading package lists... 63% Reading package lists... 63% Reading package lists... 63% Reading package lists... 63% Reading package lists... 63% Reading package lists... 63% Reading package lists... 64% Reading package lists... 64% Reading package lists... 64% Reading package lists... 64% Reading package lists... 65% Reading package lists... 65% Reading package lists... 66% Reading package lists... 66% Reading package lists... 66% Reading package lists... 66% Reading package lists... 66% Reading package lists... 66% Reading package lists... 66% Reading package lists... 66% Reading package lists... 66% Reading package lists... 66% Reading package lists... 67% Reading package lists... 67% Reading package lists... 68% Reading package lists... 68% Reading package lists... 68% Reading package lists... 68% Reading package lists... 68% Reading package lists... 68% Reading package lists... 68% Reading package lists... 68% Reading package lists... 75% Reading package lists... 75% Reading package lists... 76% Reading package lists... 81% Reading package lists... 81% Reading package lists... 85% Reading package lists... 85% Reading package lists... 85% Reading package lists... 85% Reading package lists... 85% Reading package lists... 85% Reading package lists... 85% Reading package lists... 85% Reading package lists... 87% Reading package lists... 87% Reading package lists... 88% Reading package lists... 88% Reading package lists... 89% Reading package lists... 89% Reading package lists... 90% Reading package lists... 90% Reading package lists... 90% Reading package lists... 90% Reading package lists... 90% Reading package lists... 90% Reading package lists... 91% Reading package lists... 91% Reading package lists... 92% Reading package lists... 92% Reading package lists... 93% Reading package lists... 93% Reading package lists... 93% Reading package lists... 93% Reading package lists... 93% Reading package lists... 93% Reading package lists... 93% Reading package lists... 93% Reading package lists... 93% Reading package lists... 93% Reading package lists... 93% Reading package lists... 93% Reading package lists... 93% Reading package lists... 93% Reading package lists... 93% Reading package lists... 93% Reading package lists... 93% Reading package lists... 93% Reading package lists... 93% Reading package lists... 93% Reading package lists... 94% Reading package lists... 94% Reading package lists... 95% Reading package lists... 95% Reading package lists... 96% Reading package lists... 96% Reading package lists... 97% Reading package lists... 97% Reading package lists... 97% Reading package lists... 97% Reading package lists... 97% Reading package lists... 97% Reading package lists... 98% Reading package lists... 98% Reading package lists... 98% Reading package lists... 98% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... 99% Reading package lists... Done sudo apt-get install -y bison flex z3 libz3-dev Reading package lists... 0% Reading package lists... 100% Reading package lists... Done Building dependency tree... 0% Building dependency tree... 0% Building dependency tree... 50% Building dependency tree... 50% Building dependency tree Reading state information... 0% Reading state information... 0% Reading state information... Done bison is already the newest version (2:3.0.4.dfsg-1build1). The following packages were automatically installed and are no longer required: intltool-debian libarchive-cpio-perl libarchive-zip-perl libfile-stripnondeterminism-perl libmail-sendmail-perl libsys-hostname-long-perl po-debconf Use 'sudo apt autoremove' to remove them. The following additional packages will be installed: libfl-dev libfl2 libz3-4 Suggested packages: flex-doc The following NEW packages will be installed: flex libfl-dev libfl2 libz3-4 libz3-dev z3 0 upgraded, 6 newly installed, 0 to remove and 74 not upgraded. Need to get 10.8 MB of archives. After this operation, 35.4 MB of additional disk space will be used. 0% [Working] Get:1 http://de.archive.ubuntu.com/ubuntu bionic/main amd64 flex amd64 2.6.4-6 [316 kB] 0% [1 flex 13.4 kB/316 kB 4%] 6% [Working] Get:2 http://de.archive.ubuntu.com/ubuntu bionic/main amd64 libfl2 amd64 2.6.4-6 [11.4 kB] 6% [2 libfl2 11.4 kB/11.4 kB 100%] Get:3 http://de.archive.ubuntu.com/ubuntu bionic/main amd64 libfl-dev amd64 2.6.4-6 [6,320 B] 9% [3 libfl-dev 6,320 B/6,320 B 100%] Get:4 http://de.archive.ubuntu.com/ubuntu bionic/universe amd64 libz3-4 amd64 4.4.1-0.3build4 [5,183 kB] 13% [4 libz3-4 58.6 kB/5,183 kB 1%] 54% [Waiting for headers] Get:5 http://de.archive.ubuntu.com/ubuntu bionic/universe amd64 libz3-dev amd64 4.4.1-0.3build4 [64.2 kB] 55% [5 libz3-dev 52.3 kB/64.2 kB 81%] 58% [Waiting for headers] Get:6 http://de.archive.ubuntu.com/ubuntu bionic/universe amd64 z3 amd64 4.4.1-0.3build4 [5,204 kB] 58% [6 z3 53.3 kB/5,204 kB 1%] 100% [Working] Fetched 10.8 MB in 0s (30.6 MB/s) Selecting previously unselected package flex. (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 ... 285563 files and directories currently installed.) Preparing to unpack .../0-flex_2.6.4-6_amd64.deb ... Unpacking flex (2.6.4-6) ... Selecting previously unselected package libfl2:amd64. Preparing to unpack .../1-libfl2_2.6.4-6_amd64.deb ... Unpacking libfl2:amd64 (2.6.4-6) ... Selecting previously unselected package libfl-dev:amd64. Preparing to unpack .../2-libfl-dev_2.6.4-6_amd64.deb ... Unpacking libfl-dev:amd64 (2.6.4-6) ... Selecting previously unselected package libz3-4:amd64. Preparing to unpack .../3-libz3-4_4.4.1-0.3build4_amd64.deb ... Unpacking libz3-4:amd64 (4.4.1-0.3build4) ... Selecting previously unselected package libz3-dev:amd64. Preparing to unpack .../4-libz3-dev_4.4.1-0.3build4_amd64.deb ... Unpacking libz3-dev:amd64 (4.4.1-0.3build4) ... Selecting previously unselected package z3. Preparing to unpack .../5-z3_4.4.1-0.3build4_amd64.deb ... Unpacking z3 (4.4.1-0.3build4) ... Setting up flex (2.6.4-6) ... Setting up z3 (4.4.1-0.3build4) ... Setting up libfl2:amd64 (2.6.4-6) ... Setting up libz3-4:amd64 (4.4.1-0.3build4) ... Setting up libfl-dev:amd64 (2.6.4-6) ... Setting up libz3-dev:amd64 (4.4.1-0.3build4) ... Processing triggers for libc-bin (2.27-3ubuntu1.4) ... Processing triggers for install-info (6.5.0.dfsg.1-2) ... export CC=gcc-8 export CXX=g++-8 mkdir build cd build cmake .. -DCMAKE_BUILD_TYPE=Debug -- The CXX compiler identification is GNU 8.4.0 -- Check for working CXX compiler: /usr/bin/g++-8 -- Check for working CXX compiler: /usr/bin/g++-8 -- works -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Detecting CXX compile features -- Detecting CXX compile features - done -- Found Git: /usr/bin/git (found version "2.33.0") -- The C compiler identification is GNU 8.4.0 -- Check for working C compiler: /usr/bin/gcc-8 -- Check for working C compiler: /usr/bin/gcc-8 -- works -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Detecting C compile features -- Detecting C compile features - done -- Looking for pthread.h -- Looking for pthread.h - found -- Looking for pthread_create -- Looking for pthread_create - not found -- Looking for pthread_create in pthreads -- Looking for pthread_create in pthreads - not found -- Looking for pthread_create in pthread -- Looking for pthread_create in pthread - found -- Found Threads: TRUE -- Looking for dlfcn.h -- Looking for dlfcn.h - found -- Looking for execinfo.h -- Looking for execinfo.h - found -- Looking for glob.h -- Looking for glob.h - found -- Looking for inttypes.h -- Looking for inttypes.h - found -- Looking for libunwind.h -- Looking for libunwind.h - not found -- Looking for memory.h -- Looking for memory.h - found -- Looking for pwd.h -- Looking for pwd.h - found -- Looking for stdint.h -- Looking for stdint.h - found -- Looking for stdlib.h -- Looking for stdlib.h - found -- Looking for string.h -- Looking for string.h - found -- Looking for strings.h -- Looking for strings.h - found -- Looking for sys/stat.h -- Looking for sys/stat.h - found -- Looking for sys/syscall.h -- Looking for sys/syscall.h - found -- Looking for sys/time.h -- Looking for sys/time.h - found -- Looking for sys/types.h -- Looking for sys/types.h - found -- Looking for sys/utsname.h -- Looking for sys/utsname.h - found -- Looking for syscall.h -- Looking for syscall.h - found -- Looking for syslog.h -- Looking for syslog.h - found -- Looking for ucontext.h -- Looking for ucontext.h - found -- Looking for unistd.h -- Looking for unistd.h - found -- Looking for unwind.h -- Looking for unwind.h - found -- Looking for C++ include ext/hash_map -- Looking for C++ include ext/hash_map - found -- Looking for C++ include ext/hash_set -- Looking for C++ include ext/hash_set - found -- Looking for C++ include ext/slist -- Looking for C++ include ext/slist - found -- Looking for C++ include tr1/unordered_map -- Looking for C++ include tr1/unordered_map - found -- Looking for C++ include tr1/unordered_set -- Looking for C++ include tr1/unordered_set - found -- Looking for C++ include unordered_map -- Looking for C++ include unordered_map - found -- Looking for C++ include unordered_set -- Looking for C++ include unordered_set - found -- Looking for stddef.h -- Looking for stddef.h - found -- Check size of unsigned __int16 -- Check size of unsigned __int16 - failed -- Check size of u_int16_t -- Check size of u_int16_t - done -- Check size of uint16_t -- Check size of uint16_t - done -- Looking for dladdr -- Looking for dladdr - not found -- Looking for fcntl -- Looking for fcntl - found -- Looking for pread -- Looking for pread - found -- Looking for pwrite -- Looking for pwrite - found -- Looking for sigaction -- Looking for sigaction - found -- Looking for sigaltstack -- Looking for sigaltstack - found -- Performing Test HAVE_NO_DEPRECATED -- Performing Test HAVE_NO_DEPRECATED - Success -- Performing Test HAVE_NO_UNNAMED_TYPE_TEMPLATE_ARGS -- Performing Test HAVE_NO_UNNAMED_TYPE_TEMPLATE_ARGS - Failed -- Looking for snprintf -- Looking for snprintf - found -- Looking for get_static_proc_name in unwind -- Looking for get_static_proc_name in unwind - not found -- Looking for UnDecorateSymbolName in dbghelp -- Looking for UnDecorateSymbolName in dbghelp - not found -- Performing Test HAVE___ATTRIBUTE__ -- Performing Test HAVE___ATTRIBUTE__ - Success -- Performing Test HAVE___ATTRIBUTE__VISIBILITY_DEFAULT -- Performing Test HAVE___ATTRIBUTE__VISIBILITY_DEFAULT - Success -- Performing Test HAVE___ATTRIBUTE__VISIBILITY_HIDDEN -- Performing Test HAVE___ATTRIBUTE__VISIBILITY_HIDDEN - Success -- Performing Test HAVE___BUILTIN_EXPECT -- Performing Test HAVE___BUILTIN_EXPECT - Success -- Performing Test HAVE___SYNC_VAL_COMPARE_AND_SWAP -- Performing Test HAVE___SYNC_VAL_COMPARE_AND_SWAP - Success -- Performing Test HAVE_RWLOCK -- Performing Test HAVE_RWLOCK - Failed -- Performing Test HAVE___DECLSPEC -- Performing Test HAVE___DECLSPEC - Failed -- Performing Test STL_NO_NAMESPACE -- Performing Test STL_NO_NAMESPACE - Failed -- Performing Test STL_STD_NAMESPACE -- Performing Test STL_STD_NAMESPACE - Success -- Performing Test HAVE_USING_OPERATOR -- Performing Test HAVE_USING_OPERATOR - Success -- Performing Test HAVE_NAMESPACES -- Performing Test HAVE_NAMESPACES - Success -- Performing Test HAVE_GCC_TLS -- Performing Test HAVE_GCC_TLS - Success -- Performing Test HAVE_MSVC_TLS -- Performing Test HAVE_MSVC_TLS - Failed -- Performing Test HAVE_CXX11_TLS -- Performing Test HAVE_CXX11_TLS - Success -- Performing Test HAVE_ALIGNED_STORAGE -- Performing Test HAVE_ALIGNED_STORAGE - Success -- Performing Test HAVE_LOCALTIME_R -- Performing Test HAVE_LOCALTIME_R - Success -- Using the single-header code from /home/semaphore/ILAng/extern/json/single_include/ -- Version: 6.1.2 -- Build type: Debug -- CXX_STANDARD: 11 -- Performing Test has_std_11_flag -- Performing Test has_std_11_flag - Success -- Performing Test has_std_0x_flag -- Performing Test has_std_0x_flag - Success -- Performing Test SUPPORTS_VARIADIC_TEMPLATES -- Performing Test SUPPORTS_VARIADIC_TEMPLATES - Success -- Performing Test SUPPORTS_USER_DEFINED_LITERALS -- Performing Test SUPPORTS_USER_DEFINED_LITERALS - Success -- Performing Test FMT_HAS_VARIANT -- Performing Test FMT_HAS_VARIANT - Success -- Looking for strtod_l -- Looking for strtod_l - found -- Build Type: Debug -- Found BISON: /usr/bin/bison (found suitable version "3.0.4", minimum required is "3.0.4") -- Found FLEX: /usr/bin/flex (found suitable version "2.6.4", minimum required is "2.5.35") -- NOT building with coverage. -- Parser Build Flags Debug: -g -- Parser Link Flags Debug: -- Parser Build Flags Release: -O3 -DNDEBUG -- Parser Link Flags Release: -- Build Type: Debug -- NOT building with coverage. -- Parser Build Flags Debug: -g -- Parser Link Flags Debug: -- Parser Build Flags Release: -O3 -DNDEBUG -- Parser Link Flags Release: Submodule 'extern/vlog-parser' (https://github.com/Bo-Yuan-Huang/verilog-parser.git) registered for path 'vlog-parser' Cloning into '/home/semaphore/ILAng/extern/vlog-parser'... Submodule path 'vlog-parser': checked out '075699a67aa2af99b41160c93588984cb294290f' -- Build Type: Debug -- NOT building with coverage. -- Parser Build Flags Debug: -g -- Parser Link Flags Debug: -- Parser Build Flags Release: -O3 -DNDEBUG -- Parser Link Flags Release: Submodule 'extern/vexpparser' (https://github.com/zhanghongce/vexpparser.git) registered for path 'vexpparser' Cloning into '/home/semaphore/ILAng/extern/vexpparser'... Submodule path 'vexpparser': checked out '951e3c34ee07ebe1a0a77a8e1ae88b73a598dfbb' -- Build Type: Debug -- Parser Build Flags Debug: -g -- Parser Link Flags Debug: -- Parser Build Flags Release: -O3 -DNDEBUG -- Parser Link Flags Release: -- Looking for C++ include filesystem -- Looking for C++ include filesystem - found -- Found PkgConfig: /usr/bin/pkg-config (found version "0.29.1") -- Found Z3: /usr/include -- Z3 version: 4.4.1 -- Z3 lib dir: /usr/lib/x86_64-linux-gnu/libz3.so -- Z3 include dir: /usr/include -- Found PythonInterp: /usr/bin/python (found version "2.7.17") -- Check if compiler accepts -pthread -- Check if compiler accepts -pthread - yes -- Configuring done -- Generating done -- Build files have been written to: /home/semaphore/ILAng/build make -j$(nproc) Scanning dependencies of target fmt Scanning dependencies of target glog [ 1%] Building CXX object extern/fmt/CMakeFiles/fmt.dir/src/format.cc.o [ 1%] Building CXX object extern/glog/CMakeFiles/glog.dir/src/demangle.cc.o [ 2%] Building CXX object extern/glog/CMakeFiles/glog.dir/src/logging.cc.o [ 2%] Building CXX object extern/glog/CMakeFiles/glog.dir/src/raw_logging.cc.o [ 3%] Building CXX object extern/glog/CMakeFiles/glog.dir/src/symbolize.cc.o [ 3%] Building CXX object extern/glog/CMakeFiles/glog.dir/src/utilities.cc.o [ 4%] Building CXX object extern/glog/CMakeFiles/glog.dir/src/vlog_is_on.cc.o [ 4%] Building CXX object extern/fmt/CMakeFiles/fmt.dir/src/posix.cc.o [ 4%] Building CXX object extern/glog/CMakeFiles/glog.dir/src/signalhandler.cc.o [ 6%] Linking CXX shared library libfmtd.so [ 6%] Linking CXX shared library libglogd.so [ 6%] Built target glog [ 7%] Generating VCDParser.cpp, VCDParser.hpp /home/semaphore/ILAng/extern/vcd-parser/src/VCDParser.ypp: warning: 3 shift/reduce conflicts [-Wconflicts-sr] [ 7%] Built target fmt [ 7%] Generating smtlib2flexlexer.c, smtlib2flexlexer.h [ 8%] Generating smtlib2bisonparser.c, smtlib2bisonparser.h /home/semaphore/ILAng/extern/smt-parser/src/smtlib2bisonparser.y:70.1-12: warning: deprecated directive, use ‘%pure-parser’ [-Wdeprecated] %pure_parser ^^^^^^^^^^^^ /home/semaphore/ILAng/extern/smt-parser/src/smtlib2bisonparser.y:72.1-13: warning: deprecated directive, use ‘%name-prefix’ [-Wdeprecated] %name-prefix="smtlib2_parser_" ^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/smt-parser/src/smtlib2bisonparser.y:96.1-12: warning: deprecated directive, use ‘%token-table’ [-Wdeprecated] %token_table ^^^^^^^^^^^^ [ 8%] Generating VCDScanner.cpp, VCDScanner.hpp Scanning dependencies of target vcdparser [ 8%] Building CXX object extern/vcd-parser/src/CMakeFiles/vcdparser.dir/VCDScanner.cpp.o Scanning dependencies of target smtparser [ 8%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2flexlexer.c.o [ 9%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2bisonparser.c.o [ 9%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2hashtable.c.o [ 10%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2abstractparser.c.o [ 10%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2termparser.c.o [ 10%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2utils.c.o [ 11%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2vector.c.o [ 11%] Building CXX object extern/vcd-parser/src/CMakeFiles/vcdparser.dir/VCDParser.cpp.o [ 11%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2charbuf.c.o [ 12%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2stream.c.o [ 12%] Building C object extern/smt-parser/src/CMakeFiles/smtparser.dir/smtlib2scanner.c.o [ 13%] Linking C shared library libsmtparser.so [ 13%] Built target smtparser [ 14%] Building CXX object extern/vcd-parser/src/CMakeFiles/vcdparser.dir/VCDFile.cpp.o [ 14%] Generating verilog_parser.tab.c /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:166.17-29: warning: symbol binary_number is used, but is not defined as a token and has no rules [-Wother] %type binary_number ^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:165.17-30: warning: symbol decimal_number is used, but is not defined as a token and has no rules [-Wother] %type decimal_number ^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:167.17-26: warning: symbol hex_number is used, but is not defined as a token and has no rules [-Wother] %type hex_number ^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:168.17-28: warning: symbol octal_number is used, but is not defined as a token and has no rules [-Wother] %type octal_number ^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:169.17-27: warning: symbol real_number is used, but is not defined as a token and has no rules [-Wother] %type real_number ^^^^^^^^^^^ [ 14%] Building CXX object extern/vcd-parser/src/CMakeFiles/vcdparser.dir/VCDFileParser.cpp.o /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:822.28-42: warning: type clash on default action: != [-Wother] list_of_actual_arguments : actual_argument ^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:826.19-28: warning: type clash on default action: != [-Wother] actual_argument : expression ^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:3705.27-47: warning: type clash on default action: != [-Wother] specify_item : specparam_declaration ^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:3708.27-42: warning: type clash on default action: != [-Wother] | path_declaration ^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:3712.27-78: warning: type clash on default action: != [-Wother] pulsestyle_declaration : KW_PULSESTYLE_ONEVENT list_of_path_outputs SEMICOLON ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:3713.27-79: warning: type clash on default action: != [-Wother] | KW_PULSESTYLE_ONDETECT list_of_path_outputs SEMICOLON ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:3716.31-77: warning: type clash on default action: != [-Wother] showcancelled_declaration : KW_SHOWCANCELLED list_of_path_outputs SEMICOLON ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:3717.31-79: warning: type clash on default action: != [-Wother] | KW_NOSHOWCANCELLED list_of_path_outputs SEMICOLON ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4529.3-54: warning: type clash on default action: != [-Wother] OPEN_SQ_BRACKET constant_expression CLOSE_SQ_BRACKET ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4530.3-4531.33: warning: type clash on default action: != [-Wother] | OPEN_SQ_BRACKET constant_expression CLOSE_SQ_BRACKET ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y: warning: 11 nonterminals useless in grammar [-Wother] /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y: warning: 11 rules useless in grammar [-Wother] /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:543.38-50: warning: nonterminal useless in grammar: expressions_o [-Wother] %type expressions_o ^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:717.38-44: warning: nonterminal useless in grammar: comment [-Wother] %type comment ^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:721.38-53: warning: nonterminal useless in grammar: one_line_comment [-Wother] %type one_line_comment ^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:716.38-50: warning: nonterminal useless in grammar: block_comment [-Wother] %type block_comment ^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:715.38-41: warning: nonterminal useless in grammar: anys [-Wother] %type anys ^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:723.38-48: warning: nonterminal useless in grammar: white_space [-Wother] %type white_space ^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:166.17-29: warning: nonterminal useless in grammar: binary_number [-Wother] %type binary_number ^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:165.17-30: warning: nonterminal useless in grammar: decimal_number [-Wother] %type decimal_number ^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:167.17-26: warning: nonterminal useless in grammar: hex_number [-Wother] %type hex_number ^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:168.17-28: warning: nonterminal useless in grammar: octal_number [-Wother] %type octal_number ^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:169.17-27: warning: nonterminal useless in grammar: real_number [-Wother] %type real_number ^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:3568.19-40: warning: rule useless in grammar [-Wother] expressions_o : expressions {$$ = $1;} |{$$=ast_list_new();} ^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:3568.43-62: warning: rule useless in grammar [-Wother] expressions_o : expressions {$$ = $1;} |{$$=ast_list_new();} ^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4699.23-47: warning: rule useless in grammar [-Wother] comment : one_line_comment {$$=$1;} ^^^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4700.23-47: warning: rule useless in grammar [-Wother] | block_comment {$$=$1;} ^^^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4703.23-43: warning: rule useless in grammar [-Wother] one_line_comment : COMMENT_LINE {$$=$1;}; ^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4705.23-44: warning: rule useless in grammar [-Wother] block_comment : COMMENT_BLOCK {$$=$1;}; ^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4736.8-24: warning: rule useless in grammar [-Wother] anys : anys ANY {$$=$2;} ^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4737.8-21: warning: rule useless in grammar [-Wother] | ANY {$$ = $1;} ^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4928.15-19: warning: rule useless in grammar [-Wother] white_space : SPACE | TAB | NEWLINE; ^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4928.23-25: warning: rule useless in grammar [-Wother] white_space : SPACE | TAB | NEWLINE; ^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4928.29-35: warning: rule useless in grammar [-Wother] white_space : SPACE | TAB | NEWLINE; ^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y: warning: 508 shift/reduce conflicts [-Wconflicts-sr] /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y: warning: 1781 reduce/reduce conflicts [-Wconflicts-rr] /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:1646.26-55: warning: rule useless in parser due to conflicts [-Wother] output_variable_type_o : output_variable_type {$$= $1;} |{$$=PARAM_GENERIC;}; ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:1646.58-76: warning: rule useless in parser due to conflicts [-Wother] output_variable_type_o : output_variable_type {$$= $1;} |{$$=PARAM_GENERIC;}; ^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:1778.23-32: warning: rule useless in parser due to conflicts [-Wother] | {$$=NULL;} ^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:2160.46-65: warning: rule useless in parser due to conflicts [-Wother] task_port_type_o : task_port_type {$$=$1;} | {$$=PORT_TYPE_NONE;} ; ^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:2222.23-50: warning: rule useless in parser due to conflicts [-Wother] block_variable_type : variable_identifier {$$=$1;} ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:2228.29-38: warning: rule useless in parser due to conflicts [-Wother] delay2_o : delay2 {$$=$1;}| {$$=NULL;}; ^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:3200.3-3203.3: warning: rule useless in parser due to conflicts [-Wother] block_item_declaration{ ^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:3204.3-3207.1: warning: rule useless in parser due to conflicts [-Wother] | block_item_declarations block_item_declaration{ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:3864.21-37: warning: rule useless in parser due to conflicts [-Wother] | {$$ = EDGE_NONE;} ^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:3909.23-74: warning: rule useless in parser due to conflicts [-Wother] system_timing_check : {printf("%s:%d Not Supported\n",__FILE__,__LINE__);}; ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4756.35-4757.48: warning: rule useless in parser due to conflicts [-Wother] hierarchical_block_identifier : hierarchical_identifier ^^^^^^^^^^^^^^^^^^^^^^^ /home/semaphore/ILAng/extern/vlog-parser/src/verilog_parser.y:4864.35-4867.1: warning: rule useless in parser due to conflicts [-Wother] system_task_identifier : SYSTEM_ID { ^^^^^^^^^^^ [ 15%] Building CXX object extern/vcd-parser/src/CMakeFiles/vcdparser.dir/VCDValue.cpp.o [ 15%] Linking CXX shared library libvcdparser.so [ 16%] Generating verilog_scanner.c /home/semaphore/ILAng/extern/vlog-parser/src/verilog_scanner.l:791: warning, -s option given but default rule can be matched Scanning dependencies of target verilogparser [ 17%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparser.dir/verilog_scanner.c.o /home/semaphore/ILAng/build/extern/vlog-parser/src/verilog_scanner.c: In function ‘yy_init_buffer’: /home/semaphore/ILAng/build/extern/vlog-parser/src/verilog_scanner.c:3500:40: warning: implicit declaration of function ‘isatty’ [-Wimplicit-function-declaration] b->yy_is_interactive = file ? (isatty( fileno(file) ) > 0) : 0; ^~~~~~ [ 17%] Built target vcdparser [ 17%] Generating vexp_parser.cc, vexp_parser.hh [ 17%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparser.dir/verilog_parser.tab.c.o [ 18%] Generating vexp_scanner.cpp /home/semaphore/ILAng/extern/vexpparser/src/vexp_scanner.l:247: warning, -s option given but default rule can be matched Scanning dependencies of target vexpparser [ 19%] Building CXX object extern/vexpparser/src/CMakeFiles/vexpparser.dir/vexp_scanner.cpp.o [ 20%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparser.dir/verilog_ast.c.o [ 20%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparser.dir/verilog_ast_mem.c.o [ 21%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparser.dir/verilog_ast_util.c.o [ 21%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparser.dir/verilog_ast_common.c.o [ 21%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparser.dir/verilog_parser_wrapper.c.o [ 22%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparser.dir/verilog_preprocessor.c.o [ 22%] Linking C shared library libverilogparser.so [ 22%] Built target verilogparser [ 22%] Building CXX object extern/vexpparser/src/CMakeFiles/vexpparser.dir/vexp_parser.cc.o Scanning dependencies of target gtest [ 23%] Building CXX object test/extern/googletest/googlemock/gtest/CMakeFiles/gtest.dir/src/gtest-all.cc.o [ 24%] Building CXX object extern/vexpparser/src/CMakeFiles/vexpparser.dir/vexp.cc.o [ 24%] Building CXX object extern/vexpparser/src/CMakeFiles/vexpparser.dir/interpreter.cpp.o [ 25%] Linking CXX shared library libvexpparser.so [ 25%] Built target vexpparser Scanning dependencies of target signalhandler_unittest [ 25%] Building CXX object extern/glog/CMakeFiles/signalhandler_unittest.dir/src/signalhandler_unittest.cc.o [ 25%] Linking CXX shared library libgtestd.so [ 26%] Linking CXX executable signalhandler_unittest [ 26%] Built target signalhandler_unittest Scanning dependencies of target stl_logging_unittest [ 26%] Built target gtest [ 26%] Building CXX object extern/glog/CMakeFiles/stl_logging_unittest.dir/src/stl_logging_unittest.cc.o Scanning dependencies of target stacktrace_unittest [ 26%] Building CXX object extern/glog/CMakeFiles/stacktrace_unittest.dir/src/stacktrace_unittest.cc.o [ 27%] Linking CXX executable stacktrace_unittest [ 27%] Built target stacktrace_unittest Scanning dependencies of target demangle_unittest [ 27%] Building CXX object extern/glog/CMakeFiles/demangle_unittest.dir/src/demangle_unittest.cc.o [ 27%] Linking CXX executable demangle_unittest [ 27%] Built target demangle_unittest Scanning dependencies of target logging_unittest [ 27%] Building CXX object extern/glog/CMakeFiles/logging_unittest.dir/src/logging_unittest.cc.o [ 28%] Linking CXX executable stl_logging_unittest [ 28%] Built target stl_logging_unittest Scanning dependencies of target symbolize_unittest [ 28%] Building CXX object extern/glog/CMakeFiles/symbolize_unittest.dir/src/symbolize_unittest.cc.o [ 29%] Linking CXX executable symbolize_unittest [ 29%] Built target symbolize_unittest Scanning dependencies of target utilities_unittest [ 29%] Building CXX object extern/glog/CMakeFiles/utilities_unittest.dir/src/utilities_unittest.cc.o [ 30%] Linking CXX executable logging_unittest [ 30%] Built target logging_unittest Scanning dependencies of target vcdparserexec [ 31%] Building CXX object extern/vcd-parser/src/CMakeFiles/vcdparserexec.dir/main.cpp.o [ 32%] Linking CXX executable utilities_unittest [ 32%] Built target utilities_unittest Scanning dependencies of target verilogparserexec [ 33%] Building C object extern/vlog-parser/src/CMakeFiles/verilogparserexec.dir/main.c.o [ 33%] Linking C executable verilogparserexec [ 33%] Built target verilogparserexec Scanning dependencies of target vexpparserexec [ 33%] Building CXX object extern/vexpparser/src/CMakeFiles/vexpparserexec.dir/vexp_test.cc.o [ 33%] Linking CXX executable vcdparserexec [ 33%] Built target vcdparserexec Scanning dependencies of target ilang [ 34%] Building CXX object src/CMakeFiles/ilang.dir/ilang++.cc.o [ 35%] Linking CXX executable vexpparserexec [ 35%] Built target vexpparserexec [ 35%] Building CXX object src/CMakeFiles/ilang.dir/ila/ast/expr.cc.o Scanning dependencies of target gmock [ 35%] Building CXX object test/extern/googletest/googlemock/CMakeFiles/gmock.dir/src/gmock-all.cc.o [ 35%] Linking CXX shared library libgmockd.so [ 35%] Built target gmock [ 36%] Building CXX object src/CMakeFiles/ilang.dir/ila/ast/expr_const.cc.o [ 36%] Building CXX object src/CMakeFiles/ilang.dir/ila/ast/expr_op.cc.o [ 37%] Building CXX object src/CMakeFiles/ilang.dir/ila/ast/expr_var.cc.o [ 37%] Building CXX object src/CMakeFiles/ilang.dir/ila/ast/func.cc.o [ 38%] Building CXX object src/CMakeFiles/ilang.dir/ila/ast/sort.cc.o [ 38%] Building CXX object src/CMakeFiles/ilang.dir/ila/ast/sort_value.cc.o [ 38%] Building CXX object src/CMakeFiles/ilang.dir/ila/ast_hub.cc.o [ 39%] Building CXX object src/CMakeFiles/ilang.dir/ila/hash_ast.cc.o [ 39%] Building CXX object src/CMakeFiles/ilang.dir/ila/instr.cc.o [ 40%] Building CXX object src/CMakeFiles/ilang.dir/ila/instr_lvl_abs.cc.o [ 40%] Building CXX object src/CMakeFiles/ilang.dir/ila/object.cc.o [ 41%] Building CXX object src/CMakeFiles/ilang.dir/ila/symbol.cc.o [ 41%] Building CXX object src/CMakeFiles/ilang.dir/ila/transition.cc.o [ 42%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/p_infer_child_prog_cfg.cc.o [ 42%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/p_map_child_prog_entry.cc.o [ 43%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/p_rewrite_conditional_store.cc.o [ 43%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/p_rewrite_generic.cc.o [ 44%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/p_rewrite_store_load.cc.o [ 44%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/p_sanity_check_and_fix.cc.o [ 45%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/p_simplify_semantic.cc.o [ 45%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/p_simplify_syntactic.cc.o [ 45%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/u_abs_knob.cc.o [ 46%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/u_rewrite_expr.cc.o [ 46%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/u_rewrite_ila.cc.o [ 47%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/u_unroller.cc.o [ 47%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/u_unroller_smt.cc.o Scanning dependencies of target gtest_main [ 48%] Building CXX object test/extern/googletest/googlemock/gtest/CMakeFiles/gtest_main.dir/src/gtest_main.cc.o [ 48%] Linking CXX shared library libgtest_maind.so [ 48%] Built target gtest_main [ 49%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/v_eq_check_crr.cc.o [ 49%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/v_eq_check_bmc.cc.o [ 50%] Building CXX object src/CMakeFiles/ilang.dir/ila-mngr/v_refinement.cc.o [ 50%] Building CXX object src/CMakeFiles/ilang.dir/mcm/ast_helper.cc.o [ 51%] Building CXX object src/CMakeFiles/ilang.dir/mcm/axiom_helper.cc.o [ 51%] Building CXX object src/CMakeFiles/ilang.dir/mcm/inter_ila_unroller.cc.o [ 52%] Building CXX object src/CMakeFiles/ilang.dir/mcm/memory_model.cc.o [ 52%] Building CXX object src/CMakeFiles/ilang.dir/mcm/sc_manual.cc.o [ 52%] Building CXX object src/CMakeFiles/ilang.dir/mcm/tso_manual.cc.o [ 53%] Building CXX object src/CMakeFiles/ilang.dir/target-json/ila_to_json_serializer.cc.o [ 53%] Building CXX object src/CMakeFiles/ilang.dir/target-json/interface.cc.o [ 54%] Building CXX object src/CMakeFiles/ilang.dir/target-json/json_to_ila_deserializer.cc.o [ 54%] Building CXX object src/CMakeFiles/ilang.dir/target-sc/ilator.cc.o [ 55%] Building CXX object src/CMakeFiles/ilang.dir/target-sc/ilator_dfs.cc.o [ 55%] Building CXX object src/CMakeFiles/ilang.dir/target-smt/smt_switch_itf.cc.o [ 56%] Building CXX object src/CMakeFiles/ilang.dir/target-smt/z3_expr_adapter.cc.o [ 56%] Building CXX object src/CMakeFiles/ilang.dir/util/log.cc.o [ 57%] Building CXX object src/CMakeFiles/ilang.dir/util/str_util.cc.o [ 57%] Building CXX object src/CMakeFiles/ilang.dir/util/fs.cc.o [ 58%] Building CXX object src/CMakeFiles/ilang.dir/util/posix_emu.cc.o [ 58%] Building CXX object src/CMakeFiles/ilang.dir/verilog-in/verilog_parse.cc.o [ 59%] Building CXX object src/CMakeFiles/ilang.dir/verilog-in/verilog_analysis.cc.o [ 59%] Building CXX object src/CMakeFiles/ilang.dir/verilog-in/verilog_const_parser.cc.o [ 59%] Building CXX object src/CMakeFiles/ilang.dir/verilog-in/verilog_analysis_wrapper.cc.o [ 60%] Building CXX object src/CMakeFiles/ilang.dir/verilog-in/vlog_parser_util.cc.o [ 60%] Building CXX object src/CMakeFiles/ilang.dir/verilog-out/verilog_gen.cc.o [ 61%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/inv-syn/cex_extract.cc.o [ 61%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/inv-syn/inv_obj.cc.o [ 62%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/inv-syn/inv_cnf.cc.o [ 62%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/inv-syn/inv_abc_parse.cc.o [ 63%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/inv-syn/grain_inv_parse.cc.o [ 63%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/directive.cc.o [ 64%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/gen_util.cc.o [ 64%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/vtarget_gen_impl.cc.o [ 65%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/single_target.cc.o [ 65%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/single_target_as.cc.o [ 66%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/single_target_connect.cc.o [ 66%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/single_target_misc.cc.o [ 66%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/single_target_cond.cc.o [ 67%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/single_target_inv_syn_support.cc.o [ 67%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/vtarget_gen_pono.cc.o [ 68%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/vtarget_gen_jasper.cc.o [ 68%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/vtarget_gen.cc.o [ 69%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/vlg_mod.cc.o [ 69%] Building CXX object src/CMakeFiles/ilang.dir/vtarget-out/design_stat.cc.o [ 70%] Building CXX object src/CMakeFiles/ilang.dir/smt-inout/smt_ast.cc.o [ 70%] Building CXX object src/CMakeFiles/ilang.dir/smt-inout/yosys_smt_parser.cc.o [ 71%] Building CXX object src/CMakeFiles/ilang.dir/smt-inout/chc_inv_callback_fn.cc.o [ 71%] Building CXX object src/CMakeFiles/ilang.dir/smt-inout/chc_inv_in.cc.o [ 72%] Building CXX object src/CMakeFiles/ilang.dir/smt-inout/chc_inv_in_wrapper.cc.o [ 72%] Building CXX object src/CMakeFiles/ilang.dir/rfmap-in/verilog_rfmap.cc.o [ 72%] Building CXX object src/CMakeFiles/ilang.dir/rfmap-in/rfmap_typecheck.cc.o [ 73%] Building CXX object src/CMakeFiles/ilang.dir/rfmap-in/rfexpr_to_smt.cc.o [ 73%] Building CXX object src/CMakeFiles/ilang.dir/rfmap-in/rfexpr_shortcut.cc.o [ 74%] Linking CXX shared library libilang.so [ 74%] Built target ilang Scanning dependencies of target unit_tests [ 74%] Building CXX object test/CMakeFiles/unit_tests.dir/unit-src/eq_ilas.cc.o [ 75%] Building CXX object test/CMakeFiles/unit_tests.dir/unit-src/ila_sim_test.cc.o [ 75%] Building CXX object test/CMakeFiles/unit_tests.dir/unit-src/mcm_ilas.cc.o [ 75%] Building CXX object test/CMakeFiles/unit_tests.dir/unit-src/memswap.cc.o [ 76%] Building CXX object test/CMakeFiles/unit_tests.dir/unit-src/pipe_ila.cc.o [ 76%] Building CXX object test/CMakeFiles/unit_tests.dir/unit-src/simple_cpu.cc.o [ 77%] Building CXX object test/CMakeFiles/unit_tests.dir/unit-src/stream_buffer.cc.o [ 77%] Building CXX object test/CMakeFiles/unit_tests.dir/unit-src/util.cc.o [ 78%] Building CXX object test/CMakeFiles/unit_tests.dir/t_ast_hub.cc.o [ 78%] Building CXX object test/CMakeFiles/unit_tests.dir/t_api.cc.o [ 79%] Building CXX object test/CMakeFiles/unit_tests.dir/t_case_aes_eq.cc.o [ 79%] Building CXX object test/CMakeFiles/unit_tests.dir/t_copy.cc.o [ 80%] Building CXX object test/CMakeFiles/unit_tests.dir/t_crr.cc.o [ 80%] Building CXX object test/CMakeFiles/unit_tests.dir/t_eq_check.cc.o [ 81%] Building CXX object test/CMakeFiles/unit_tests.dir/t_expr.cc.o [ 81%] Building CXX object test/CMakeFiles/unit_tests.dir/t_expr_const.cc.o [ 81%] Building CXX object test/CMakeFiles/unit_tests.dir/t_expr_op.cc.o [ 82%] Building CXX object test/CMakeFiles/unit_tests.dir/t_expr_var.cc.o [ 82%] Building CXX object test/CMakeFiles/unit_tests.dir/t_func.cc.o [ 83%] Building CXX object test/CMakeFiles/unit_tests.dir/t_hash_ast.cc.o [ 83%] Building CXX object test/CMakeFiles/unit_tests.dir/t_ila.cc.o [ 84%] Building CXX object test/CMakeFiles/unit_tests.dir/t_ilator.cc.o [ 84%] Building CXX object test/CMakeFiles/unit_tests.dir/t_instr.cc.o [ 85%] Building CXX object test/CMakeFiles/unit_tests.dir/t_instr_seq.cc.o [ 85%] Building CXX object test/CMakeFiles/unit_tests.dir/t_keyvec.cc.o [ 86%] Building CXX object test/CMakeFiles/unit_tests.dir/t_legacy_bmc.cc.o [ 86%] Building CXX object test/CMakeFiles/unit_tests.dir/t_log.cc.o [ 87%] Building CXX object test/CMakeFiles/unit_tests.dir/t_main.cc.o [ 87%] Building CXX object test/CMakeFiles/unit_tests.dir/t_mapset.cc.o [ 88%] Building CXX object test/CMakeFiles/unit_tests.dir/t_mcm.cc.o [ 88%] Building CXX object test/CMakeFiles/unit_tests.dir/t_mngr_absknob.cc.o [ 88%] Building CXX object test/CMakeFiles/unit_tests.dir/t_pass.cc.o [ 89%] Building CXX object test/CMakeFiles/unit_tests.dir/t_portable.cc.o [ 89%] Building CXX object test/CMakeFiles/unit_tests.dir/t_smt_in.cc.o [ 90%] Building CXX object test/CMakeFiles/unit_tests.dir/t_smt_shim.cc.o [ 90%] Building CXX object test/CMakeFiles/unit_tests.dir/t_smt_switch_itf.cc.o [ 91%] Building CXX object test/CMakeFiles/unit_tests.dir/t_smt_trans.cc.o [ 91%] Building CXX object test/CMakeFiles/unit_tests.dir/t_rfexpr_smt_out.cc.o [ 92%] Building CXX object test/CMakeFiles/unit_tests.dir/t_sort.cc.o [ 92%] Building CXX object test/CMakeFiles/unit_tests.dir/t_symbol.cc.o [ 93%] Building CXX object test/CMakeFiles/unit_tests.dir/t_unroll_seq.cc.o [ 93%] Building CXX object test/CMakeFiles/unit_tests.dir/t_unroller_smt.cc.o [ 94%] Building CXX object test/CMakeFiles/unit_tests.dir/t_util.cc.o [ 94%] Building CXX object test/CMakeFiles/unit_tests.dir/t_verilog_analysis.cc.o [ 95%] Building CXX object test/CMakeFiles/unit_tests.dir/t_verilog_analysis_error.cc.o [ 95%] Building CXX object test/CMakeFiles/unit_tests.dir/t_verilog_gen.cc.o [ 95%] Building CXX object test/CMakeFiles/unit_tests.dir/t_verilog_mod.cc.o [ 96%] Building CXX object test/CMakeFiles/unit_tests.dir/t_vtarget_gen.cc.o [ 96%] Building CXX object test/CMakeFiles/unit_tests.dir/t_inv_extract.cc.o [ 97%] Building CXX object test/CMakeFiles/unit_tests.dir/t_z3adapter.cc.o [ 97%] Building CXX object test/CMakeFiles/unit_tests.dir/t_z3sanity.cc.o [ 98%] Building CXX object test/CMakeFiles/unit_tests.dir/t_inv_syn.cc.o [ 98%] Building CXX object test/CMakeFiles/unit_tests.dir/t_inv_obj.cc.o [100%] Linking CXX executable unit_tests [100%] Built target unit_tests sudo make install [ 4%] Built target glog [ 5%] Built target signalhandler_unittest [ 6%] Built target stl_logging_unittest [ 7%] Built target stacktrace_unittest [ 7%] Built target demangle_unittest [ 8%] Built target logging_unittest [ 9%] Built target symbolize_unittest [ 10%] Built target utilities_unittest [ 12%] Built target fmt [ 15%] Built target vcdparser [ 16%] Built target vcdparserexec [ 22%] Built target smtparser [ 27%] Built target verilogparser [ 28%] Built target verilogparserexec [ 32%] Built target vexpparser [ 33%] Built target vexpparserexec [ 72%] Built target ilang [ 73%] Built target gtest [ 73%] Built target gmock [ 74%] Built target gtest_main [100%] Built target unit_tests Install the project... -- Install configuration: "Debug" -- Installing: /usr/local/lib/cmake/ilang/ilangConfig.cmake -- Installing: /usr/local/lib/cmake/ilang/ilangConfigVersion.cmake -- Installing: /usr/local/lib/cmake/ilang/ilangTargets.cmake -- Installing: /usr/local/lib/cmake/ilang/ilangTargets-debug.cmake -- Installing: /usr/local/lib/libglogd.so.0.4.0 -- Installing: /usr/local/lib/libglogd.so.0 -- Installing: /usr/local/lib/libglogd.so -- Set runtime path of "/usr/local/lib/libglogd.so.0.4.0" to "/usr/local/lib" -- Installing: /usr/local/include/glog/logging.h -- Installing: /usr/local/include/glog/raw_logging.h -- Installing: /usr/local/include/glog/stl_logging.h -- Installing: /usr/local/include/glog/vlog_is_on.h -- Installing: /usr/local/include/glog/log_severity.h -- Installing: /usr/local/lib/cmake/glog/glog-config.cmake -- Installing: /usr/local/lib/cmake/glog/glog-config-version.cmake -- Installing: /usr/local/lib/cmake/glog/glog-targets.cmake -- Installing: /usr/local/lib/cmake/glog/glog-targets-debug.cmake -- Up-to-date: /usr/local/include -- Installing: /usr/local/include/nlohmann -- Installing: /usr/local/include/nlohmann/json.hpp -- Installing: /usr/local/lib/cmake/nlohmann_json/nlohmann_jsonConfig.cmake -- Installing: /usr/local/lib/cmake/nlohmann_json/nlohmann_jsonConfigVersion.cmake -- Installing: /usr/local/lib/cmake/nlohmann_json/nlohmann_jsonTargets.cmake -- Installing: /usr/local/lib/cmake/fmt/fmt-config.cmake -- Installing: /usr/local/lib/cmake/fmt/fmt-config-version.cmake -- Installing: /usr/local/lib/cmake/fmt/fmt-targets.cmake -- Installing: /usr/local/lib/cmake/fmt/fmt-targets-debug.cmake -- Installing: /usr/local/lib/libfmtd.so.6.1.2 -- Installing: /usr/local/lib/libfmtd.so.6 -- Installing: /usr/local/lib/libfmtd.so -- Set runtime path of "/usr/local/lib/libfmtd.so.6.1.2" to "/usr/local/lib" -- Installing: /usr/local/include/fmt/chrono.h -- Installing: /usr/local/include/fmt/color.h -- Installing: /usr/local/include/fmt/compile.h -- Installing: /usr/local/include/fmt/core.h -- Installing: /usr/local/include/fmt/format.h -- Installing: /usr/local/include/fmt/format-inl.h -- Installing: /usr/local/include/fmt/locale.h -- Installing: /usr/local/include/fmt/ostream.h -- Installing: /usr/local/include/fmt/posix.h -- Installing: /usr/local/include/fmt/printf.h -- Installing: /usr/local/include/fmt/ranges.h -- Installing: /usr/local/lib/pkgconfig/fmt.pc -- Installing: /usr/local/lib/cmake/vcdparser/vcdparserConfig.cmake -- Installing: /usr/local/lib/cmake/vcdparser/vcdparserConfigVersion.camke -- Installing: /usr/local/lib/cmake/vcdparser/vcdparserTargets.cmake -- Installing: /usr/local/lib/cmake/vcdparser/vcdparserTargets-debug.cmake -- Installing: /usr/local/lib/libvcdparser.so -- Set runtime path of "/usr/local/lib/libvcdparser.so" to "/usr/local/lib" -- Installing: /usr/local/bin/vcdparserexec -- Set runtime path of "/usr/local/bin/vcdparserexec" to "/usr/local/lib" -- Installing: /usr/local/include/vcdparser -- Installing: /usr/local/include/vcdparser/VCDTypes.hpp -- Installing: /usr/local/include/vcdparser/VCDFile.hpp -- Installing: /usr/local/include/vcdparser/VCDValue.hpp -- Installing: /usr/local/include/vcdparser/VCDFileParser.hpp -- Installing: /usr/local/lib/cmake/smtparser/smtparserConfig.cmake -- Installing: /usr/local/lib/cmake/smtparser/smtparserConfigVersion.camke -- Installing: /usr/local/lib/cmake/smtparser/smtparserTargets.cmake -- Installing: /usr/local/lib/cmake/smtparser/smtparserTargets-debug.cmake -- Installing: /usr/local/lib/libsmtparser.so -- Set runtime path of "/usr/local/lib/libsmtparser.so" to "/usr/local/lib" -- Installing: /usr/local/include/smtparser -- Installing: /usr/local/include/smtparser/smtlib2parser.h -- Installing: /usr/local/include/smtparser/smtlib2termparser.h -- Installing: /usr/local/include/smtparser/smtlib2stream.h -- Installing: /usr/local/include/smtparser/smtlib2vector.h -- Installing: /usr/local/include/smtparser/smtlib2scanner.h -- Installing: /usr/local/include/smtparser/smtlib2yices.h -- Installing: /usr/local/include/smtparser/smtlib2abstractparser.h -- Installing: /usr/local/include/smtparser/smtlib2genvector.h -- Installing: /usr/local/include/smtparser/smtlib2types.h -- Installing: /usr/local/include/smtparser/smtlib2charbuf.h -- Installing: /usr/local/include/smtparser/smtlib2hashtable.h -- Installing: /usr/local/include/smtparser/smtlib2abstractparser_private.h -- Installing: /usr/local/include/smtparser/smtlib2parserinterface.h -- Installing: /usr/local/include/smtparser/smtlib2utils.h -- Installing: /usr/local/lib/cmake/verilogparser/verilogparserConfig.cmake -- Installing: /usr/local/lib/cmake/verilogparser/verilogparserConfigVersion.camke -- Installing: /usr/local/lib/cmake/verilogparser/verilogparserTargets.cmake -- Installing: /usr/local/lib/cmake/verilogparser/verilogparserTargets-debug.cmake -- Installing: /usr/local/lib/libverilogparser.so -- Set runtime path of "/usr/local/lib/libverilogparser.so" to "/usr/local/lib" -- Installing: /usr/local/bin/verilogparserexec -- Set runtime path of "/usr/local/bin/verilogparserexec" to "/usr/local/lib" -- Installing: /usr/local/include/verilogparser -- Installing: /usr/local/include/verilogparser/verilog_ast.h -- Installing: /usr/local/include/verilogparser/verilog_ast_util.h -- Installing: /usr/local/include/verilogparser/verilog_ast_common.h -- Installing: /usr/local/include/verilogparser/verilog_ast_mem.h -- Installing: /usr/local/include/verilogparser/verilog_preprocessor.h -- Installing: /usr/local/include/verilogparser/verilog_parser.h -- Installing: /usr/local/lib/cmake/vexpparser/vexpparserConfig.cmake -- Installing: /usr/local/lib/cmake/vexpparser/vexpparserConfigVersion.camke -- Installing: /usr/local/lib/cmake/vexpparser/vexpparserTargets.cmake -- Installing: /usr/local/lib/cmake/vexpparser/vexpparserTargets-debug.cmake -- Installing: /usr/local/lib/libvexpparser.so -- Set runtime path of "/usr/local/lib/libvexpparser.so" to "/usr/local/lib" -- Installing: /usr/local/bin/vexpparserexec -- Set runtime path of "/usr/local/bin/vexpparserexec" to "/usr/local/lib" CMake Error at extern/vexpparser/src/cmake_install.cmake:81 (file): file INSTALL cannot find "/home/semaphore/ILAng/extern/vexpparser/include/vexpparser". Call Stack (most recent call first): extern/vexpparser/cmake_install.cmake:68 (include) extern/cmake_install.cmake:48 (include) cmake_install.cmake:68 (include) Makefile:73: recipe for target 'install' failed make: *** [install] Error 1 export SEMAPHORE_JOB_RESULT=failed