Build Log: conf-flint.3.0

Processing: [default: loading data] The following system packages will first need to be installed: libflint-dev <><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><> + /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libflint-dev" - debconf: delaying package configuration, since apt-utils is not installed - Selecting previously unselected package libflint18t64: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 ... 15872 files and directories currently installed.) - Preparing to unpack .../libflint18t64_3.0.1-3.1build1_amd64.deb ... - Unpacking libflint18t64:amd64 (3.0.1-3.1build1) ... - Selecting previously unselected package libgmpxx4ldbl:amd64. - Preparing to unpack .../libgmpxx4ldbl_2%3a6.3.0+dfsg-2ubuntu6.1_amd64.deb ... - Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2ubuntu6.1) ... - Selecting previously unselected package libgmp-dev:amd64. - Preparing to unpack .../libgmp-dev_2%3a6.3.0+dfsg-2ubuntu6.1_amd64.deb ... - Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-2ubuntu6.1) ... - Selecting previously unselected package libmpfr-dev:amd64. - Preparing to unpack .../libmpfr-dev_4.2.1-1build1.1_amd64.deb ... - Unpacking libmpfr-dev:amd64 (4.2.1-1build1.1) ... - Selecting previously unselected package libflint-dev. - Preparing to unpack .../libflint-dev_3.0.1-3.1build1_amd64.deb ... - Unpacking libflint-dev (3.0.1-3.1build1) ... - Setting up libflint18t64:amd64 (3.0.1-3.1build1) ... - Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2ubuntu6.1) ... - Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-2ubuntu6.1) ... - Setting up libmpfr-dev:amd64 (4.2.1-1build1.1) ... - Setting up libflint-dev (3.0.1-3.1build1) ... - Processing triggers for libc-bin (2.39-0ubuntu8.6) ... [conf-flint: sh] + /usr/bin/sh "-exc" "printf \"#include <flint/flint.h>\\n#if __FLINT_VERSION < 3\\n#error \\\"Flint (>= 3.0) is not accessible\\\"\\n#endif\" > test.c" (CWD=/home/opam/.opam/default/.opam-switch/build/conf-flint.3.0) - + printf #include <flint/flint.h>\n#if __FLINT_VERSION < 3\n#error "Flint (>= 3.0) is not accessible"\n#endif [conf-flint: sh] + /usr/bin/sh "-exc" "cc -c $CFLAGS -I/usr/local/include test.c" (CWD=/home/opam/.opam/default/.opam-switch/build/conf-flint.3.0) - + cc -c -I/usr/local/include test.c -> compiled conf-flint.3.0 -> installed conf-flint.3.0