[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 <stdio.h>, 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 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::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::<impl core::ops::function::FnOnce<A> 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 - <unknown>
[INFO] [stderr]     35:     0x76ce696e4e40 - __libc_start_main
[INFO] [stderr]     36:     0x58b4aa26ae85 - _start
[INFO] [stderr]     37:                0x0 - <unknown>
[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
