[INFO] cloning repository https://github.com/mlaveaux/merc-mbt
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/mlaveaux/merc-mbt" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmlaveaux%2Fmerc-mbt", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmlaveaux%2Fmerc-mbt'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] be8126da47dc1998451d1bdf62252d64aca9f263
[INFO] checking mlaveaux/merc-mbt against 3154cc1a3e6424e44f438a95007d043ed5ceaaf6+rustflags=-Znext-solver=coherence for pr-133502-30
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmlaveaux%2Fmerc-mbt" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/mlaveaux/merc-mbt
[INFO] finished tweaking git repo https://github.com/mlaveaux/merc-mbt
[INFO] tweaked toml for git repo https://github.com/mlaveaux/merc-mbt written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/mlaveaux/merc-mbt on toolchain 3154cc1a3e6424e44f438a95007d043ed5ceaaf6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/mlaveaux/merc-mbt 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" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: unused workspace dependency `tempfile`
[INFO] [stderr]   --> Cargo.toml:39:1
[INFO] [stderr]    |
[INFO] [stderr] 39 | tempfile = "3.27"
[INFO] [stderr]    | ^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_workspace_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the workspace dependency `tempfile`
[INFO] [stderr] warning: workspace (manifest) generated 1 warning
[INFO] [stderr]     Updating git repository `https://github.com/mlaveaux/oxidd`
[INFO] [stderr]     Updating git repository `https://github.com/mlaveaux/merc`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Updating git repository `https://github.com/MERCorg/mCRL2-sys`
[INFO] [stderr]     Updating git submodule `https://github.com/MERCorg/boost-include-only`
[INFO] [stderr]     Updating git submodule `https://github.com/jeremy-rifkin/cpptrace/`
[INFO] [stderr]     Updating git submodule `https://github.com/mCRL2org/mCRL2`
[INFO] [stderr]     Updating git repository `https://github.com/MERCorg/pest_consume`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded test-case v3.4.0
[INFO] [stderr]   Downloaded pest_derive v2.9.2
[INFO] [stderr]   Downloaded test-case-core v3.4.0
[INFO] [stderr]   Downloaded dashmap v7.0.0-rc2
[INFO] [stderr]   Downloaded test-case-macros v3.4.0
[INFO] [stderr]   Downloaded scratch v1.0.9
[INFO] [stderr]   Downloaded sptr v0.3.2
[INFO] [stderr]   Downloaded core_affinity2 v0.15.4
[INFO] [stderr]   Downloaded link-cplusplus v1.0.12
[INFO] [stderr]   Downloaded sigchld v0.2.5
[INFO] [stderr]   Downloaded libafl_core v0.15.4
[INFO] [stderr]   Downloaded cargo-emit v0.2.1
[INFO] [stderr]   Downloaded pest_generator v2.9.2
[INFO] [stderr]   Downloaded os_pipe v1.2.3
[INFO] [stderr]   Downloaded shared_thread v0.2.1
[INFO] [stderr]   Downloaded cxxbridge-flags v1.0.202
[INFO] [stderr]   Downloaded shared_child v1.1.2
[INFO] [stderr]   Downloaded dashu-base v0.4.3
[INFO] [stderr]   Downloaded duct v1.1.2
[INFO] [stderr]   Downloaded pest_meta v2.9.2
[INFO] [stderr]   Downloaded nanorand v0.8.0
[INFO] [stderr]   Downloaded num-modular v0.6.5
[INFO] [stderr]   Downloaded cxxbridge-macro v1.0.202
[INFO] [stderr]   Downloaded cxxbridge-cmd v1.0.202
[INFO] [stderr]   Downloaded allocator-api2 v0.4.0
[INFO] [stderr]   Downloaded cxx-build v1.0.202
[INFO] [stderr]   Downloaded zerocopy-derive v0.8.59
[INFO] [stderr]   Downloaded dashu-int v0.4.3
[INFO] [stderr]   Downloaded cxx v1.0.202
[INFO] [stderr]   Downloaded zerocopy v0.8.59
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] c3f0527814dbe431ce441dcfaa36187a330b64a7eba36102d783032f895a3c3a
[INFO] running `Command { std: "docker" "start" "c3f0527814dbe431ce441dcfaa36187a330b64a7eba36102d783032f895a3c3a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c3f0527814dbe431ce441dcfaa36187a330b64a7eba36102d783032f895a3c3a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "c3f0527814dbe431ce441dcfaa36187a330b64a7eba36102d783032f895a3c3a" "/opt/rustwide/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c3f0527814dbe431ce441dcfaa36187a330b64a7eba36102d783032f895a3c3a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Znext-solver=coherence" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-w" "/opt/rustwide/workdir" "--user" "0:0" "c3f0527814dbe431ce441dcfaa36187a330b64a7eba36102d783032f895a3c3a" "/opt/rustwide/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] warning: unused workspace dependency `tempfile`
[INFO] [stderr]   --> Cargo.toml:39:1
[INFO] [stderr]    |
[INFO] [stderr] 39 | tempfile = "3.27"
[INFO] [stderr]    | ^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::unused_workspace_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the workspace dependency `tempfile`
[INFO] [stderr] warning: workspace (manifest) generated 1 warning
[INFO] [stderr]    Compiling unicode-ident v1.0.26
[INFO] [stderr]     Checking cfg-if v1.0.5
[INFO] [stderr]     Checking rand_core v0.10.1
[INFO] [stderr]    Compiling getrandom v0.4.3
[INFO] [stderr]     Checking cpufeatures v0.3.1
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]     Checking regex-automata v0.4.18
[INFO] [stderr]     Checking log v0.4.34
[INFO] [stderr]     Checking smallvec v1.16.2
[INFO] [stderr]     Checking jiff-core v0.1.1
[INFO] [stderr]     Checking pest v2.9.2
[INFO] [stderr]     Checking bitflags v2.13.2
[INFO] [stderr]    Compiling rustix v1.1.5
[INFO] [stderr]    Compiling thiserror v2.0.21
[INFO] [stderr]     Checking no_std_io2 v0.9.4
[INFO] [stderr]     Checking foldhash v0.2.0
[INFO] [stderr]     Checking thread_local v1.1.10
[INFO] [stderr]    Compiling dashu-int v0.4.3
[INFO] [stderr]    Compiling proc-macro2 v1.0.107
[INFO] [stderr]     Checking chacha20 v0.10.2
[INFO] [stderr]    Compiling radium v0.7.0
[INFO] [stderr]     Checking bitstream-io v4.10.0
[INFO] [stderr]     Checking num-modular v0.6.5
[INFO] [stderr]     Checking tap v1.0.1
[INFO] [stderr]     Checking parking_lot_core v0.9.12
[INFO] [stderr]     Checking dashu-base v0.4.3
[INFO] [stderr]    Compiling clang-sys v1.9.1
[INFO] [stderr]     Checking wyz v0.5.1
[INFO] [stderr]     Checking itertools v0.15.0
[INFO] [stderr]     Checking rand v0.10.3
[INFO] [stderr]    Compiling jobserver v0.1.35
[INFO] [stderr]    Compiling quote v1.0.47
[INFO] [stderr]     Checking parking_lot v0.12.5
[INFO] [stderr]     Checking funty v2.0.0
[INFO] [stderr]    Compiling syn v3.0.6
[INFO] [stderr]    Compiling syn v2.0.119
[INFO] [stderr]    Compiling prettyplease v0.2.37
[INFO] [stderr]    Compiling cargo-emit v0.2.1
[INFO] [stderr]     Checking streaming-iterator v0.1.9
[INFO] [stderr]    Compiling find-msvc-tools v0.1.14
[INFO] [stderr]     Checking nanorand v0.8.0
[INFO] [stderr]     Checking hashbrown v0.17.1
[INFO] [stderr]    Compiling cc v1.5.1
[INFO] [stderr]    Compiling regex-syntax v0.8.11
[INFO] [stderr]     Checking num-integer v0.1.47
[INFO] [stderr]     Checking num-complex v0.4.6
[INFO] [stderr]    Compiling minimal-lexical v0.2.1
[INFO] [stderr]     Checking jiff v0.2.37
[INFO] [stderr]     Checking hashbrown v0.15.5
[INFO] [stderr]     Checking num-bigint v0.4.8
[INFO] [stderr]     Checking num-iter v0.1.46
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]     Checking bitvec v1.1.1
[INFO] [stderr]    Compiling libloading v0.8.9
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]    Compiling bindgen v0.72.1
[INFO] [stderr]    Compiling zerocopy v0.8.59
[INFO] [stderr]     Checking allocator-api2 v0.4.0
[INFO] [stderr]     Checking clap_lex v1.1.1
[INFO] [stderr]     Checking dashmap v7.0.0-rc2
[INFO] [stderr]    Compiling either v1.18.0
[INFO] [stderr]     Checking clap_builder v4.6.7
[INFO] [stderr]     Checking regex v1.13.1
[INFO] [stderr]    Compiling pest_meta v2.9.2
[INFO] [stderr]    Compiling itertools v0.13.0
[INFO] [stderr]     Checking num-rational v0.4.2
[INFO] [stderr]     Checking tempfile v3.27.0
[INFO] [stderr]     Checking env_filter v2.0.0
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]     Checking num v0.4.3
[INFO] [stderr]     Checking fixedbitset v0.5.7
[INFO] [stderr]     Checking getrandom v0.3.4
[INFO] [stderr]    Compiling indexmap v2.14.2
[INFO] [stderr]    Compiling scratch v1.0.9
[INFO] [stderr]     Checking sptr v0.3.2
[INFO] [stderr]     Checking errno v0.3.14
[INFO] [stderr]    Compiling signal-hook v0.4.4
[INFO] [stderr]     Checking typenum v1.20.1
[INFO] [stderr]    Compiling cxxbridge-flags v1.0.202
[INFO] [stderr]    Compiling termcolor v1.4.1
[INFO] [stderr]    Compiling link-cplusplus v1.0.12
[INFO] [stderr]    Compiling cxx v1.0.202
[INFO] [stderr]     Checking oxidd-core v0.12.0 (https://github.com/mlaveaux/oxidd?rev=b0e524d4ef974d715894abda5b4429b319ea7f62#b0e524d4)
[INFO] [stderr]    Compiling cexpr v0.6.0
[INFO] [stderr]    Compiling codespan-reporting v0.13.1
[INFO] [stderr]     Checking signal-hook-registry v1.4.8
[INFO] [stderr]     Checking hugealloc v0.1.1 (https://github.com/mlaveaux/oxidd?rev=b0e524d4ef974d715894abda5b4429b319ea7f62#b0e524d4)
[INFO] [stderr]     Checking zeroize v1.9.0
[INFO] [stderr]     Checking rustls-pki-types v1.15.1
[INFO] [stderr]     Checking linear-hashtbl v0.1.4 (https://github.com/mlaveaux/oxidd?rev=b0e524d4ef974d715894abda5b4429b319ea7f62#b0e524d4)
[INFO] [stderr]     Checking os_pipe v1.2.3
[INFO] [stderr]     Checking raw-cpuid v11.6.0
[INFO] [stderr]     Checking sigchld v0.2.5
[INFO] [stderr]     Checking const-oid v0.10.2
[INFO] [stderr]     Checking libafl_core v0.15.4
[INFO] [stderr]    Compiling merc_tools v2.0.0 (https://github.com/mlaveaux/merc?rev=b8266a94a998cddb8b4e524b0ec82b363a102880#b8266a94)
[INFO] [stderr]     Checking shared_child v1.1.2
[INFO] [stderr]     Checking oxidd-cache v0.12.0 (https://github.com/mlaveaux/oxidd?rev=b0e524d4ef974d715894abda5b4429b319ea7f62#b0e524d4)
[INFO] [stderr]     Checking oxidd-reorder v0.7.0 (https://github.com/mlaveaux/oxidd?rev=b0e524d4ef974d715894abda5b4429b319ea7f62#b0e524d4)
[INFO] [stderr]     Checking which v8.0.6
[INFO] [stderr]    Compiling rustls v0.23.45
[INFO] [stderr]     Checking shared_thread v0.2.1
[INFO] [stderr]     Checking rustls-webpki v0.103.15
[INFO] [stderr]     Checking webpki-roots v1.0.9
[INFO] [stderr]     Checking data-encoding v2.11.1
[INFO] [stderr]     Checking serde_json v1.0.151
[INFO] [stderr]     Checking shlex v2.0.1
[INFO] [stderr]     Checking duct v1.1.2
[INFO] [stderr]     Checking webpki-roots v0.26.11
[INFO] [stderr]     Checking hybrid-array v0.4.15
[INFO] [stderr]     Checking env_logger v0.11.11
[INFO] [stderr]     Checking merc_utilities v3.0.0 (https://github.com/mlaveaux/merc?rev=b8266a94a998cddb8b4e524b0ec82b363a102880#b8266a94)
[INFO] [stderr]     Checking merc_number v3.0.0 (https://github.com/mlaveaux/merc?rev=b8266a94a998cddb8b4e524b0ec82b363a102880#b8266a94)
[INFO] [stderr]     Checking crypto-common v0.2.2
[INFO] [stderr]     Checking block-buffer v0.12.1
[INFO] [stderr]    Compiling cxx-build v1.0.202
[INFO] [stderr]    Compiling test-case-core v3.4.0
[INFO] [stderr]    Compiling pest_generator v2.9.2
[INFO] [stderr]     Checking digest v0.11.3
[INFO] [stderr]    Compiling thiserror-impl v2.0.21
[INFO] [stderr]    Compiling merc_pest_consume_macros v2.1.0 (https://github.com/MERCorg/pest_consume#3e52337c)
[INFO] [stderr]    Compiling merc_macros v2.0.0 (https://github.com/mlaveaux/merc?rev=b8266a94a998cddb8b4e524b0ec82b363a102880#b8266a94)
[INFO] [stderr]    Compiling clap_derive v4.6.7
[INFO] [stderr]    Compiling serde_derive v1.0.229
[INFO] [stderr]    Compiling derive-where v1.7.0
[INFO] [stderr]    Compiling cxxbridge-macro v1.0.202
[INFO] [stderr]    Compiling delegate v0.13.5
[INFO] [stderr]    Compiling pest_derive v2.9.2
[INFO] [stderr]    Compiling oxidd-derive v0.12.0 (https://github.com/mlaveaux/oxidd?rev=b0e524d4ef974d715894abda5b4429b319ea7f62#b0e524d4)
[INFO] [stderr]     Checking quanta v0.12.6
[INFO] [stderr]    Compiling mcrl2-macros v1.0.0 (https://github.com/mlaveaux/merc?rev=b8266a94a998cddb8b4e524b0ec82b363a102880#b8266a94)
[INFO] [stderr]     Checking sha1 v0.11.0
[INFO] [stderr]    Compiling test-case-macros v3.4.0
[INFO] [stderr]     Checking sha2 v0.11.0
[INFO] [stderr]     Checking merc_pest_consume v2.1.0 (https://github.com/MERCorg/pest_consume#3e52337c)
[INFO] [stderr]     Checking oxidd-dump v0.7.0 (https://github.com/mlaveaux/oxidd?rev=b0e524d4ef974d715894abda5b4429b319ea7f62#b0e524d4)
[INFO] [stderr]     Checking merc_sharedmutex v3.0.0 (https://github.com/mlaveaux/merc?rev=b8266a94a998cddb8b4e524b0ec82b363a102880#b8266a94)
[INFO] [stderr]     Checking oxidd-rules-ldd v0.11.0 (https://github.com/mlaveaux/oxidd?rev=b0e524d4ef974d715894abda5b4429b319ea7f62#b0e524d4)
[INFO] [stderr]     Checking merc_io v3.0.0 (https://github.com/mlaveaux/merc?rev=b8266a94a998cddb8b4e524b0ec82b363a102880#b8266a94)
[INFO] [stderr]     Checking test-case v3.4.0
[INFO] [stderr]     Checking merc_collections v3.0.0 (https://github.com/mlaveaux/merc?rev=b8266a94a998cddb8b4e524b0ec82b363a102880#b8266a94)
[INFO] [stderr]     Checking arcslab v0.1.2 (https://github.com/mlaveaux/oxidd?rev=b0e524d4ef974d715894abda5b4429b319ea7f62#b0e524d4)
[INFO] [stderr]     Checking oxidd-manager-index v0.12.0 (https://github.com/mlaveaux/oxidd?rev=b0e524d4ef974d715894abda5b4429b319ea7f62#b0e524d4)
[INFO] [stderr]     Checking oxidd-rules-bdd v0.12.0 (https://github.com/mlaveaux/oxidd?rev=b0e524d4ef974d715894abda5b4429b319ea7f62#b0e524d4)
[INFO] [stderr]     Checking oxidd-rules-mtbdd v0.7.0 (https://github.com/mlaveaux/oxidd?rev=b0e524d4ef974d715894abda5b4429b319ea7f62#b0e524d4)
[INFO] [stderr]     Checking oxidd-rules-zbdd v0.12.0 (https://github.com/mlaveaux/oxidd?rev=b0e524d4ef974d715894abda5b4429b319ea7f62#b0e524d4)
[INFO] [stderr]     Checking oxidd-manager-pointer v0.7.0 (https://github.com/mlaveaux/oxidd?rev=b0e524d4ef974d715894abda5b4429b319ea7f62#b0e524d4)
[INFO] [stderr]     Checking merc_unsafety v3.0.0 (https://github.com/mlaveaux/merc?rev=b8266a94a998cddb8b4e524b0ec82b363a102880#b8266a94)
[INFO] [stderr]     Checking tungstenite v0.30.0
[INFO] [stderr]    Compiling mcrl2-sys v1.0.0 (https://github.com/MERCorg/mCRL2-sys?rev=6302f19246ba5ecfd16702226a1a70ed74022f58#6302f192)
[INFO] [stderr]     Checking merc_aterm v3.0.0 (https://github.com/mlaveaux/merc?rev=b8266a94a998cddb8b4e524b0ec82b363a102880#b8266a94)
[INFO] [stderr]     Checking clap v4.6.7
[INFO] [stderr]     Checking oxidd v0.12.0 (https://github.com/mlaveaux/oxidd?rev=b0e524d4ef974d715894abda5b4429b319ea7f62#b0e524d4)
[INFO] [stderr]     Checking merc_data v3.0.0 (https://github.com/mlaveaux/merc?rev=b8266a94a998cddb8b4e524b0ec82b363a102880#b8266a94)
[INFO] [stderr]     Checking serde v1.0.229
[INFO] [stderr]     Checking core_affinity2 v0.15.4
[INFO] [stderr] error: could not compile `cxxbridge-macro` (lib)
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/bin/rustc --crate-name cxxbridge_macro --edition=2024 /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/cxxbridge-macro-1.0.202/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat,unused-externs-silent --crate-type proc-macro --emit=dep-info,link -C prefer-dynamic -C embed-bitcode=no --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values())' -C metadata=f1e4f0d39e3586ac -C extra-filename=-af9d79fb3bbe970b --out-dir /opt/rustwide/target/debug/build/cxxbridge-macro/af9d79fb3bbe970b/out -L dependency=/opt/rustwide/target/debug/build/equivalent/e5e22d8b9df2b788/out -L dependency=/opt/rustwide/target/debug/build/hashbrown/7d1ecd9b8a4f5a9d/out -L dependency=/opt/rustwide/target/debug/build/proc-macro2/20bdc3a77064581d/out -L dependency=/opt/rustwide/target/debug/build/quote/3a16e58516e2bda1/out -L dependency=/opt/rustwide/target/debug/build/unicode-ident/589fe3d512c3022f/out --extern indexmap=/opt/rustwide/target/debug/build/indexmap/32234091e228f22a/out/libindexmap-32234091e228f22a.rlib --extern indexmap=/opt/rustwide/target/debug/build/indexmap/32234091e228f22a/out/libindexmap-32234091e228f22a.rmeta --extern proc_macro2=/opt/rustwide/target/debug/build/proc-macro2/20bdc3a77064581d/out/libproc_macro2-20bdc3a77064581d.rlib --extern proc_macro2=/opt/rustwide/target/debug/build/proc-macro2/20bdc3a77064581d/out/libproc_macro2-20bdc3a77064581d.rmeta --extern quote=/opt/rustwide/target/debug/build/quote/3a16e58516e2bda1/out/libquote-3a16e58516e2bda1.rlib --extern quote=/opt/rustwide/target/debug/build/quote/3a16e58516e2bda1/out/libquote-3a16e58516e2bda1.rmeta --extern syn=/opt/rustwide/target/debug/build/syn/0edfe24772d68d66/out/libsyn-0edfe24772d68d66.rlib --extern syn=/opt/rustwide/target/debug/build/syn/0edfe24772d68d66/out/libsyn-0edfe24772d68d66.rmeta --extern proc_macro --cap-lints allow --cap-lints=forbid -Znext-solver=coherence --force-warn=unused_crate_dependencies` (signal: 9, SIGKILL: kill)
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: could not compile `bindgen` (lib)
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/bin/rustc --crate-name bindgen --edition=2021 /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bindgen-0.72.1/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat,unused-externs-silent --crate-type lib --emit=dep-info,metadata,link -Z embed-metadata=no -C embed-bitcode=no --cfg 'feature="default"' --cfg 'feature="logging"' --cfg 'feature="prettyplease"' --cfg 'feature="runtime"' --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values("__cli", "__testing_only_extra_assertions", "__testing_only_libclang_16", "__testing_only_libclang_9", "default", "experimental", "logging", "prettyplease", "runtime", "static"))' -C metadata=ff0c839d1dad351e -C extra-filename=-cee23637ff2cf9eb --out-dir /opt/rustwide/target/debug/build/bindgen/cee23637ff2cf9eb/out -L dependency=/opt/rustwide/target/debug/build/cfg-if/5e3d9b588465c3ac/out -L dependency=/opt/rustwide/target/debug/build/either/1d721fb46a835324/out -L dependency=/opt/rustwide/target/debug/build/glob/2cb08d94636e3704/out -L dependency=/opt/rustwide/target/debug/build/libc/b5bacc663e2d03e8/out -L dependency=/opt/rustwide/target/debug/build/libloading/ae8e255d7bfcbf2e/out -L dependency=/opt/rustwide/target/debug/build/memchr/f66fc20702c794bf/out -L dependency=/opt/rustwide/target/debug/build/minimal-lexical/a2e9b44a13853c3c/out -L dependency=/opt/rustwide/target/debug/build/nom/204ff50d856c4bb8/out -L dependency=/opt/rustwide/target/debug/build/proc-macro2/20bdc3a77064581d/out -L dependency=/opt/rustwide/target/debug/build/quote/3a16e58516e2bda1/out -L dependency=/opt/rustwide/target/debug/build/regex-automata/75f6a34e300b9949/out -L dependency=/opt/rustwide/target/debug/build/regex-syntax/5e440a93a65a7636/out -L dependency=/opt/rustwide/target/debug/build/syn/3c7a89fc003b22eb/out -L dependency=/opt/rustwide/target/debug/build/unicode-ident/589fe3d512c3022f/out --extern bitflags=/opt/rustwide/target/debug/build/bitflags/794b00b9bd948c75/out/libbitflags-794b00b9bd948c75.rmeta --extern cexpr=/opt/rustwide/target/debug/build/cexpr/3855fdb03f0f4320/out/libcexpr-3855fdb03f0f4320.rmeta --extern clang_sys=/opt/rustwide/target/debug/build/clang-sys/acd01326447481f6/out/libclang_sys-acd01326447481f6.rmeta --extern itertools=/opt/rustwide/target/debug/build/itertools/5c38243151405fc5/out/libitertools-5c38243151405fc5.rmeta --extern log=/opt/rustwide/target/debug/build/log/ffb526e68bca6ca8/out/liblog-ffb526e68bca6ca8.rmeta --extern prettyplease=/opt/rustwide/target/debug/build/prettyplease/2847fbfe424ce72a/out/libprettyplease-2847fbfe424ce72a.rmeta --extern proc_macro2=/opt/rustwide/target/debug/build/proc-macro2/20bdc3a77064581d/out/libproc_macro2-20bdc3a77064581d.rmeta --extern quote=/opt/rustwide/target/debug/build/quote/3a16e58516e2bda1/out/libquote-3a16e58516e2bda1.rmeta --extern regex=/opt/rustwide/target/debug/build/regex/142f79f0199aef75/out/libregex-142f79f0199aef75.rmeta --extern rustc_hash=/opt/rustwide/target/debug/build/rustc-hash/abe09c5e2faef993/out/librustc_hash-abe09c5e2faef993.rmeta --extern shlex=/opt/rustwide/target/debug/build/shlex/ee297e8d08e13d1b/out/libshlex-ee297e8d08e13d1b.rmeta --extern syn=/opt/rustwide/target/debug/build/syn/3c7a89fc003b22eb/out/libsyn-3c7a89fc003b22eb.rmeta --cap-lints allow --cap-lints=forbid -Znext-solver=coherence --force-warn=unused_crate_dependencies` (signal: 9, SIGKILL: kill)
[INFO] [stderr] warning: mcrl2-sys@1.0.0: 3rd-party/mCRL2/3rd-party/dparser/dsymtab.c: In function 'new_D_Sym':
[INFO] [stderr] warning: mcrl2-sys@1.0.0: 3rd-party/mCRL2/3rd-party/dparser/dsymtab.c:271:20: warning: operand of '?:' changes signedness from 'long int' to 'size_t' {aka 'long unsigned int'} due to unsignedness of other operand [-Wsign-compare]
[INFO] [stderr] warning: mcrl2-sys@1.0.0:   271 |   uint len = end ? end - name : name ? strlen(name) : 0;
[INFO] [stderr] warning: mcrl2-sys@1.0.0:       |                    ^~~~~~~~~~
[INFO] [stderr] warning: mcrl2-sys@1.0.0: 3rd-party/mCRL2/3rd-party/dparser/dsymtab.c: In function 'find_D_Sym':
[INFO] [stderr] warning: mcrl2-sys@1.0.0: 3rd-party/mCRL2/3rd-party/dparser/dsymtab.c:341:20: warning: operand of '?:' changes signedness from 'long int' to 'size_t' {aka 'long unsigned int'} due to unsignedness of other operand [-Wsign-compare]
[INFO] [stderr] warning: mcrl2-sys@1.0.0:   341 |   uint len = end ? end - name : strlen(name);
[INFO] [stderr] warning: mcrl2-sys@1.0.0:       |                    ^~~~~~~~~~
[INFO] [stderr] warning: mcrl2-sys@1.0.0: 3rd-party/mCRL2/3rd-party/dparser/dsymtab.c: In function 'find_global_D_Sym':
[INFO] [stderr] warning: mcrl2-sys@1.0.0: 3rd-party/mCRL2/3rd-party/dparser/dsymtab.c:350:20: warning: operand of '?:' changes signedness from 'long int' to 'size_t' {aka 'long unsigned int'} due to unsignedness of other operand [-Wsign-compare]
[INFO] [stderr] warning: mcrl2-sys@1.0.0:   350 |   uint len = end ? end - name : strlen(name);
[INFO] [stderr] warning: mcrl2-sys@1.0.0:       |                    ^~~~~~~~~~
[INFO] [stderr] warning: mcrl2-sys@1.0.0: 3rd-party/mCRL2/3rd-party/dparser/dsymtab.c: In function 'find_D_Sym_in_Scope':
[INFO] [stderr] warning: mcrl2-sys@1.0.0: 3rd-party/mCRL2/3rd-party/dparser/dsymtab.c:360:20: warning: operand of '?:' changes signedness from 'long int' to 'size_t' {aka 'long unsigned int'} due to unsignedness of other operand [-Wsign-compare]
[INFO] [stderr] warning: mcrl2-sys@1.0.0:   360 |   uint len = end ? end - name : strlen(name);
[INFO] [stderr] warning: mcrl2-sys@1.0.0:       |                    ^~~~~~~~~~
[INFO] [stderr] warning: mcrl2-sys@1.0.0: 3rd-party/mCRL2/3rd-party/dparser/util.c: In function 'dup_str':
[INFO] [stderr] warning: mcrl2-sys@1.0.0: 3rd-party/mCRL2/3rd-party/dparser/util.c:28:15: warning: operand of '?:' changes signedness from 'long int' to 'size_t' {aka 'long unsigned int'} due to unsignedness of other operand [-Wsign-compare]
[INFO] [stderr] warning: mcrl2-sys@1.0.0:    28 |   int l = e ? e - s : strlen(s);
[INFO] [stderr] warning: mcrl2-sys@1.0.0:       |               ^~~~~
[INFO] [stderr] warning: mcrl2-sys@1.0.0: 3rd-party/mCRL2/3rd-party/dparser/parse.c: In function 'compare_priorities':
[INFO] [stderr] warning: mcrl2-sys@1.0.0: 3rd-party/mCRL2/3rd-party/dparser/parse.c:671:12: warning: comparison of integer expressions of different signedness: 'int' and 'uint' {aka 'unsigned int'} [-Wsign-compare]
[INFO] [stderr] warning: mcrl2-sys@1.0.0:   671 |   while (i < pvx->n && i < pvy->n) {
[INFO] [stderr] warning: mcrl2-sys@1.0.0:       |            ^
[INFO] [stderr] warning: mcrl2-sys@1.0.0: 3rd-party/mCRL2/3rd-party/dparser/parse.c:671:26: warning: comparison of integer expressions of different signedness: 'int' and 'uint' {aka 'unsigned int'} [-Wsign-compare]
[INFO] [stderr] warning: mcrl2-sys@1.0.0:   671 |   while (i < pvx->n && i < pvy->n) {
[INFO] [stderr] warning: mcrl2-sys@1.0.0:       |                          ^
[INFO] [stderr] warning: mcrl2-sys@1.0.0: 3rd-party/mCRL2/3rd-party/dparser/parse.c: In function 'commit_tree':
[INFO] [stderr] warning: mcrl2-sys@1.0.0: 3rd-party/mCRL2/3rd-party/dparser/parse.c:1574:108: warning: suggest braces around empty body in an 'if' statement [-Wempty-body]
[INFO] [stderr] warning: mcrl2-sys@1.0.0:  1574 |   if (pn->reduction) DBG(printf("commit %p (%s)\n", (void *)pn, p->t->symbols[pn->parse_node.symbol].name));
[INFO] [stderr] warning: mcrl2-sys@1.0.0:       |                                                                                                            ^
[INFO] [stderr] warning: mcrl2-sys@1.0.0: c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: mcrl2-sys@1.0.0: compilation terminated.
[INFO] [stderr] warning: mcrl2-sys@1.0.0: ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/72b3f6d99475acc7-pbes.rs.o" "-c" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/sources/mcrl2-sys/src/pbes.rs.cc"cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr] warning: mcrl2-sys@1.0.0: c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: mcrl2-sys@1.0.0: compilation terminated.
[INFO] [stderr] warning: mcrl2-sys@1.0.0: ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/72b3f6d99475acc7-data.rs.o" "-c" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/sources/mcrl2-sys/src/data.rs.cc"cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr] warning: mcrl2-sys@1.0.0: c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: mcrl2-sys@1.0.0: compilation terminated.
[INFO] [stderr] warning: mcrl2-sys@1.0.0: ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/72b3f6d99475acc7-lps.rs.o" "-c" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/sources/mcrl2-sys/src/lps.rs.cc"cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: mcrl2-sys@1.0.0: compilation terminated.
[INFO] [stderr] warning: mcrl2-sys@1.0.0: ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/af3607313802e6d0-aterm_implementation.o" "-c" "3rd-party/mCRL2/libraries/atermpp/source/aterm_implementation.cpp"cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: mcrl2-sys@1.0.0: compilation terminated.
[INFO] [stderr] warning: mcrl2-sys@1.0.0: ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/af3607313802e6d0-aterm_io_text.o" "-c" "3rd-party/mCRL2/libraries/atermpp/source/aterm_io_text.cpp"cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr] warning: mcrl2-sys@1.0.0: c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: mcrl2-sys@1.0.0: compilation terminated.
[INFO] [stderr] warning: mcrl2-sys@1.0.0: ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/af3607313802e6d0-aterm_io_binary.o" "-c" "3rd-party/mCRL2/libraries/atermpp/source/aterm_io_binary.cpp"cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr] warning: mcrl2-sys@1.0.0: c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: mcrl2-sys@1.0.0: compilation terminated.
[INFO] [stderr] warning: mcrl2-sys@1.0.0: ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/af3607313802e6d0-function_symbol.o" "-c" "3rd-party/mCRL2/libraries/atermpp/source/function_symbol.cpp"cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: mcrl2-sys@1.0.0: compilation terminated.
[INFO] [stderr] warning: mcrl2-sys@1.0.0: ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/af3607313802e6d0-gc_stress_thread.o" "-c" "3rd-party/mCRL2/libraries/atermpp/source/gc_stress_thread.cpp"cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr] warning: mcrl2-sys@1.0.0: c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: mcrl2-sys@1.0.0: compilation terminated.
[INFO] [stderr] warning: mcrl2-sys@1.0.0: ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/72b3f6d99475acc7-atermpp.rs.o" "-c" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/sources/mcrl2-sys/src/atermpp.rs.cc"cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr] warning: mcrl2-sys@1.0.0: c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: mcrl2-sys@1.0.0: compilation terminated.
[INFO] [stderr] warning: mcrl2-sys@1.0.0: ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/af3607313802e6d0-function_symbol_pool.o" "-c" "3rd-party/mCRL2/libraries/atermpp/source/function_symbol_pool.cpp"cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: mcrl2-sys@1.0.0: compilation terminated.
[INFO] [stderr] warning: mcrl2-sys@1.0.0: ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/99b97d298bb75286-machine_word.o" "-c" "3rd-party/mCRL2/libraries/data/source/machine_word.cpp"cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr] warning: mcrl2-sys@1.0.0: c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: mcrl2-sys@1.0.0: compilation terminated.
[INFO] [stderr] warning: mcrl2-sys@1.0.0: ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/f17a803c584ea211-core.o" "-c" "3rd-party/mCRL2/libraries/core/source/core.cpp"cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: mcrl2-sys@1.0.0: compilation terminated.
[INFO] [stderr] warning: mcrl2-sys@1.0.0: ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/99b97d298bb75286-data_io.o" "-c" "3rd-party/mCRL2/libraries/data/source/data_io.cpp"cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr] warning: mcrl2-sys@1.0.0: c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: mcrl2-sys@1.0.0: compilation terminated.
[INFO] [stderr] warning: mcrl2-sys@1.0.0: ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/99b97d298bb75286-data.o" "-c" "3rd-party/mCRL2/libraries/data/source/data.cpp"cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr] warning: mcrl2-sys@1.0.0: c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: mcrl2-sys@1.0.0: compilation terminated.
[INFO] [stderr] warning: mcrl2-sys@1.0.0: ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/99b97d298bb75286-data_specification.o" "-c" "3rd-party/mCRL2/libraries/data/source/data_specification.cpp"cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr] warning: mcrl2-sys@1.0.0: c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: mcrl2-sys@1.0.0: compilation terminated.
[INFO] [stderr] warning: mcrl2-sys@1.0.0: ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/99b97d298bb75286-typecheck.o" "-c" "3rd-party/mCRL2/libraries/data/source/typecheck.cpp"cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: mcrl2-sys@1.0.0: compilation terminated.
[INFO] [stderr] warning: mcrl2-sys@1.0.0: ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/70243a36147727ce-smt_lib_solver.o" "-c" "3rd-party/mCRL2/libraries/data/source/detail/prover/smt_lib_solver.cpp"cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: mcrl2-sys@1.0.0: compilation terminated.
[INFO] [stderr] warning: mcrl2-sys@1.0.0: ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/0378c2d06352a3bd-jitty.o" "-c" "3rd-party/mCRL2/libraries/data/source/detail/rewrite/jitty.cpp"cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr] warning: mcrl2-sys@1.0.0: c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: mcrl2-sys@1.0.0: compilation terminated.
[INFO] [stderr] warning: mcrl2-sys@1.0.0: ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/0378c2d06352a3bd-rewrite.o" "-c" "3rd-party/mCRL2/libraries/data/source/detail/rewrite/rewrite.cpp"cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: mcrl2-sys@1.0.0: compilation terminated.
[INFO] [stderr] warning: mcrl2-sys@1.0.0: ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/0e446c44f58b28df-lps.o" "-c" "3rd-party/mCRL2/libraries/lps/source/lps.cpp"cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr] warning: mcrl2-sys@1.0.0: c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: mcrl2-sys@1.0.0: compilation terminated.
[INFO] [stderr] warning: mcrl2-sys@1.0.0: ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/0378c2d06352a3bd-strategy.o" "-c" "3rd-party/mCRL2/libraries/data/source/detail/rewrite/strategy.cpp"cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: mcrl2-sys@1.0.0: compilation terminated.
[INFO] [stderr] warning: mcrl2-sys@1.0.0: ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/0e446c44f58b28df-lps_io.o" "-c" "3rd-party/mCRL2/libraries/lps/source/lps_io.cpp"cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: mcrl2-sys@1.0.0: compilation terminated.
[INFO] [stderr] warning: mcrl2-sys@1.0.0: ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/01b89b55abb474df-io.o" "-c" "3rd-party/mCRL2/libraries/pbes/source/io.cpp"cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr] warning: mcrl2-sys@1.0.0: c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: mcrl2-sys@1.0.0: compilation terminated.
[INFO] [stderr] warning: mcrl2-sys@1.0.0: ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/01b89b55abb474df-algorithms.o" "-c" "3rd-party/mCRL2/libraries/pbes/source/algorithms.cpp"cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: mcrl2-sys@1.0.0: compilation terminated.
[INFO] [stderr] warning: mcrl2-sys@1.0.0: ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/01b89b55abb474df-pbes_explorer.o" "-c" "3rd-party/mCRL2/libraries/pbes/source/pbes_explorer.cpp"cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: mcrl2-sys@1.0.0: compilation terminated.
[INFO] [stderr] warning: mcrl2-sys@1.0.0: ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/c81148c7fe79488d-process.o" "-c" "3rd-party/mCRL2/libraries/process/source/process.cpp"cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: mcrl2-sys@1.0.0: compilation terminated.
[INFO] [stderr] warning: mcrl2-sys@1.0.0: ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/01b89b55abb474df-pbes.o" "-c" "3rd-party/mCRL2/libraries/pbes/source/pbes.cpp"cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: mcrl2-sys@1.0.0: compilation terminated.
[INFO] [stderr] warning: mcrl2-sys@1.0.0: ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/01b89b55abb474df-pgsolver.o" "-c" "3rd-party/mCRL2/libraries/pbes/source/pgsolver.cpp"cargo:warning=Assembler messages:
[INFO] [stderr] warning: mcrl2-sys@1.0.0: {standard input}:96529: Warning: end of file not at end of a line; newline inserted
[INFO] [stderr] warning: mcrl2-sys@1.0.0: {standard input}: Error: invalid operands (.text._ZNKSt6vectorISt4pairIlS_INSt7__cxx119sub_matchIN9__gnu_cxx17__normal_iteratorIPKcNS1_12basic_stringIcSt11char_traitsIcESaIcEEEEEEESaISD_EEESaISG_EE8max_sizeEv and *UND* sections) for `-'
[INFO] [stderr] warning: mcrl2-sys@1.0.0: {standard input}: Error: .size expression for _ZNKSt6vectorISt4pairIlS_INSt7__cxx119sub_matchIN9__gnu_cxx17__normal_iteratorIPKcNS1_12basic_stringIcSt11char_traitsIcESaIcEEEEEEESaISD_EEESaISG_EE8max_sizeEv does not evaluate to a constant
[INFO] [stderr] warning: mcrl2-sys@1.0.0: c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: mcrl2-sys@1.0.0: compilation terminated.
[INFO] [stderr] warning: mcrl2-sys@1.0.0: ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/709bdfe55f0e65c2-text_utility.o" "-c" "3rd-party/mCRL2/libraries/utilities/source/text_utility.cpp"cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: mcrl2-sys@1.0.0: compilation terminated.
[INFO] [stderr] warning: mcrl2-sys@1.0.0: ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/5811b530fb0dbdaf-lps.o" "-c" "cpp/lps.cpp"cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: mcrl2-sys@1.0.0: compilation terminated.
[INFO] [stderr] warning: mcrl2-sys@1.0.0: ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/5811b530fb0dbdaf-pbes.o" "-c" "cpp/pbes.cpp"cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr] warning: mcrl2-sys@1.0.0: compilation terminated.
[INFO] [stderr] warning: mcrl2-sys@1.0.0: ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/5811b530fb0dbdaf-data.o" "-c" "cpp/data.cpp"
[INFO] [stderr] error: failed to run custom build command for `mcrl2-sys v1.0.0 (https://github.com/MERCorg/mCRL2-sys?rev=6302f19246ba5ecfd16702226a1a70ed74022f58#6302f192)`
[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/mcrl2-sys/31d6e5b7a0b1d2e8/out/build_script_build` (exit status: 1)
[INFO] [stderr]   --- stdout
[INFO] [stderr]   cargo:rerun-if-env-changed=CC_FORCE_DISABLE
[INFO] [stderr]   CC_FORCE_DISABLE = 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=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=CC_ENABLE_DEBUG_OUTPUT
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CFLAGS
[INFO] [stderr]   CFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CFLAGS
[INFO] [stderr]   HOST_CFLAGS = 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=CFLAGS
[INFO] [stderr]   CFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CFLAGS
[INFO] [stderr]   HOST_CFLAGS = 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=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CFLAGS
[INFO] [stderr]   CFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CFLAGS
[INFO] [stderr]   HOST_CFLAGS = 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=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CFLAGS
[INFO] [stderr]   CFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CFLAGS
[INFO] [stderr]   HOST_CFLAGS = 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=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CFLAGS
[INFO] [stderr]   CFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CFLAGS
[INFO] [stderr]   HOST_CFLAGS = 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=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=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CFLAGS
[INFO] [stderr]   CFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CFLAGS
[INFO] [stderr]   HOST_CFLAGS = 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=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=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CFLAGS
[INFO] [stderr]   CFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CFLAGS
[INFO] [stderr]   HOST_CFLAGS = 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=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=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CFLAGS
[INFO] [stderr]   CFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CFLAGS
[INFO] [stderr]   HOST_CFLAGS = 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=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=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CFLAGS
[INFO] [stderr]   CFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CFLAGS
[INFO] [stderr]   HOST_CFLAGS = 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=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=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CFLAGS
[INFO] [stderr]   CFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CFLAGS
[INFO] [stderr]   HOST_CFLAGS = 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=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=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CFLAGS
[INFO] [stderr]   CFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CFLAGS
[INFO] [stderr]   HOST_CFLAGS = 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:warning=3rd-party/mCRL2/3rd-party/dparser/dsymtab.c: In function 'new_D_Sym':
[INFO] [stderr]   cargo:warning=3rd-party/mCRL2/3rd-party/dparser/dsymtab.c:271:20: warning: operand of '?:' changes signedness from 'long int' to 'size_t' {aka 'long unsigned int'} due to unsignedness of other operand [-Wsign-compare]
[INFO] [stderr]   cargo:warning=  271 |   uint len = end ? end - name : name ? strlen(name) : 0;
[INFO] [stderr]   cargo:warning=      |                    ^~~~~~~~~~
[INFO] [stderr]   cargo:warning=3rd-party/mCRL2/3rd-party/dparser/dsymtab.c: In function 'find_D_Sym':
[INFO] [stderr]   cargo:warning=3rd-party/mCRL2/3rd-party/dparser/dsymtab.c:341:20: warning: operand of '?:' changes signedness from 'long int' to 'size_t' {aka 'long unsigned int'} due to unsignedness of other operand [-Wsign-compare]
[INFO] [stderr]   cargo:warning=  341 |   uint len = end ? end - name : strlen(name);
[INFO] [stderr]   cargo:warning=      |                    ^~~~~~~~~~
[INFO] [stderr]   cargo:warning=3rd-party/mCRL2/3rd-party/dparser/dsymtab.c: In function 'find_global_D_Sym':
[INFO] [stderr]   cargo:warning=3rd-party/mCRL2/3rd-party/dparser/dsymtab.c:350:20: warning: operand of '?:' changes signedness from 'long int' to 'size_t' {aka 'long unsigned int'} due to unsignedness of other operand [-Wsign-compare]
[INFO] [stderr]   cargo:warning=  350 |   uint len = end ? end - name : strlen(name);
[INFO] [stderr]   cargo:warning=      |                    ^~~~~~~~~~
[INFO] [stderr]   cargo:warning=3rd-party/mCRL2/3rd-party/dparser/dsymtab.c: In function 'find_D_Sym_in_Scope':
[INFO] [stderr]   cargo:warning=3rd-party/mCRL2/3rd-party/dparser/dsymtab.c:360:20: warning: operand of '?:' changes signedness from 'long int' to 'size_t' {aka 'long unsigned int'} due to unsignedness of other operand [-Wsign-compare]
[INFO] [stderr]   cargo:warning=  360 |   uint len = end ? end - name : strlen(name);
[INFO] [stderr]   cargo:warning=      |                    ^~~~~~~~~~
[INFO] [stderr]   cargo:warning=3rd-party/mCRL2/3rd-party/dparser/util.c: In function 'dup_str':
[INFO] [stderr]   cargo:warning=3rd-party/mCRL2/3rd-party/dparser/util.c:28:15: warning: operand of '?:' changes signedness from 'long int' to 'size_t' {aka 'long unsigned int'} due to unsignedness of other operand [-Wsign-compare]
[INFO] [stderr]   cargo:warning=   28 |   int l = e ? e - s : strlen(s);
[INFO] [stderr]   cargo:warning=      |               ^~~~~
[INFO] [stderr]   cargo:warning=3rd-party/mCRL2/3rd-party/dparser/parse.c: In function 'compare_priorities':
[INFO] [stderr]   cargo:warning=3rd-party/mCRL2/3rd-party/dparser/parse.c:671:12: warning: comparison of integer expressions of different signedness: 'int' and 'uint' {aka 'unsigned int'} [-Wsign-compare]
[INFO] [stderr]   cargo:warning=  671 |   while (i < pvx->n && i < pvy->n) {
[INFO] [stderr]   cargo:warning=      |            ^
[INFO] [stderr]   cargo:warning=3rd-party/mCRL2/3rd-party/dparser/parse.c:671:26: warning: comparison of integer expressions of different signedness: 'int' and 'uint' {aka 'unsigned int'} [-Wsign-compare]
[INFO] [stderr]   cargo:warning=  671 |   while (i < pvx->n && i < pvy->n) {
[INFO] [stderr]   cargo:warning=      |                          ^
[INFO] [stderr]   cargo:warning=3rd-party/mCRL2/3rd-party/dparser/parse.c: In function 'commit_tree':
[INFO] [stderr]   cargo:warning=3rd-party/mCRL2/3rd-party/dparser/parse.c:1574:108: warning: suggest braces around empty body in an 'if' statement [-Wempty-body]
[INFO] [stderr]   cargo:warning= 1574 |   if (pn->reduction) DBG(printf("commit %p (%s)\n", (void *)pn, p->t->symbols[pn->parse_node.symbol].name));
[INFO] [stderr]   cargo:warning=      |                                                                                                            ^
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   cargo:rerun-if-env-changed=AR_x86_64-unknown-linux-gnu
[INFO] [stderr]   AR_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=AR_x86_64_unknown_linux_gnu
[INFO] [stderr]   AR_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_AR
[INFO] [stderr]   HOST_AR = None
[INFO] [stderr]   cargo:rerun-if-env-changed=AR
[INFO] [stderr]   AR = None
[INFO] [stderr]   cargo:rerun-if-env-changed=ARFLAGS
[INFO] [stderr]   ARFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_ARFLAGS
[INFO] [stderr]   HOST_ARFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=ARFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   ARFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=ARFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   ARFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=AR_x86_64-unknown-linux-gnu
[INFO] [stderr]   AR_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=AR_x86_64_unknown_linux_gnu
[INFO] [stderr]   AR_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_AR
[INFO] [stderr]   HOST_AR = None
[INFO] [stderr]   cargo:rerun-if-env-changed=AR
[INFO] [stderr]   AR = None
[INFO] [stderr]   cargo:rerun-if-env-changed=ARFLAGS
[INFO] [stderr]   ARFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_ARFLAGS
[INFO] [stderr]   HOST_ARFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=ARFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   ARFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=ARFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   ARFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rustc-link-lib=static=dparser
[INFO] [stderr]   cargo:rustc-link-search=native=/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out
[INFO] [stderr]   cargo:rerun-if-changed=src/atermpp.rs
[INFO] [stderr]   cargo:rerun-if-changed=src/data.rs
[INFO] [stderr]   cargo:rerun-if-changed=src/pbes.rs
[INFO] [stderr]   cargo:rerun-if-changed=src/lps.rs
[INFO] [stderr]   cargo:rerun-if-changed=src/log.rs
[INFO] [stderr]   cargo:CXXBRIDGE_PREFIX=mcrl2-sys
[INFO] [stderr]   cargo:CXXBRIDGE_LINKS=mcrl2
[INFO] [stderr]   cargo:CXXBRIDGE_DIR0=/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include
[INFO] [stderr]   cargo:CXXBRIDGE_DIR1=/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate
[INFO] [stderr]   cargo:rerun-if-env-changed=CC_FORCE_DISABLE
[INFO] [stderr]   CC_FORCE_DISABLE = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CC_ENABLE_DEBUG_OUTPUT
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/72b3f6d99475acc7-pbes.rs.o" "-c" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/sources/mcrl2-sys/src/pbes.rs.cc"cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/72b3f6d99475acc7-data.rs.o" "-c" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/sources/mcrl2-sys/src/data.rs.cc"cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/72b3f6d99475acc7-lps.rs.o" "-c" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/sources/mcrl2-sys/src/lps.rs.cc"cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/af3607313802e6d0-aterm_implementation.o" "-c" "3rd-party/mCRL2/libraries/atermpp/source/aterm_implementation.cpp"cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/af3607313802e6d0-aterm_io_text.o" "-c" "3rd-party/mCRL2/libraries/atermpp/source/aterm_io_text.cpp"cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/af3607313802e6d0-aterm_io_binary.o" "-c" "3rd-party/mCRL2/libraries/atermpp/source/aterm_io_binary.cpp"cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/af3607313802e6d0-function_symbol.o" "-c" "3rd-party/mCRL2/libraries/atermpp/source/function_symbol.cpp"cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/af3607313802e6d0-gc_stress_thread.o" "-c" "3rd-party/mCRL2/libraries/atermpp/source/gc_stress_thread.cpp"cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/72b3f6d99475acc7-atermpp.rs.o" "-c" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/sources/mcrl2-sys/src/atermpp.rs.cc"cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/af3607313802e6d0-function_symbol_pool.o" "-c" "3rd-party/mCRL2/libraries/atermpp/source/function_symbol_pool.cpp"cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/99b97d298bb75286-machine_word.o" "-c" "3rd-party/mCRL2/libraries/data/source/machine_word.cpp"cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/f17a803c584ea211-core.o" "-c" "3rd-party/mCRL2/libraries/core/source/core.cpp"cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/99b97d298bb75286-data_io.o" "-c" "3rd-party/mCRL2/libraries/data/source/data_io.cpp"cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/99b97d298bb75286-data.o" "-c" "3rd-party/mCRL2/libraries/data/source/data.cpp"cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/99b97d298bb75286-data_specification.o" "-c" "3rd-party/mCRL2/libraries/data/source/data_specification.cpp"cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/99b97d298bb75286-typecheck.o" "-c" "3rd-party/mCRL2/libraries/data/source/typecheck.cpp"cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/70243a36147727ce-smt_lib_solver.o" "-c" "3rd-party/mCRL2/libraries/data/source/detail/prover/smt_lib_solver.cpp"cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/0378c2d06352a3bd-jitty.o" "-c" "3rd-party/mCRL2/libraries/data/source/detail/rewrite/jitty.cpp"cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/0378c2d06352a3bd-rewrite.o" "-c" "3rd-party/mCRL2/libraries/data/source/detail/rewrite/rewrite.cpp"cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/0e446c44f58b28df-lps.o" "-c" "3rd-party/mCRL2/libraries/lps/source/lps.cpp"cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/0378c2d06352a3bd-strategy.o" "-c" "3rd-party/mCRL2/libraries/data/source/detail/rewrite/strategy.cpp"cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/0e446c44f58b28df-lps_io.o" "-c" "3rd-party/mCRL2/libraries/lps/source/lps_io.cpp"cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/01b89b55abb474df-io.o" "-c" "3rd-party/mCRL2/libraries/pbes/source/io.cpp"cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXX_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXX_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXX
[INFO] [stderr]   HOST_CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXX
[INFO] [stderr]   CXX = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CRATE_CC_NO_DEFAULTS
[INFO] [stderr]   CRATE_CC_NO_DEFAULTS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS
[INFO] [stderr]   CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=HOST_CXXFLAGS
[INFO] [stderr]   HOST_CXXFLAGS = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64_unknown_linux_gnu
[INFO] [stderr]   CXXFLAGS_x86_64_unknown_linux_gnu = None
[INFO] [stderr]   cargo:rerun-if-env-changed=CXXFLAGS_x86_64-unknown-linux-gnu
[INFO] [stderr]   CXXFLAGS_x86_64-unknown-linux-gnu = None
[INFO] [stderr]   cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 0
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/01b89b55abb474df-algorithms.o" "-c" "3rd-party/mCRL2/libraries/pbes/source/algorithms.cpp"cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/01b89b55abb474df-pbes_explorer.o" "-c" "3rd-party/mCRL2/libraries/pbes/source/pbes_explorer.cpp"cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/c81148c7fe79488d-process.o" "-c" "3rd-party/mCRL2/libraries/process/source/process.cpp"cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/01b89b55abb474df-pbes.o" "-c" "3rd-party/mCRL2/libraries/pbes/source/pbes.cpp"cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/01b89b55abb474df-pgsolver.o" "-c" "3rd-party/mCRL2/libraries/pbes/source/pgsolver.cpp"cargo:warning=Assembler messages:
[INFO] [stderr]   cargo:warning={standard input}:96529: Warning: end of file not at end of a line; newline inserted
[INFO] [stderr]   cargo:warning={standard input}: Error: invalid operands (.text._ZNKSt6vectorISt4pairIlS_INSt7__cxx119sub_matchIN9__gnu_cxx17__normal_iteratorIPKcNS1_12basic_stringIcSt11char_traitsIcESaIcEEEEEEESaISD_EEESaISG_EE8max_sizeEv and *UND* sections) for `-'
[INFO] [stderr]   cargo:warning={standard input}: Error: .size expression for _ZNKSt6vectorISt4pairIlS_INSt7__cxx119sub_matchIN9__gnu_cxx17__normal_iteratorIPKcNS1_12basic_stringIcSt11char_traitsIcESaIcEEEEEEESaISD_EEESaISG_EE8max_sizeEv does not evaluate to a constant
[INFO] [stderr]   cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/709bdfe55f0e65c2-text_utility.o" "-c" "3rd-party/mCRL2/libraries/utilities/source/text_utility.cpp"cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/5811b530fb0dbdaf-lps.o" "-c" "cpp/lps.cpp"cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/5811b530fb0dbdaf-pbes.o" "-c" "cpp/pbes.cpp"cargo:warning=c++: fatal error: Killed signal terminated program cc1plus
[INFO] [stderr]   cargo:warning=compilation terminated.
[INFO] [stderr] 
[INFO] [stderr]   exit status: 1
[INFO] [stderr]   cargo:warning=ToolExecError: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/5811b530fb0dbdaf-data.o" "-c" "cpp/data.cpp"
[INFO] [stderr] 
[INFO] [stderr]   --- stderr
[INFO] [stderr] 
[INFO] [stderr]   CXX include path:
[INFO] [stderr]     /opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include
[INFO] [stderr]     /opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] [stderr]   error occurred in cc-rs: command did not execute successfully (status code exit status: 1): LC_ALL="C" "c++" "-O0" "-ffunction-sections" "-fdata-sections" "-fPIC" "-g" "-gdwarf-4" "-fno-omit-frame-pointer" "-mno-omit-leaf-frame-pointer" "-m64" "-std=c++20" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/include" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/cxxbridge/crate" "-I" "3rd-party/mCRL2/3rd-party/dparser/" "-I" "3rd-party/mCRL2/libraries/atermpp/include" "-I" "3rd-party/mCRL2/libraries/core/include" "-I" "3rd-party/mCRL2/libraries/data/include" "-I" "3rd-party/mCRL2/libraries/lps/include" "-I" "3rd-party/mCRL2/libraries/pbes/include" "-I" "3rd-party/mCRL2/libraries/process/include" "-I" "3rd-party/mCRL2/libraries/symbolic/include" "-I" "3rd-party/mCRL2/libraries/utilities/include" "-I" "3rd-party/mCRL2-workarounds/include" "-I" "3rd-party/boost-include-only/" "-I" "dparser" "-I" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/include" "-Wall" "-Wextra" "-Wno-unused-parameter" "-pipe" "-pedantic" "-ftrapv" "-fstack-protector-strong" "-fstack-clash-protection" "-fstrict-flex-arrays=3" "-DMCRL2_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DLPS_NO_RECURSIVE_SOUNDNESS_CHECKS=1" "-DMERC_MCRL2_VERSION=\"internal_merc_build\"" "-DMCRL2_ENABLE_MULTITHREADING=1" "-DMCRL2_ENABLE_MACHINENUMBERS=1" "-D_LIBCPP_DEBUG=1" "-D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1" "-D_LIBCPP_HARDENING_MODE=_LIBCPP_HARDENING_MODE_DEBUG" "-D_GLIBCXX_ASSERTIONS=1" "-o" "/opt/rustwide/target/debug/build/mcrl2-sys/b41d36e06d975010/out/5811b530fb0dbdaf-data.o" "-c" "cpp/data.cpp"
[INFO] [stderr] 
[INFO] [stderr] 
[INFO] running `Command { std: "docker" "inspect" "c3f0527814dbe431ce441dcfaa36187a330b64a7eba36102d783032f895a3c3a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c3f0527814dbe431ce441dcfaa36187a330b64a7eba36102d783032f895a3c3a", kill_on_drop: false }`
[INFO] [stdout] c3f0527814dbe431ce441dcfaa36187a330b64a7eba36102d783032f895a3c3a
