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" - Selecting previously unselected package libflint19: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 ... 20107 files and directories currently installed.) - Preparing to unpack .../libflint19_3.1.3-2_amd64.deb ... - Unpacking libflint19:amd64 (3.1.3-2) ... - Selecting previously unselected package libgmpxx4ldbl:amd64. - Preparing to unpack .../libgmpxx4ldbl_2%3a6.3.0+dfsg-3_amd64.deb ... - Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ... - Selecting previously unselected package libgmp-dev:amd64. - Preparing to unpack .../libgmp-dev_2%3a6.3.0+dfsg-3_amd64.deb ... - Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-3) ... - Selecting previously unselected package libmpfr-dev:amd64. - Preparing to unpack .../libmpfr-dev_4.2.2-1_amd64.deb ... - Unpacking libmpfr-dev:amd64 (4.2.2-1) ... - Selecting previously unselected package libflint-dev. - Preparing to unpack .../libflint-dev_3.1.3-2_amd64.deb ... - Unpacking libflint-dev (3.1.3-2) ... - Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ... - Setting up libflint19:amd64 (3.1.3-2) ... - Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ... - Setting up libmpfr-dev:amd64 (4.2.2-1) ... - Setting up libflint-dev (3.1.3-2) ... - Processing triggers for libc-bin (2.41-12) ... [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