Build #695516 2022-12-08T22:45:19.983314+00:00
# rustc version
rustc 1.67.0-nightly (01fbc5ae7 2022-12-07)
# docs.rs version
docsrs 0.6.0 (013508c6 2022-12-08)
# build log
[INFO] running `Command { std: "docker" "create" "-v" "/home/cratesfyi/workspace/builds/minisat-0.2.1/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace/builds/minisat-0.2.1/source:/opt/rustwide/workdir:ro,Z" "-v" "/home/cratesfyi/workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/home/cratesfyi/workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "DOCS_RS=1" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "3221225472" "--cpus" "3" "--user" "1001:1001" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:bb5b0feb4f87116a4ea905b7ff5bf5b85913db05e9f0fbc1abdd3168928d9075" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "rustdoc" "--lib" "-Zrustdoc-map" "-Z" "unstable-options" "--config" "build.rustdocflags=[\"-Z\", \"unstable-options\", \"--emit=invocation-specific\", \"--resource-suffix\", \"-20221207-1.67.0-nightly-01fbc5ae7\", \"--static-root-path\", \"/-/rustdoc.static/\", \"--cap-lints\", \"warn\", \"--disable-per-crate-search\", \"--extern-html-root-takes-precedence\"]" "--offline" "-Zunstable-options" "--config=doc.extern-map.registries.crates-io=\"https://docs.rs/{pkg_name}/{version}/x86_64-unknown-linux-gnu\"" "-j3" "--target" "x86_64-unknown-linux-gnu", kill_on_drop: false }`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 78a185397b9f9a3fa6b040239e4b80f5526279bb1e8f9b3c5d21163c797932af
[INFO] running `Command { std: "docker" "start" "-a" "78a185397b9f9a3fa6b040239e4b80f5526279bb1e8f9b3c5d21163c797932af", kill_on_drop: false }`
[INFO] [stderr] Compiling minisat v0.2.1 (/opt/rustwide/workdir)
[INFO] [stderr] The following warnings were emitted during compilation:
[INFO] [stderr]
[INFO] [stderr] warning: In file included from lib/minisat/minisat/core/Solver.h:28,
[INFO] [stderr] warning: from lib/minisat/minisat/core/Solver.cc:26:
[INFO] [stderr] warning: lib/minisat/minisat/utils/Options.h:285:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
[INFO] [stderr] warning: 285 | fprintf(stderr, "%4"PRIi64, range.begin);
[INFO] [stderr] warning: | ^
[INFO] [stderr] warning: lib/minisat/minisat/utils/Options.h:291:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
[INFO] [stderr] warning: 291 | fprintf(stderr, "%4"PRIi64, range.end);
[INFO] [stderr] warning: | ^
[INFO] [stderr] warning: lib/minisat/minisat/utils/Options.h:293:25: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
[INFO] [stderr] warning: 293 | fprintf(stderr, "] (default: %"PRIi64")\n", value);
[INFO] [stderr] warning: | ^
[INFO] [stderr] warning: lib/minisat/minisat/core/Solver.cc:995:12: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
[INFO] [stderr] warning: 995 | printf("restarts : %"PRIu64"\n", starts);
[INFO] [stderr] warning: | ^
[INFO] [stderr] warning: lib/minisat/minisat/core/Solver.cc:996:12: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
[INFO] [stderr] warning: 996 | printf("conflicts : %-12"PRIu64" (%.0f /sec)\n", conflicts , conflicts /cpu_time);
[INFO] [stderr] warning: | ^
[INFO] [stderr] warning: lib/minisat/minisat/core/Solver.cc:997:12: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
[INFO] [stderr] warning: 997 | printf("decisions : %-12"PRIu64" (%4.2f %% random) (%.0f /sec)\n", decisions, (float)rnd_decisions*100 / (float)decisions, decisions /cpu_time);
[INFO] [stderr] warning: | ^
[INFO] [stderr] warning: lib/minisat/minisat/core/Solver.cc:998:12: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
[INFO] [stderr] warning: 998 | printf("propagations : %-12"PRIu64" (%.0f /sec)\n", propagations, propagations/cpu_time);
[INFO] [stderr] warning: | ^
[INFO] [stderr] warning: lib/minisat/minisat/core/Solver.cc:999:12: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
[INFO] [stderr] warning: 999 | printf("conflict literals : %-12"PRIu64" (%4.2f %% deleted)\n", tot_literals, (max_literals - tot_literals)*100 / (double)max_literals);
[INFO] [stderr] warning: | ^
[INFO] [stderr] warning: In file included from lib/minisat/minisat/core/Solver.h:29,
[INFO] [stderr] warning: from lib/minisat/minisat/core/Solver.cc:26:
[INFO] [stderr] warning: lib/minisat/minisat/core/SolverTypes.h:55:16: error: friend declaration of 'Minisat::Lit mkLit(Minisat::Var, bool)' specifies default arguments and isn't a definition [-fpermissive]
[INFO] [stderr] warning: 55 | friend Lit mkLit(Var var, bool sign = false);
[INFO] [stderr] warning: | ^~~~~
[INFO] [stderr] warning: lib/minisat/minisat/core/SolverTypes.h:63:14: error: friend declaration of 'Minisat::Lit Minisat::mkLit(Minisat::Var, bool)' specifies default arguments and isn't the only declaration [-fpermissive]
[INFO] [stderr] warning: 63 | inline Lit mkLit (Var var, bool sign) { Lit p; p.x = var + var + (int)sign; return p; }
[INFO] [stderr] warning: | ^~~~~
[INFO] [stderr] warning: lib/minisat/minisat/core/SolverTypes.h:55:16: note: previous declaration of 'Minisat::Lit Minisat::mkLit(Minisat::Var, bool)'
[INFO] [stderr] warning: 55 | friend Lit mkLit(Var var, bool sign = false);
[INFO] [stderr] warning: | ^~~~~
[INFO] [stderr] warning: In file included from lib/minisat/minisat/mtl/Alg.h:24,
[INFO] [stderr] warning: from lib/minisat/minisat/core/Solver.cc:23:
[INFO] [stderr] warning: lib/minisat/minisat/mtl/Vec.h: In instantiation of 'void Minisat::vec<T, _Size>::capacity(Minisat::vec<T, _Size>::Size) [with T = Minisat::vec<Minisat::Solver::Watcher>; _Size = int; Minisat::vec<T, _Size>::Size = int]':
[INFO] [stderr] warning: lib/minisat/minisat/mtl/Vec.h:119:5: required from 'void Minisat::vec<T, _Size>::growTo(Minisat::vec<T, _Size>::Size) [with T = Minisat::vec<Minisat::Solver::Watcher>; _Size = int; Minisat::vec<T, _Size>::Size = int]'
[INFO] [stderr] warning: lib/minisat/minisat/mtl/IntMap.h:48:48: required from 'void Minisat::IntMap<K, V, MkIndex>::reserve(K) [with K = Minisat::Lit; V = Minisat::vec<Minisat::Solver::Watcher>; MkIndex = Minisat::MkIndexLit]'
[INFO] [stderr] warning: lib/minisat/minisat/core/SolverTypes.h:338:37: required from 'void Minisat::OccLists<K, Vec, Deleted, MkIndex>::init(const K&) [with K = Minisat::Lit; Vec = Minisat::vec<Minisat::Solver::Watcher>; Deleted = Minisat::Solver::WatcherDeleted; MkIndex = Minisat::MkIndexLit]'
[INFO] [stderr] warning: lib/minisat/minisat/core/Solver.cc:128:35: required from here
[INFO] [stderr] warning: lib/minisat/minisat/mtl/Vec.h:103:33: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec<Minisat::Solver::Watcher>'; use 'new' and 'delete' instead [-Wclass-memaccess]
[INFO] [stderr] warning: 103 | || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) )
[INFO] [stderr] warning: | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] warning: In file included from lib/minisat/minisat/mtl/Alg.h:24,
[INFO] [stderr] warning: from lib/minisat/minisat/core/Solver.cc:23:
[INFO] [stderr] warning: lib/minisat/minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec<Minisat::Solver::Watcher>' declared here
[INFO] [stderr] warning: 39 | class vec {
[INFO] [stderr] warning: | ^~~
[INFO] [stderr]
[INFO] [stderr] error: failed to run custom build command for `minisat v0.2.1 (/opt/rustwide/workdir)`
[INFO] [stderr]
[INFO] [stderr] Caused by:
[INFO] [stderr] process didn't exit successfully: `/opt/rustwide/target/debug/build/minisat-27e5c12c7ba1efe3/build-script-build` (exit status: 1)
[INFO] [stderr] --- stdout
[INFO] [stderr] TARGET = Some("x86_64-unknown-linux-gnu")
[INFO] [stderr] OPT_LEVEL = Some("0")
[INFO] [stderr] HOST = Some("x86_64-unknown-linux-gnu")
[INFO] [stderr] cargo:rerun-if-env-changed=CC_x86_64-unknown-linux-gnu
[INFO] [stderr] CC_x86_64-unknown-linux-gnu = None
[INFO] [stderr] cargo:rerun-if-env-changed=CC_x86_64_unknown_linux_gnu
[INFO] [stderr] CC_x86_64_unknown_linux_gnu = None
[INFO] [stderr] cargo:rerun-if-env-changed=HOST_CC
[INFO] [stderr] HOST_CC = None
[INFO] [stderr] cargo:rerun-if-env-changed=CC
[INFO] [stderr] CC = None
[INFO] [stderr] cargo:rerun-if-env-changed=CFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr] CFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr] cargo:rerun-if-env-changed=CFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr] CFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr] cargo:rerun-if-env-changed=HOST_CFLAGS
[INFO] [stderr] HOST_CFLAGS = None
[INFO] [stderr] cargo:rerun-if-env-changed=CFLAGS
[INFO] [stderr] CFLAGS = None
[INFO] [stderr] cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr] CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr] DEBUG = Some("true")
[INFO] [stderr] CARGO_CFG_TARGET_FEATURE = Some("fxsr,llvm14-builtins-abi,sse,sse2")
[INFO] [stderr] running: "cc" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "lib/minisat" "-Wall" "-Wextra" "-o" "/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/minisat-ac45a9f1772fea24/out/lib/minisat/minisat/core/Solver.o" "-c" "lib/minisat/minisat/core/Solver.cc"
[INFO] [stderr] cargo:warning=In file included from lib/minisat/minisat/core/Solver.h:28,
[INFO] [stderr] cargo:warning= from lib/minisat/minisat/core/Solver.cc:26:
[INFO] [stderr] cargo:warning=lib/minisat/minisat/utils/Options.h:285:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
[INFO] [stderr] cargo:warning= 285 | fprintf(stderr, "%4"PRIi64, range.begin);
[INFO] [stderr] cargo:warning= | ^
[INFO] [stderr] cargo:warning=lib/minisat/minisat/utils/Options.h:291:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
[INFO] [stderr] cargo:warning= 291 | fprintf(stderr, "%4"PRIi64, range.end);
[INFO] [stderr] cargo:warning= | ^
[INFO] [stderr] cargo:warning=lib/minisat/minisat/utils/Options.h:293:25: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
[INFO] [stderr] cargo:warning= 293 | fprintf(stderr, "] (default: %"PRIi64")\n", value);
[INFO] [stderr] cargo:warning= | ^
[INFO] [stderr] cargo:warning=lib/minisat/minisat/core/Solver.cc:995:12: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
[INFO] [stderr] cargo:warning= 995 | printf("restarts : %"PRIu64"\n", starts);
[INFO] [stderr] cargo:warning= | ^
[INFO] [stderr] cargo:warning=lib/minisat/minisat/core/Solver.cc:996:12: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
[INFO] [stderr] cargo:warning= 996 | printf("conflicts : %-12"PRIu64" (%.0f /sec)\n", conflicts , conflicts /cpu_time);
[INFO] [stderr] cargo:warning= | ^
[INFO] [stderr] cargo:warning=lib/minisat/minisat/core/Solver.cc:997:12: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
[INFO] [stderr] cargo:warning= 997 | printf("decisions : %-12"PRIu64" (%4.2f %% random) (%.0f /sec)\n", decisions, (float)rnd_decisions*100 / (float)decisions, decisions /cpu_time);
[INFO] [stderr] cargo:warning= | ^
[INFO] [stderr] cargo:warning=lib/minisat/minisat/core/Solver.cc:998:12: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
[INFO] [stderr] cargo:warning= 998 | printf("propagations : %-12"PRIu64" (%.0f /sec)\n", propagations, propagations/cpu_time);
[INFO] [stderr] cargo:warning= | ^
[INFO] [stderr] cargo:warning=lib/minisat/minisat/core/Solver.cc:999:12: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
[INFO] [stderr] cargo:warning= 999 | printf("conflict literals : %-12"PRIu64" (%4.2f %% deleted)\n", tot_literals, (max_literals - tot_literals)*100 / (double)max_literals);
[INFO] [stderr] cargo:warning= | ^
[INFO] [stderr] cargo:warning=In file included from lib/minisat/minisat/core/Solver.h:29,
[INFO] [stderr] cargo:warning= from lib/minisat/minisat/core/Solver.cc:26:
[INFO] [stderr] cargo:warning=lib/minisat/minisat/core/SolverTypes.h:55:16: error: friend declaration of 'Minisat::Lit mkLit(Minisat::Var, bool)' specifies default arguments and isn't a definition [-fpermissive]
[INFO] [stderr] cargo:warning= 55 | friend Lit mkLit(Var var, bool sign = false);
[INFO] [stderr] cargo:warning= | ^~~~~
[INFO] [stderr] cargo:warning=lib/minisat/minisat/core/SolverTypes.h:63:14: error: friend declaration of 'Minisat::Lit Minisat::mkLit(Minisat::Var, bool)' specifies default arguments and isn't the only declaration [-fpermissive]
[INFO] [stderr] cargo:warning= 63 | inline Lit mkLit (Var var, bool sign) { Lit p; p.x = var + var + (int)sign; return p; }
[INFO] [stderr] cargo:warning= | ^~~~~
[INFO] [stderr] cargo:warning=lib/minisat/minisat/core/SolverTypes.h:55:16: note: previous declaration of 'Minisat::Lit Minisat::mkLit(Minisat::Var, bool)'
[INFO] [stderr] cargo:warning= 55 | friend Lit mkLit(Var var, bool sign = false);
[INFO] [stderr] cargo:warning= | ^~~~~
[INFO] [stderr] cargo:warning=In file included from lib/minisat/minisat/mtl/Alg.h:24,
[INFO] [stderr] cargo:warning= from lib/minisat/minisat/core/Solver.cc:23:
[INFO] [stderr] cargo:warning=lib/minisat/minisat/mtl/Vec.h: In instantiation of 'void Minisat::vec<T, _Size>::capacity(Minisat::vec<T, _Size>::Size) [with T = Minisat::vec<Minisat::Solver::Watcher>; _Size = int; Minisat::vec<T, _Size>::Size = int]':
[INFO] [stderr] cargo:warning=lib/minisat/minisat/mtl/Vec.h:119:5: required from 'void Minisat::vec<T, _Size>::growTo(Minisat::vec<T, _Size>::Size) [with T = Minisat::vec<Minisat::Solver::Watcher>; _Size = int; Minisat::vec<T, _Size>::Size = int]'
[INFO] [stderr] cargo:warning=lib/minisat/minisat/mtl/IntMap.h:48:48: required from 'void Minisat::IntMap<K, V, MkIndex>::reserve(K) [with K = Minisat::Lit; V = Minisat::vec<Minisat::Solver::Watcher>; MkIndex = Minisat::MkIndexLit]'
[INFO] [stderr] cargo:warning=lib/minisat/minisat/core/SolverTypes.h:338:37: required from 'void Minisat::OccLists<K, Vec, Deleted, MkIndex>::init(const K&) [with K = Minisat::Lit; Vec = Minisat::vec<Minisat::Solver::Watcher>; Deleted = Minisat::Solver::WatcherDeleted; MkIndex = Minisat::MkIndexLit]'
[INFO] [stderr] cargo:warning=lib/minisat/minisat/core/Solver.cc:128:35: required from here
[INFO] [stderr] cargo:warning=lib/minisat/minisat/mtl/Vec.h:103:33: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec<Minisat::Solver::Watcher>'; use 'new' and 'delete' instead [-Wclass-memaccess]
[INFO] [stderr] cargo:warning= 103 | || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) )
[INFO] [stderr] cargo:warning= | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[INFO] [stderr] cargo:warning=In file included from lib/minisat/minisat/mtl/Alg.h:24,
[INFO] [stderr] cargo:warning= from lib/minisat/minisat/core/Solver.cc:23:
[INFO] [stderr] cargo:warning=lib/minisat/minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec<Minisat::Solver::Watcher>' declared here
[INFO] [stderr] cargo:warning= 39 | class vec {
[INFO] [stderr] cargo:warning= | ^~~
[INFO] [stderr] exit status: 1
[INFO] [stderr]
[INFO] [stderr] --- stderr
[INFO] [stderr]
[INFO] [stderr]
[INFO] [stderr] error occurred: Command "cc" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-gdwarf-4" "-fno-omit-frame-pointer" "-m64" "-I" "lib/minisat" "-Wall" "-Wextra" "-o" "/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/minisat-ac45a9f1772fea24/out/lib/minisat/minisat/core/Solver.o" "-c" "lib/minisat/minisat/core/Solver.cc" with args "cc" did not execute successfully (status code exit status: 1).
[INFO] [stderr]
[INFO] [stderr]
[INFO] running `Command { std: "docker" "inspect" "78a185397b9f9a3fa6b040239e4b80f5526279bb1e8f9b3c5d21163c797932af", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "78a185397b9f9a3fa6b040239e4b80f5526279bb1e8f9b3c5d21163c797932af", kill_on_drop: false }`
[INFO] [stdout] 78a185397b9f9a3fa6b040239e4b80f5526279bb1e8f9b3c5d21163c797932af