[INFO] cloning repository https://github.com/aditya-git16/proofPositive [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/aditya-git16/proofPositive" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Faditya-git16%2FproofPositive", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Faditya-git16%2FproofPositive'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 5c72f1cda8128c15b24dfd8c1c8b18aff9c168f4 [INFO] checking aditya-git16/proofPositive/5c72f1cda8128c15b24dfd8c1c8b18aff9c168f4 against master#fd2c811d25ad5773fbd2463e058bf4edf4d44eb2 for pr-130443 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Faditya-git16%2FproofPositive" "/workspace/builds/worker-5-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/aditya-git16/proofPositive on toolchain fd2c811d25ad5773fbd2463e058bf4edf4d44eb2 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+fd2c811d25ad5773fbd2463e058bf4edf4d44eb2" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] removed /workspace/builds/worker-5-tc1/source/rust-toolchain.toml [INFO] started tweaking git repo https://github.com/aditya-git16/proofPositive [INFO] removed 0 missing examples [INFO] finished tweaking git repo https://github.com/aditya-git16/proofPositive [INFO] tweaked toml for git repo https://github.com/aditya-git16/proofPositive written to /workspace/builds/worker-5-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/aditya-git16/proofPositive already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+fd2c811d25ad5773fbd2463e058bf4edf4d44eb2" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] warning: profiles for the non root package will be ignored, specify profiles at the workspace root: [INFO] [stderr] package: /workspace/builds/worker-5-tc1/source/circ_hc/Cargo.toml [INFO] [stderr] workspace: /workspace/builds/worker-5-tc1/source/Cargo.toml [INFO] [stderr] Updating git repository `https://github.com/alex-ozdemir/hashconsing.git` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded trycmd v0.14.21 [INFO] [stderr] Downloaded snapbox-macros v0.3.8 [INFO] [stderr] Downloaded escargot v0.5.10 [INFO] [stderr] Downloaded snapbox v0.4.17 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:ceb6ea022f8a89cebbe621bb4987e73a935bd40dfbb726f832cfff4742a5b95a" "/opt/rustwide/cargo-home/bin/cargo" "+fd2c811d25ad5773fbd2463e058bf4edf4d44eb2" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 79ceaeee1f729989d3047cbf88531fc12ce177cb0561a6d7cc12af0bd9e79caa [INFO] running `Command { std: "docker" "start" "-a" "79ceaeee1f729989d3047cbf88531fc12ce177cb0561a6d7cc12af0bd9e79caa", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "79ceaeee1f729989d3047cbf88531fc12ce177cb0561a6d7cc12af0bd9e79caa", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "79ceaeee1f729989d3047cbf88531fc12ce177cb0561a6d7cc12af0bd9e79caa", kill_on_drop: false }` [INFO] [stdout] 79ceaeee1f729989d3047cbf88531fc12ce177cb0561a6d7cc12af0bd9e79caa [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:ceb6ea022f8a89cebbe621bb4987e73a935bd40dfbb726f832cfff4742a5b95a" "/opt/rustwide/cargo-home/bin/cargo" "+fd2c811d25ad5773fbd2463e058bf4edf4d44eb2" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 885126333ab48ad18b50a15c285d3a428927cb4f089a4b9611aa8f8ceb8c583b [INFO] running `Command { std: "docker" "start" "-a" "885126333ab48ad18b50a15c285d3a428927cb4f089a4b9611aa8f8ceb8c583b", kill_on_drop: false }` [INFO] [stderr] warning: profiles for the non root package will be ignored, specify profiles at the workspace root: [INFO] [stderr] package: /opt/rustwide/workdir/circ_hc/Cargo.toml [INFO] [stderr] workspace: /opt/rustwide/workdir/Cargo.toml [INFO] [stderr] Compiling proc-macro2 v1.0.67 [INFO] [stderr] Compiling unicode-ident v1.0.12 [INFO] [stderr] Compiling libc v0.2.148 [INFO] [stderr] Compiling autocfg v1.1.0 [INFO] [stderr] Checking cfg-if v1.0.0 [INFO] [stderr] Compiling serde v1.0.188 [INFO] [stderr] Compiling libm v0.2.8 [INFO] [stderr] Checking memchr v2.6.3 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Checking log v0.4.20 [INFO] [stderr] Checking once_cell v1.18.0 [INFO] [stderr] Compiling thiserror v1.0.48 [INFO] [stderr] Compiling version_check v0.9.4 [INFO] [stderr] Checking utf8parse v0.2.1 [INFO] [stderr] Checking byteorder v1.4.3 [INFO] [stderr] Checking anstyle-query v1.0.0 [INFO] [stderr] Checking colorchoice v1.0.0 [INFO] [stderr] Checking anstyle v1.0.3 [INFO] [stderr] Checking ppv-lite86 v0.2.17 [INFO] [stderr] Checking anstyle-parse v0.2.1 [INFO] [stderr] Compiling radium v0.7.0 [INFO] [stderr] Compiling crossbeam-utils v0.8.16 [INFO] [stderr] Checking either v1.9.0 [INFO] [stderr] Checking humantime v2.1.0 [INFO] [stderr] Checking lazy_static v1.4.0 [INFO] [stderr] Checking tap v1.0.1 [INFO] [stderr] Compiling serde_json v1.0.107 [INFO] [stderr] Checking funty v2.0.0 [INFO] [stderr] Checking ryu v1.0.15 [INFO] [stderr] Checking wyz v0.5.1 [INFO] [stderr] Checking itoa v1.0.9 [INFO] [stderr] Compiling num-traits v0.2.16 [INFO] [stderr] Compiling num-integer v0.1.45 [INFO] [stderr] Compiling num-bigint v0.3.3 [INFO] [stderr] Compiling ahash v0.7.6 [INFO] [stderr] Compiling memoffset v0.9.0 [INFO] [stderr] Compiling crossbeam-epoch v0.9.15 [INFO] [stderr] Checking anstream v0.5.0 [INFO] [stderr] Compiling heck v0.4.1 [INFO] [stderr] Checking strsim v0.10.0 [INFO] [stderr] Compiling gmp-mpfr-sys v1.4.13 [INFO] [stderr] Checking subtle v2.5.0 [INFO] [stderr] Checking clap_lex v0.5.1 [INFO] [stderr] Checking aho-corasick v1.1.0 [INFO] [stderr] Checking fxhash v0.2.1 [INFO] [stderr] Checking scopeguard v1.2.0 [INFO] [stderr] Compiling rustix v0.38.13 [INFO] [stderr] Compiling az v1.2.1 [INFO] [stderr] Checking clap_builder v4.4.4 [INFO] [stderr] Compiling ucd-trie v0.1.6 [INFO] [stderr] Checking bitvec v1.0.1 [INFO] [stderr] Checking regex-syntax v0.7.5 [INFO] [stderr] Compiling typenum v1.17.0 [INFO] [stderr] Compiling quote v1.0.33 [INFO] [stderr] Compiling syn v2.0.37 [INFO] [stderr] Checking linux-raw-sys v0.4.7 [INFO] [stderr] Compiling escargot v0.5.10 [INFO] [stderr] Compiling rug v1.18.0 [INFO] [stderr] Compiling rayon-core v1.11.0 [INFO] [stderr] Checking bitflags v2.4.0 [INFO] [stderr] Compiling paste v1.0.14 [INFO] [stderr] Checking crossbeam-deque v0.8.3 [INFO] [stderr] Checking crossbeam-channel v0.5.8 [INFO] [stderr] Checking anstream v0.6.13 [INFO] [stderr] Checking same-file v1.0.6 [INFO] [stderr] Checking getrandom v0.2.10 [INFO] [stderr] Checking num_cpus v1.16.0 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking equivalent v1.0.1 [INFO] [stderr] Checking hashbrown v0.14.0 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking termcolor v1.3.0 [INFO] [stderr] Checking fastrand v2.0.0 [INFO] [stdout] error[E0635]: unknown feature `stdsimd` [INFO] [stdout] --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/ahash-0.7.6/src/lib.rs:33:42 [INFO] [stdout] | [INFO] [stdout] 33 | #![cfg_attr(feature = "stdsimd", feature(stdsimd))] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking regex-automata v0.3.8 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stdout] error: aborting due to 1 previous error [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0635`. [INFO] [stdout] [INFO] [stderr] error: could not compile `ahash` (lib) due to 2 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] rustc-LLVM ERROR: IO failure on output stream: No space left on device [INFO] [stderr] rustc-LLVM ERROR: IO failure on output stream: No space left on device [INFO] [stderr] error: could not compile `syn` (lib) [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] No space left on device (os error 28) [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] failed to parse process output: `/opt/rustwide/rustup-home/toolchains/fd2c811d25ad5773fbd2463e058bf4edf4d44eb2/bin/rustc --crate-name syn --edition=2021 /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/syn-2.0.37/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type lib --emit=dep-info,metadata,link -C embed-bitcode=no --cfg 'feature="clone-impls"' --cfg 'feature="default"' --cfg 'feature="derive"' --cfg 'feature="extra-traits"' --cfg 'feature="full"' --cfg 'feature="parsing"' --cfg 'feature="printing"' --cfg 'feature="proc-macro"' --cfg 'feature="quote"' --check-cfg 'cfg(docsrs)' --check-cfg 'cfg(feature, values("clone-impls", "default", "derive", "extra-traits", "fold", "full", "parsing", "printing", "proc-macro", "quote", "test", "visit", "visit-mut"))' -C metadata=4c136013ba9896d7 -C extra-filename=-4c136013ba9896d7 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern proc_macro2=/opt/rustwide/target/debug/deps/libproc_macro2-dce7b19313c8c2e8.rmeta --extern quote=/opt/rustwide/target/debug/deps/libquote-3ee5a3386eba1007.rmeta --extern unicode_ident=/opt/rustwide/target/debug/deps/libunicode_ident-7b828347d8713ecd.rmeta --cap-lints allow --cap-lints=forbid` (exit status: 101) [INFO] [stderr] error: could not compile `syn` (lib) [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] No space left on device (os error 28) [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] failed to parse process output: `/opt/rustwide/rustup-home/toolchains/fd2c811d25ad5773fbd2463e058bf4edf4d44eb2/bin/rustc --crate-name syn --edition=2018 /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/syn-1.0.109/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type lib --emit=dep-info,metadata,link -C embed-bitcode=no --cfg 'feature="clone-impls"' --cfg 'feature="default"' --cfg 'feature="derive"' --cfg 'feature="extra-traits"' --cfg 'feature="full"' --cfg 'feature="parsing"' --cfg 'feature="printing"' --cfg 'feature="proc-macro"' --cfg 'feature="quote"' --check-cfg 'cfg(docsrs)' --check-cfg 'cfg(feature, values("clone-impls", "default", "derive", "extra-traits", "fold", "full", "parsing", "printing", "proc-macro", "quote", "test", "visit", "visit-mut"))' -C metadata=9505fc7f0e5f3219 -C extra-filename=-9505fc7f0e5f3219 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern proc_macro2=/opt/rustwide/target/debug/deps/libproc_macro2-dce7b19313c8c2e8.rmeta --extern quote=/opt/rustwide/target/debug/deps/libquote-3ee5a3386eba1007.rmeta --extern unicode_ident=/opt/rustwide/target/debug/deps/libunicode_ident-7b828347d8713ecd.rmeta --cap-lints allow --cap-lints=forbid` (exit status: 101) [INFO] [stderr] error: failed to run custom build command for `gmp-mpfr-sys v1.4.13` [INFO] [stderr] note: To improve backtraces for build dependencies, set the CARGO_PROFILE_DEV_BUILD_OVERRIDE_DEBUG=true environment variable to enable debug information generation. [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `/opt/rustwide/target/debug/build/gmp-mpfr-sys-597ee2099f0e56f1/build-script-build` (exit status: 101) [INFO] [stderr] --- stdout [INFO] [stderr] cargo:rerun-if-env-changed=GMP_MPFR_SYS_CACHE [INFO] [stderr] $ mkdir -p "/opt/rustwide/target/debug/build/gmp-mpfr-sys-a7b7c290654054be/out/try_extended_key_value_attributes" [INFO] [stderr] $ cd "/opt/rustwide/target/debug/build/gmp-mpfr-sys-a7b7c290654054be/out/try_extended_key_value_attributes" [INFO] [stderr] $ printf '%s' "// try_ext"... > "/opt/rustwide/target/debug/build/gmp-mpfr-sys-a7b7c290654054be/out/try_extended_key_value_attributes/try_extended_key_value_attributes.rs" [INFO] [stderr] $ cd "/opt/rustwide/target/debug/build/gmp-mpfr-sys-a7b7c290654054be/out/try_extended_key_value_attributes" && "/opt/rustwide/rustup-home/toolchains/fd2c811d25ad5773fbd2463e058bf4edf4d44eb2/bin/rustc" "try_extended_key_value_attributes.rs" "--emit=dep-info,metadata" >& /dev/null [INFO] [stderr] cargo:rustc-cfg=extended_key_value_attributes [INFO] [stderr] $ rm -r "/opt/rustwide/target/debug/build/gmp-mpfr-sys-a7b7c290654054be/out/try_extended_key_value_attributes" [INFO] [stderr] $ mkdir -p "/opt/rustwide/target/debug/build/gmp-mpfr-sys-a7b7c290654054be/out/try_unsafe_in_unsafe" [INFO] [stderr] $ cd "/opt/rustwide/target/debug/build/gmp-mpfr-sys-a7b7c290654054be/out/try_unsafe_in_unsafe" [INFO] [stderr] $ printf '%s' "// try_uns"... > "/opt/rustwide/target/debug/build/gmp-mpfr-sys-a7b7c290654054be/out/try_unsafe_in_unsafe/try_unsafe_in_unsafe.rs" [INFO] [stderr] $ cd "/opt/rustwide/target/debug/build/gmp-mpfr-sys-a7b7c290654054be/out/try_unsafe_in_unsafe" && "/opt/rustwide/rustup-home/toolchains/fd2c811d25ad5773fbd2463e058bf4edf4d44eb2/bin/rustc" "try_unsafe_in_unsafe.rs" "--emit=dep-info,metadata" >& /dev/null [INFO] [stderr] cargo:rustc-cfg=unsafe_in_unsafe [INFO] [stderr] $ rm -r "/opt/rustwide/target/debug/build/gmp-mpfr-sys-a7b7c290654054be/out/try_unsafe_in_unsafe" [INFO] [stderr] $ mkdir -p "/opt/rustwide/target/debug/build/gmp-mpfr-sys-a7b7c290654054be/out/lib" [INFO] [stderr] $ mkdir -p "/opt/rustwide/target/debug/build/gmp-mpfr-sys-a7b7c290654054be/out/include" [INFO] [stderr] $ mkdir -p "/opt/rustwide/target/debug/build/gmp-mpfr-sys-a7b7c290654054be/out/build" [INFO] [stderr] $ ln -s "/opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/gmp-mpfr-sys-1.4.13/gmp-6.2.1-c" "/opt/rustwide/target/debug/build/gmp-mpfr-sys-a7b7c290654054be/out/build/gmp-src" [INFO] [stderr] $ mkdir -p "/opt/rustwide/target/debug/build/gmp-mpfr-sys-a7b7c290654054be/out/build/gmp-build" [INFO] [stderr] $ cd "/opt/rustwide/target/debug/build/gmp-mpfr-sys-a7b7c290654054be/out/build/gmp-build" [INFO] [stderr] $ cd "/opt/rustwide/target/debug/build/gmp-mpfr-sys-a7b7c290654054be/out/build/gmp-build" && "sh" "-c" "../gmp-src/configure --enable-fat --disable-shared --with-pic" [INFO] [stderr] checking build system type... zen3-pc-linux-gnu [INFO] [stderr] checking host system type... zen3-pc-linux-gnu [INFO] [stderr] checking for a BSD-compatible install... /usr/bin/install -c [INFO] [stderr] checking whether build environment is sane... yes [INFO] [stderr] checking for a thread-safe mkdir -p... /usr/bin/mkdir -p [INFO] [stderr] checking for gawk... no [INFO] [stderr] checking for mawk... mawk [INFO] [stderr] checking whether make sets $(MAKE)... yes [INFO] [stderr] checking whether make supports nested variables... yes [INFO] [stderr] checking whether to enable maintainer-specific portions of Makefiles... no [INFO] [stderr] checking ABI=64 [INFO] [stderr] checking compiler gcc -O2 -pedantic -fomit-frame-pointer -m64 ... yes [INFO] [stderr] checking for gcc... gcc [INFO] [stderr] checking whether the C compiler works... yes [INFO] [stderr] checking for C compiler default output file name... a.out [INFO] [stderr] checking for suffix of executables... [INFO] [stderr] checking whether we are cross compiling... no [INFO] [stderr] checking for suffix of object files... o [INFO] [stderr] checking whether we are using the GNU C compiler... yes [INFO] [stderr] checking whether gcc accepts -g... yes [INFO] [stderr] checking for gcc option to accept ISO C89... none needed [INFO] [stderr] checking whether gcc understands -c and -o together... yes [INFO] [stderr] checking for gcc option to accept ISO C99... none needed [INFO] [stderr] checking how to run the C preprocessor... gcc -E [INFO] [stderr] checking build system compiler gcc... yes [INFO] [stderr] checking for build system preprocessor... gcc -E [INFO] [stderr] checking for build system executable suffix... [INFO] [stderr] checking whether build system compiler is ANSI... yes [INFO] [stderr] checking for build system compiler math library... -lm [INFO] [stderr] checking for grep that handles long lines and -e... /usr/bin/grep [INFO] [stderr] checking for egrep... /usr/bin/grep -E [INFO] [stderr] using ABI="64" [INFO] [stderr] CC="gcc" [INFO] [stderr] CFLAGS="-O2 -pedantic -fomit-frame-pointer -m64" [INFO] [stderr] CPPFLAGS="" [INFO] [stderr] MPN_PATH=" x86_64/fat x86_64 generic" [INFO] [stderr] checking whether assembler supports --noexecstack option... yes [INFO] [stderr] checking for ar... ar [INFO] [stderr] checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B [INFO] [stderr] checking the name lister (/usr/bin/nm -B) interface... BSD nm [INFO] [stderr] checking how to print strings... printf [INFO] [stderr] checking for a sed that does not truncate output... /usr/bin/sed [INFO] [stderr] checking for fgrep... /usr/bin/grep -F [INFO] [stderr] checking for ld used by gcc... /usr/bin/ld [INFO] [stderr] checking if the linker (/usr/bin/ld) is GNU ld... yes [INFO] [stderr] checking whether ln -s works... yes [INFO] [stderr] checking the maximum length of command line arguments... 1572864 [INFO] [stderr] checking how to convert zen3-pc-linux-gnu file names to zen3-pc-linux-gnu format... func_convert_file_noop [INFO] [stderr] checking how to convert zen3-pc-linux-gnu file names to toolchain format... func_convert_file_noop [INFO] [stderr] checking for /usr/bin/ld option to reload object files... -r [INFO] [stderr] checking for objdump... objdump [INFO] [stderr] checking how to recognize dependent libraries... pass_all [INFO] [stderr] checking for dlltool... dlltool [INFO] [stderr] checking how to associate runtime and link libraries... printf %s\n [INFO] [stderr] checking for archiver @FILE support... @ [INFO] [stderr] checking for strip... strip [INFO] [stderr] checking for ranlib... ranlib [INFO] [stderr] checking command to parse /usr/bin/nm -B output from gcc object... failed [INFO] [stderr] checking for sysroot... no [INFO] [stderr] checking for a working dd... /usr/bin/dd [INFO] [stderr] checking how to truncate binary pipes... /usr/bin/dd bs=4096 count=1 [INFO] [stderr] checking for mt... no [INFO] [stderr] checking if : is a manifest tool... no [INFO] [stderr] checking for ANSI C header files... no [INFO] [stderr] checking for sys/types.h... no [INFO] [stderr] checking for sys/stat.h... no [INFO] [stderr] checking for stdlib.h... no [INFO] [stderr] checking for string.h... no [INFO] [stderr] checking for memory.h... no [INFO] [stderr] checking for strings.h... no [INFO] [stderr] checking for inttypes.h... no [INFO] [stderr] checking for stdint.h... no [INFO] [stderr] checking for unistd.h... no [INFO] [stderr] checking for dlfcn.h... no [INFO] [stderr] checking for objdir... _libs [INFO] [stderr] checking if gcc supports -fno-rtti -fno-exceptions... no [INFO] [stderr] checking for gcc option to produce PIC... -fPIC -DPIC [INFO] [stderr] checking if gcc PIC flag -fPIC -DPIC works... no [INFO] [stderr] checking if gcc static flag -static works... no [INFO] [stderr] checking if gcc supports -c -o file.o... no [INFO] [stderr] checking if gcc supports -c -o file.o... (cached) no [INFO] [stderr] checking if we can lock with hard links... yes [INFO] [stderr] checking whether the gcc linker (/usr/bin/ld) supports shared libraries... yes [INFO] [stderr] checking dynamic linker characteristics... GNU/Linux ld.so [INFO] [stderr] checking how to hardcode library paths into programs... immediate [INFO] [stderr] checking whether stripping libraries is possible... yes [INFO] [stderr] checking if libtool supports shared libraries... yes [INFO] [stderr] checking whether to build shared libraries... no [INFO] [stderr] checking whether to build static libraries... yes [INFO] [stderr] checking for ANSI C header files... (cached) no [INFO] [stderr] checking whether time.h and sys/time.h may both be included... no [INFO] [stderr] checking fcntl.h usability... no [INFO] [stderr] checking fcntl.h presence... no [INFO] [stderr] checking for fcntl.h... no [INFO] [stderr] checking float.h usability... no [INFO] [stderr] checking float.h presence... no [INFO] [stderr] checking for float.h... no [INFO] [stderr] checking invent.h usability... no [INFO] [stderr] checking invent.h presence... no [INFO] [stderr] checking for invent.h... no [INFO] [stderr] checking langinfo.h usability... no [INFO] [stderr] checking langinfo.h presence... no [INFO] [stderr] checking for langinfo.h... no [INFO] [stderr] checking locale.h usability... no [INFO] [stderr] checking locale.h presence... no [INFO] [stderr] checking for locale.h... no [INFO] [stderr] checking nl_types.h usability... no [INFO] [stderr] checking nl_types.h presence... no [INFO] [stderr] checking for nl_types.h... no [INFO] [stderr] checking sys/attributes.h usability... no [INFO] [stderr] checking sys/attributes.h presence... no [INFO] [stderr] checking for sys/attributes.h... no [INFO] [stderr] checking sys/iograph.h usability... no [INFO] [stderr] checking sys/iograph.h presence... no [INFO] [stderr] checking for sys/iograph.h... no [INFO] [stderr] checking sys/mman.h usability... no [INFO] [stderr] checking sys/mman.h presence... no [INFO] [stderr] checking for sys/mman.h... no [INFO] [stderr] checking sys/param.h usability... no [INFO] [stderr] checking sys/param.h presence... no [INFO] [stderr] checking for sys/param.h... no [INFO] [stderr] checking sys/processor.h usability... no [INFO] [stderr] checking sys/processor.h presence... no [INFO] [stderr] checking for sys/processor.h... no [INFO] [stderr] checking sys/pstat.h usability... no [INFO] [stderr] checking sys/pstat.h presence... no [INFO] [stderr] checking for sys/pstat.h... no [INFO] [stderr] checking sys/sysinfo.h usability... no [INFO] [stderr] checking sys/sysinfo.h presence... no [INFO] [stderr] checking for sys/sysinfo.h... no [INFO] [stderr] checking sys/syssgi.h usability... no [INFO] [stderr] checking sys/syssgi.h presence... no [INFO] [stderr] checking for sys/syssgi.h... no [INFO] [stderr] checking sys/systemcfg.h usability... no [INFO] [stderr] checking sys/systemcfg.h presence... no [INFO] [stderr] checking for sys/systemcfg.h... no [INFO] [stderr] checking sys/time.h usability... no [INFO] [stderr] checking sys/time.h presence... no [INFO] [stderr] checking for sys/time.h... no [INFO] [stderr] checking sys/times.h usability... no [INFO] [stderr] checking sys/times.h presence... no [INFO] [stderr] checking for sys/times.h... no [INFO] [stderr] checking for sys/resource.h... no [INFO] [stderr] checking for sys/sysctl.h... no [INFO] [stderr] checking for machine/hal_sysinfo.h... no [INFO] [stderr] checking whether fgetc is declared... no [INFO] [stderr] checking whether fscanf is declared... no [INFO] [stderr] checking whether optarg is declared... no [INFO] [stderr] checking whether ungetc is declared... no [INFO] [stderr] checking whether vfprintf is declared... no [INFO] [stderr] checking whether sys_errlist is declared... no [INFO] [stderr] checking whether sys_nerr is declared... no [INFO] [stderr] checking return type of signal handlers... void [INFO] [stderr] checking for intmax_t... no [INFO] [stderr] checking for long double... no [INFO] [stderr] checking for long long... no [INFO] [stderr] checking for ptrdiff_t... no [INFO] [stderr] checking for quad_t... no [INFO] [stderr] checking for uint_least32_t... no [INFO] [stderr] checking for intptr_t... no [INFO] [stderr] checking for working volatile... no [INFO] [stderr] checking for C/C++ restrict keyword... no [INFO] [stderr] checking whether gcc __attribute__ ((const)) works... no [INFO] [stderr] checking whether gcc __attribute__ ((malloc)) works... no [INFO] [stderr] checking whether gcc __attribute__ ((mode (XX))) works... no [INFO] [stderr] checking whether gcc __attribute__ ((noreturn)) works... no [INFO] [stderr] checking whether gcc hidden aliases work... no [INFO] [stderr] checking for inline... no [INFO] [stderr] checking for cos in -lm... no [INFO] [stderr] checking for working alloca.h... no [INFO] [stderr] checking for alloca (via gmp-impl.h)... no [INFO] [stderr] checking how to allocate temporary memory... malloc-reentrant [INFO] [stderr] checking whether byte ordering is bigendian... yes [INFO] [stderr] checking format of `double' floating point... unknown [INFO] [stderr] checking for alarm... no [INFO] [stderr] checking for attr_get... no [INFO] [stderr] checking for clock... no [INFO] [stderr] checking for cputime... no [INFO] [stderr] checking for getpagesize... no [INFO] [stderr] checking for getrusage... no [INFO] [stderr] checking for gettimeofday... no [INFO] [stderr] checking for getsysinfo... no [INFO] [stderr] checking for localeconv... no [INFO] [stderr] checking for memset... no [INFO] [stderr] checking for mmap... no [INFO] [stderr] checking for mprotect... no [INFO] [stderr] checking for nl_langinfo... no [INFO] [stderr] checking for obstack_vprintf... no [INFO] [stderr] checking for popen... no [INFO] [stderr] checking for processor_info... no [INFO] [stderr] checking for pstat_getprocessor... no [INFO] [stderr] checking for raise... no [INFO] [stderr] checking for read_real_time... no [INFO] [stderr] checking for sigaction... no [INFO] [stderr] checking for sigaltstack... no [INFO] [stderr] checking for sigstack... no [INFO] [stderr] checking for syssgi... no [INFO] [stderr] checking for strchr... no [INFO] [stderr] checking for strerror... no [INFO] [stderr] checking for strnlen... no [INFO] [stderr] checking for strtol... no [INFO] [stderr] checking for strtoul... no [INFO] [stderr] checking for sysconf... no [INFO] [stderr] checking for sysctl... no [INFO] [stderr] checking for sysctlbyname... no [INFO] [stderr] checking for times... no [INFO] [stderr] checking for library containing clock_gettime... no [INFO] [stderr] checking for vsnprintf... no [INFO] [stderr] checking whether sscanf needs writable input... no [INFO] [stderr] checking for struct pst_processor.psp_iticksperclktick... no [INFO] [stderr] [INFO] [stderr] --- stderr [INFO] [stderr] ../gmp-src/configure: line 14150: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 14192: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 15914: echo: write error: No space left on device [INFO] [stderr] /usr/bin/sed: couldn't flush stdout: No space left on device [INFO] [stderr] ../gmp-src/configure: line 15920: echo: write error: No space left on device [INFO] [stderr] /usr/bin/sed: couldn't flush stdout: No space left on device [INFO] [stderr] ../gmp-src/configure: line 15945: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 16346: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 16353: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 16364: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 16368: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 16381: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 16410: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 16418: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 16438: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 16453: printf: write error: No space left on device [INFO] [stderr] mkdir: cannot create directory 'conftest': No space left on device [INFO] [stderr] ../gmp-src/configure: line 16461: cd: conftest: No such file or directory [INFO] [stderr] mkdir: cannot create directory 'out': No space left on device [INFO] [stderr] ../gmp-src/configure: line 16463: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 16474: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 16475: out/conftest.err: No such file or directory [INFO] [stderr] cat: out/conftest.err: No such file or directory [INFO] [stderr] ../gmp-src/configure: line 16478: echo: write error: No space left on device [INFO] [stderr] rmdir: failed to remove 'out': No such file or directory [INFO] [stderr] ../gmp-src/configure: line 16500: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 16508: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 16555: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 16564: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 16572: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 16588: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 17847: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 18087: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 18905: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 19027: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 19052: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 19600: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 19605: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 19640: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 19642: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 19645: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 19670: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 19673: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 19677: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 23044: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 23148: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 23156: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 23183: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2073: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2086: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2090: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1722: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1730: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1737: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2102: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2130: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2138: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2073: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2086: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2090: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1722: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1730: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1737: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2102: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2130: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2138: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2073: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2086: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2090: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1722: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1730: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1737: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2102: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2130: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2138: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2073: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2086: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2090: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1722: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1730: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1737: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2102: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2130: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2138: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2073: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2086: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2090: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1722: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1730: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1737: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2102: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2130: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2138: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2073: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2086: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2090: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1722: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1730: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1737: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2102: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2130: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2138: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2073: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2086: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2090: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1722: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1730: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1737: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2102: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2130: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2138: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2073: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2086: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2090: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1722: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1730: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1737: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2102: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2130: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2138: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2073: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2086: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2090: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1722: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1730: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1737: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2102: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2130: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2138: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2073: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2086: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2090: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1722: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1730: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1737: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2102: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2130: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2138: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2073: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2086: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2090: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1722: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1730: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1737: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2102: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2130: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2138: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2073: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2086: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2090: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1722: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1730: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1737: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2102: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2130: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2138: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2073: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2086: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2090: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1722: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1730: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1737: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2102: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2130: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2138: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2073: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2086: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2090: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1722: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1730: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1737: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2102: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2130: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2138: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2073: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2086: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2090: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1722: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1730: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1737: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2102: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2130: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2138: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2073: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2086: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2090: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1722: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1730: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1737: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2102: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2130: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2138: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2073: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2086: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2090: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1722: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1730: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1737: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2102: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2130: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2138: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1875: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1893: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1875: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1893: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1875: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1893: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2154: printf: write error: No space left on device [INFO] [stderr] cat: confdefs.h: No such file or directory [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2185: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2154: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2185: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2154: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2185: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2154: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2185: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2154: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2185: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2154: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2185: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2154: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2185: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 23377: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 23402: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2198: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2239: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2198: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2239: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2198: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2239: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2198: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2239: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2198: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2239: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2198: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2239: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2198: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2239: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 23489: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 23515: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 23519: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 23524: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 23557: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 23562: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 23572: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 23596: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 23604: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 23613: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 23616: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 23630: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 23638: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 23662: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 23670: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 23694: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 23702: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 23728: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 23737: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 23761: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 23908: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 23942: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 23956: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 23980: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 23989: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 24020: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 24029: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 24053: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 24068: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 24114: printf: write error: No space left on device [INFO] [stderr] configure: WARNING: gmp.h doesnt recognise , FILE prototypes will be unavailable [INFO] [stderr] ../gmp-src/configure: line 24120: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1912: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1915: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1929: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1930: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 24326: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 24330: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 24333: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 24355: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 24383: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 24386: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 24547: printf: write error: No space left on device [INFO] [stderr] configure: WARNING: oops, cannot compile test program [INFO] [stderr] ../gmp-src/configure: line 24553: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 24588: printf: write error: No space left on device [INFO] [stderr] configure: WARNING: Could not determine float format. [INFO] [stderr] ../gmp-src/configure: line 24590: printf: write error: No space left on device [INFO] [stderr] configure: WARNING: Conversions to and from "double" may be slow. [INFO] [stderr] ../gmp-src/configure: line 1947: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2002: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1947: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2002: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1947: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2002: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1947: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2002: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1947: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2002: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1947: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2002: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1947: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2002: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1947: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2002: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1947: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2002: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1947: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2002: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1947: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2002: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1947: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2002: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1947: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2002: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1947: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2002: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1947: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2002: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1947: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2002: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1947: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2002: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1947: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2002: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1947: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2002: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1947: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2002: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1947: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2002: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1947: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2002: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1947: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2002: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1947: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2002: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1947: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2002: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1947: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2002: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1947: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2002: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1947: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2002: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1947: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2002: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1947: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2002: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1947: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2002: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1947: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2002: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 24649: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 24697: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1947: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1835: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1843: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1853: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2002: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 24794: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 24806: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2252: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1685: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1693: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 1700: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 2296: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25004: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25005: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25008: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25011: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25059: echo: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25059: echo: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25059: echo: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25059: echo: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25059: echo: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25059: echo: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25059: echo: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25059: echo: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25059: echo: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25059: echo: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25059: echo: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25059: echo: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25059: echo: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25059: echo: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25059: echo: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25059: echo: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25059: echo: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25059: echo: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25059: echo: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25059: echo: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25059: echo: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25059: echo: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25059: echo: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25059: echo: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25059: echo: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25059: echo: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25059: echo: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25059: echo: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25059: echo: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25059: echo: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25059: echo: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25059: echo: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25059: echo: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25059: echo: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25059: echo: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25059: echo: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25059: echo: write error: No space left on device [INFO] [stderr] cat: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25067: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25068: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25070: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25071: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25070: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25071: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25070: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25071: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25070: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25071: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25070: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25071: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25081: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25100: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25100: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25100: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25100: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25100: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25100: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25100: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25100: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25100: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25100: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25100: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25100: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25100: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25100: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25100: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25100: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25100: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25100: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25100: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25100: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25100: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25100: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25100: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25100: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25100: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25100: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25100: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25100: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25100: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25100: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25100: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25100: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25100: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25100: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25100: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25100: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25100: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25104: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25104: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25104: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25104: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25104: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25106: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25111: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25130: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25130: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25130: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25130: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25130: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25130: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25130: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25130: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25130: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25130: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25130: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25130: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25130: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25130: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25130: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25130: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25130: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25130: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25130: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25130: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25130: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25130: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25130: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25130: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25130: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25130: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25130: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25130: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25130: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25130: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25130: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25130: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25130: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25130: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25130: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25130: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25130: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25134: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25134: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25134: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25134: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25134: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25136: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25141: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25144: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25144: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25144: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25144: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25144: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25146: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25151: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25351: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25352: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25353: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25354: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25151: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25351: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25352: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25353: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25354: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25151: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25351: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25352: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25353: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25354: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25151: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25351: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25352: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25353: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25354: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25151: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25351: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25352: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25353: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25354: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25151: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25351: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25352: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25353: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25354: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25151: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25351: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25352: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25353: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25354: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25151: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25351: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25352: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25353: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25354: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25151: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25351: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25352: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25353: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25354: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25151: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25351: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25352: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25353: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25354: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25151: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25351: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25352: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25353: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25354: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25151: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25351: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25352: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25353: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25354: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25151: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25351: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25352: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25353: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25354: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25151: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25351: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25352: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25353: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25354: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25151: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25351: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25352: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25353: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25354: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25151: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25351: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25352: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25353: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25354: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25151: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25351: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25352: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25353: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25354: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25151: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25351: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25352: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25353: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25354: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25151: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25351: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25352: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25353: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25354: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25358: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25361: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25361: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25361: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25361: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 25361: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 457: printf: write error: No space left on device [INFO] [stderr] configure: error: no version of invert_limb_table found in path: x86_64/fat x86_64 generic [INFO] [stderr] ../gmp-src/configure: line 4: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 8: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 9: echo: write error: No space left on device [INFO] [stderr] sort: write failed: 'standard output': No space left on device [INFO] [stderr] sort: write error [INFO] [stderr] ../gmp-src/configure: line 40: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 44: printf: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 45: echo: write error: No space left on device [INFO] [stderr] sort: fflush failed: 'standard output': No space left on device [INFO] [stderr] sort: write error [INFO] [stderr] ../gmp-src/configure: line 54: echo: write error: No space left on device [INFO] [stderr] ../gmp-src/configure: line 82: printf: write error: No space left on device [INFO] [stderr] thread 'main' panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/gmp-mpfr-sys-1.4.13/build.rs:1318:13: [INFO] [stderr] Program failed with code 1: cd "/opt/rustwide/target/debug/build/gmp-mpfr-sys-a7b7c290654054be/out/build/gmp-build" && "sh" "-c" "../gmp-src/configure --enable-fat --disable-shared --with-pic" [INFO] [stderr] stack backtrace: [INFO] [stderr] 0: 0x58b4aa2b9d4a - std::backtrace_rs::backtrace::libunwind::trace::h7d463d46f41c1625 [INFO] [stderr] at /rustc/fd2c811d25ad5773fbd2463e058bf4edf4d44eb2/library/std/src/../../backtrace/src/backtrace/libunwind.rs:116:5 [INFO] [stderr] 1: 0x58b4aa2b9d4a - std::backtrace_rs::backtrace::trace_unsynchronized::h476f8f3b73852bd8 [INFO] [stderr] at /rustc/fd2c811d25ad5773fbd2463e058bf4edf4d44eb2/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stderr] 2: 0x58b4aa2b9d4a - std::sys::backtrace::_print_fmt::h1442fc2d80f84a69 [INFO] [stderr] at /rustc/fd2c811d25ad5773fbd2463e058bf4edf4d44eb2/library/std/src/sys/backtrace.rs:66:9 [INFO] [stderr] 3: 0x58b4aa2b9d4a - ::fmt::hfeba7cbf44c2b035 [INFO] [stderr] at /rustc/fd2c811d25ad5773fbd2463e058bf4edf4d44eb2/library/std/src/sys/backtrace.rs:39:26 [INFO] [stderr] 4: 0x58b4aa2dc74b - core::fmt::rt::Argument::fmt::ha5da46916c25e7eb [INFO] [stderr] at /rustc/fd2c811d25ad5773fbd2463e058bf4edf4d44eb2/library/core/src/fmt/rt.rs:177:76 [INFO] [stderr] 5: 0x58b4aa2dc74b - core::fmt::write::hcf1a9b5a168bab42 [INFO] [stderr] at /rustc/fd2c811d25ad5773fbd2463e058bf4edf4d44eb2/library/core/src/fmt/mod.rs:1186:21 [INFO] [stderr] 6: 0x58b4aa2b6cd3 - std::io::Write::write_fmt::h343cbf8f0f760140 [INFO] [stderr] at /rustc/fd2c811d25ad5773fbd2463e058bf4edf4d44eb2/library/std/src/io/mod.rs:1823:15 [INFO] [stderr] 7: 0x58b4aa2b9b92 - std::sys::backtrace::BacktraceLock::print::h0ae6c23bbfb5f51d [INFO] [stderr] at /rustc/fd2c811d25ad5773fbd2463e058bf4edf4d44eb2/library/std/src/sys/backtrace.rs:42:9 [INFO] [stderr] 8: 0x58b4aa2baed7 - std::panicking::default_hook::{{closure}}::h8b07c33038b0c409 [INFO] [stderr] at /rustc/fd2c811d25ad5773fbd2463e058bf4edf4d44eb2/library/std/src/panicking.rs:268:22 [INFO] [stderr] 9: 0x58b4aa2bad06 - std::panicking::default_hook::hb2958c2545ef77af [INFO] [stderr] at /rustc/fd2c811d25ad5773fbd2463e058bf4edf4d44eb2/library/std/src/panicking.rs:295:9 [INFO] [stderr] 10: 0x58b4aa2bb4d7 - std::panicking::rust_panic_with_hook::h7dbaabf3e609e10d [INFO] [stderr] at /rustc/fd2c811d25ad5773fbd2463e058bf4edf4d44eb2/library/std/src/panicking.rs:801:13 [INFO] [stderr] 11: 0x58b4aa2bb377 - std::panicking::begin_panic_handler::{{closure}}::h1b159749db0a4fbc [INFO] [stderr] at /rustc/fd2c811d25ad5773fbd2463e058bf4edf4d44eb2/library/std/src/panicking.rs:674:13 [INFO] [stderr] 12: 0x58b4aa2ba229 - std::sys::backtrace::__rust_end_short_backtrace::hd4f2aecc8171f6c9 [INFO] [stderr] at /rustc/fd2c811d25ad5773fbd2463e058bf4edf4d44eb2/library/std/src/sys/backtrace.rs:170:18 [INFO] [stderr] 13: 0x58b4aa2bb004 - rust_begin_unwind [INFO] [stderr] at /rustc/fd2c811d25ad5773fbd2463e058bf4edf4d44eb2/library/std/src/panicking.rs:665:5 [INFO] [stderr] 14: 0x58b4aa2db663 - core::panicking::panic_fmt::hbd7893aa48b90018 [INFO] [stderr] at /rustc/fd2c811d25ad5773fbd2463e058bf4edf4d44eb2/library/core/src/panicking.rs:74:14 [INFO] [stderr] 15: 0x58b4aa27ce1a - build_script_build::execute::hd9a93e8e44b07294 [INFO] [stderr] 16: 0x58b4aa27c5ad - build_script_build::configure::h6cca1e406ae58e7d [INFO] [stderr] 17: 0x58b4aa273bf0 - build_script_build::build_gmp::hd97a4ab1800064a2 [INFO] [stderr] 18: 0x58b4aa26e3e6 - build_script_build::compile_libs::h551345fc838deb5b [INFO] [stderr] 19: 0x58b4aa26c1f7 - build_script_build::main::h35dca00ec09daeea [INFO] [stderr] 20: 0x58b4aa284963 - core::ops::function::FnOnce::call_once::h0cbb70d14b8491c4 [INFO] [stderr] 21: 0x58b4aa292b46 - std::sys::backtrace::__rust_begin_short_backtrace::h973e2f458aff68ba [INFO] [stderr] 22: 0x58b4aa280c19 - std::rt::lang_start::{{closure}}::h95e1cc6f43c0a2ee [INFO] [stderr] 23: 0x58b4aa2b3750 - core::ops::function::impls:: for &F>::call_once::hfad295795d7a894f [INFO] [stderr] at /rustc/fd2c811d25ad5773fbd2463e058bf4edf4d44eb2/library/core/src/ops/function.rs:284:13 [INFO] [stderr] 24: 0x58b4aa2b3750 - std::panicking::try::do_call::hc9dff1cc4e54de5a [INFO] [stderr] at /rustc/fd2c811d25ad5773fbd2463e058bf4edf4d44eb2/library/std/src/panicking.rs:557:40 [INFO] [stderr] 25: 0x58b4aa2b3750 - std::panicking::try::h812dea15f7b65398 [INFO] [stderr] at /rustc/fd2c811d25ad5773fbd2463e058bf4edf4d44eb2/library/std/src/panicking.rs:520:19 [INFO] [stderr] 26: 0x58b4aa2b3750 - std::panic::catch_unwind::h2981155ef2c37051 [INFO] [stderr] at /rustc/fd2c811d25ad5773fbd2463e058bf4edf4d44eb2/library/std/src/panic.rs:348:14 [INFO] [stderr] 27: 0x58b4aa2b3750 - std::rt::lang_start_internal::{{closure}}::h4314f9f12a96aa2f [INFO] [stderr] at /rustc/fd2c811d25ad5773fbd2463e058bf4edf4d44eb2/library/std/src/rt.rs:143:48 [INFO] [stderr] 28: 0x58b4aa2b3750 - std::panicking::try::do_call::ha990fc313fde27df [INFO] [stderr] at /rustc/fd2c811d25ad5773fbd2463e058bf4edf4d44eb2/library/std/src/panicking.rs:557:40 [INFO] [stderr] 29: 0x58b4aa2b3750 - std::panicking::try::he56b3ad7c18dbde8 [INFO] [stderr] at /rustc/fd2c811d25ad5773fbd2463e058bf4edf4d44eb2/library/std/src/panicking.rs:520:19 [INFO] [stderr] 30: 0x58b4aa2b3750 - std::panic::catch_unwind::hd440ffabd1849607 [INFO] [stderr] at /rustc/fd2c811d25ad5773fbd2463e058bf4edf4d44eb2/library/std/src/panic.rs:348:14 [INFO] [stderr] 31: 0x58b4aa2b3750 - std::rt::lang_start_internal::h4f26667a84827d07 [INFO] [stderr] at /rustc/fd2c811d25ad5773fbd2463e058bf4edf4d44eb2/library/std/src/rt.rs:143:20 [INFO] [stderr] 32: 0x58b4aa280bf7 - std::rt::lang_start::h4c4590ebe1980a12 [INFO] [stderr] 33: 0x58b4aa27db05 - main [INFO] [stderr] 34: 0x76ce696e4d90 - [INFO] [stderr] 35: 0x76ce696e4e40 - __libc_start_main [INFO] [stderr] 36: 0x58b4aa26ae85 - _start [INFO] [stderr] 37: 0x0 - [INFO] running `Command { std: "docker" "inspect" "885126333ab48ad18b50a15c285d3a428927cb4f089a4b9611aa8f8ceb8c583b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "885126333ab48ad18b50a15c285d3a428927cb4f089a4b9611aa8f8ceb8c583b", kill_on_drop: false }` [INFO] [stdout] 885126333ab48ad18b50a15c285d3a428927cb4f089a4b9611aa8f8ceb8c583b