Build Information
Failed to build SafetySynth, reference 0.3.1 (5706b1), with Swift 6.2 for Wasm on 18 Jun 2025 00:38:03 UTC.
Build Command
bash -c docker run --pull=always --rm -v "checkouts-4609320-3":/host -w "$PWD" registry.gitlab.com/finestructure/spi-images:wasm-6.2-latest swift build --swift-sdk wasm32-unknown-wasi 2>&1Build Log
========================================
RunAll
========================================
Builder version: 4.64.0
Interrupt handler set up.
========================================
Checkout
========================================
Clone URL: https://github.com/ltentrup/safetysynth.git
Reference: 0.3.1
Initialized empty Git repository in /host/spi-builder-workspace/.git/
hint: Using 'master' as the name for the initial branch. This default branch name
hint: is subject to change. To configure the initial branch name to use in all
hint: of your new repositories, which will suppress this warning, call:
hint:
hint: git config --global init.defaultBranch <name>
hint:
hint: Names commonly chosen instead of 'master' are 'main', 'trunk' and
hint: 'development'. The just-created branch can be renamed via this command:
hint:
hint: git branch -m <name>
From https://github.com/ltentrup/safetysynth
* tag 0.3.1 -> FETCH_HEAD
HEAD is now at 5706b13 Fix Package description after update of dependencies
Cloned https://github.com/ltentrup/safetysynth.git
Revision (git rev-parse @):
5706b136de7a0cfed5b49ad7340d351530d43f1d
SUCCESS checkout https://github.com/ltentrup/safetysynth.git at 0.3.1
========================================
Build
========================================
Selected platform: wasm
Swift version: 6.2
Building package at path: $PWD
https://github.com/ltentrup/safetysynth.git
Running build ...
bash -c docker run --pull=always --rm -v "checkouts-4609320-3":/host -w "$PWD" registry.gitlab.com/finestructure/spi-images:wasm-6.2-latest swift build --swift-sdk wasm32-unknown-wasi 2>&1
wasm-6.2-latest: Pulling from finestructure/spi-images
Digest: sha256:44384f43f933eaa0f42803e9ef7c3d8388c5841ccc831a15a5edf63d8c273423
Status: Image is up to date for registry.gitlab.com/finestructure/spi-images:wasm-6.2-latest
Fetching https://github.com/ltentrup/Aiger.git
Fetching https://github.com/ltentrup/CUDD.git
Fetching https://github.com/ltentrup/CAiger.git
[1/180] Fetching cudd
[181/218] Fetching cudd, caiger
[219/270] Fetching cudd, caiger, aiger
Fetched https://github.com/ltentrup/Aiger.git from cache (0.23s)
Fetched https://github.com/ltentrup/CUDD.git from cache (0.23s)
Fetched https://github.com/ltentrup/CAiger.git from cache (0.23s)
Computing version for https://github.com/ltentrup/CAiger.git
Computed https://github.com/ltentrup/CAiger.git at 0.1.3 (0.62s)
Computing version for https://github.com/ltentrup/CUDD.git
Computed https://github.com/ltentrup/CUDD.git at 0.2.4 (0.40s)
Fetching https://github.com/ltentrup/CCUDD.git
[1/166] Fetching ccudd
Fetched https://github.com/ltentrup/CCUDD.git from cache (0.25s)
Computing version for https://github.com/ltentrup/CCUDD.git
Computed https://github.com/ltentrup/CCUDD.git at 1.0.2 (0.63s)
Computing version for https://github.com/ltentrup/Aiger.git
Computed https://github.com/ltentrup/Aiger.git at 0.2.4 (0.42s)
Creating working copy for https://github.com/ltentrup/CUDD.git
Working copy of https://github.com/ltentrup/CUDD.git resolved at 0.2.4
Creating working copy for https://github.com/ltentrup/Aiger.git
Working copy of https://github.com/ltentrup/Aiger.git resolved at 0.2.4
Creating working copy for https://github.com/ltentrup/CCUDD.git
Working copy of https://github.com/ltentrup/CCUDD.git resolved at 1.0.2
Creating working copy for https://github.com/ltentrup/CAiger.git
Working copy of https://github.com/ltentrup/CAiger.git resolved at 0.1.3
Building for debugging...
[0/90] Write sources
[5/90] Compiling CCUDD strsav.c
[5/90] Compiling CCUDD texpand.c
[7/90] Compiling CCUDD ucbqsort.c
[8/90] Compiling CCUDD cuddClip.c
[9/90] Write swift-version-24593BA9C3E375BF.txt
[10/90] Compiling CCUDD prtime.c
[11/90] Compiling CCUDD safe_mem.c
/host/spi-builder-workspace/.build/checkouts/CCUDD/Sources/CCUDD/pipefork.c:75:10: fatal error: 'sys/wait.h' file not found
75 | #include <sys/wait.h>
| ^~~~~~~~~~~~
1 error generated.
[12/90] Compiling CCUDD st.c
[13/90] Compiling CCUDD pipefork.c
/host/spi-builder-workspace/.build/checkouts/CAiger/Sources/CAiger/aiger.c:1858:14: error: call to undeclared function 'popen'; ISO C99 and later do not support implicit function declarations [-Wimplicit-function-declaration]
1858 | file = popen (cmd, "w");
| ^
/host/spi-builder-workspace/.build/checkouts/CAiger/Sources/CAiger/aiger.c:1858:14: note: did you mean 'fopen'?
/root/.swiftpm/swift-sdks/swift-6.2-DEVELOPMENT-SNAPSHOT-2025-05-30-a_wasm.artifactbundle/swift-6.2-DEVELOPMENT-SNAPSHOT-2025-05-30-a_wasm/wasm32-unknown-wasi/WASI.sdk/include/wasm32-wasi/stdio.h:83:7: note: 'fopen' declared here
83 | FILE *fopen(const char *__restrict, const char *__restrict);
| ^
/host/spi-builder-workspace/.build/checkouts/CAiger/Sources/CAiger/aiger.c:1858:12: error: incompatible integer to pointer conversion assigning to 'FILE *' (aka 'struct _IO_FILE *') from 'int' [-Wint-conversion]
1858 | file = popen (cmd, "w");
| ^ ~~~~~~~~~~~~~~~~
/host/spi-builder-workspace/.build/checkouts/CAiger/Sources/CAiger/aiger.c:1880:5: error: call to undeclared function 'pclose'; ISO C99 and later do not support implicit function declarations [-Wimplicit-function-declaration]
1880 | pclose (file);
| ^
/host/spi-builder-workspace/.build/checkouts/CAiger/Sources/CAiger/aiger.c:2614:14: error: call to undeclared function 'popen'; ISO C99 and later do not support implicit function declarations [-Wimplicit-function-declaration]
2614 | file = popen (cmd, "r");
| ^
/host/spi-builder-workspace/.build/checkouts/CAiger/Sources/CAiger/aiger.c:2614:12: error: incompatible integer to pointer conversion assigning to 'FILE *' (aka 'struct _IO_FILE *') from 'int' [-Wint-conversion]
2614 | file = popen (cmd, "r");
| ^ ~~~~~~~~~~~~~~~~
/host/spi-builder-workspace/.build/checkouts/CAiger/Sources/CAiger/aiger.c:2630:5: error: call to undeclared function 'pclose'; ISO C99 and later do not support implicit function declarations [-Wimplicit-function-declaration]
2630 | pclose (file);
| ^
[13/90] Compiling CAiger aiger.c
[13/90] Compiling CCUDD pathsearch.c
[13/90] Compiling CCUDD mtrGroup.c
[13/90] Compiling CCUDD epd.c
[13/90] Compiling CCUDD mtrBasic.c
[13/90] Compiling CCUDD datalimit.c
BUILD FAILURE 6.2 wasm