Swift Package IndexBuild Information
Failed to build SafetySynth, reference 0.3.1 (5706b1), with Swift 6.1 for Wasm on 27 May 2025 12:20:20 UTC.
Build Command
bash -c docker run --pull=always --rm -v "checkouts-4606859-3":/host -w "$PWD" registry.gitlab.com/finestructure/spi-images:wasm-6.1-latest swift build --swift-sdk wasm32-unknown-wasi 2>&1Build Log
========================================
RunAll
========================================
Builder version: 4.63.1
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.1
Building package at path: $PWD
https://github.com/ltentrup/safetysynth.git
https://github.com/ltentrup/safetysynth.git
WARNING: environment variable SUPPRESS_SWIFT_6_FLAGS is not set
{
"dependencies" : [
{
"identity" : "caiger",
"requirement" : {
"range" : [
{
"lower_bound" : "0.1.0",
"upper_bound" : "1.0.0"
}
]
},
"type" : "sourceControl",
"url" : "https://github.com/ltentrup/CAiger.git"
},
{
"identity" : "aiger",
"requirement" : {
"range" : [
{
"lower_bound" : "0.2.0",
"upper_bound" : "1.0.0"
}
]
},
"type" : "sourceControl",
"url" : "https://github.com/ltentrup/Aiger.git"
},
{
"identity" : "cudd",
"requirement" : {
"range" : [
{
"lower_bound" : "0.2.0",
"upper_bound" : "1.0.0"
}
]
},
"type" : "sourceControl",
"url" : "https://github.com/ltentrup/CUDD.git"
}
],
"manifest_display_name" : "SafetySynth",
"name" : "SafetySynth",
"path" : "/host/spi-builder-workspace",
"platforms" : [
],
"products" : [
{
"name" : "SafetySynth",
"targets" : [
"SafetySynth"
],
"type" : {
"executable" : null
}
},
{
"name" : "SafetyGameSolver",
"targets" : [
"SafetyGameSolver"
],
"type" : {
"library" : [
"automatic"
]
}
}
],
"targets" : [
{
"c99name" : "SafetySynth",
"module_type" : "SwiftTarget",
"name" : "SafetySynth",
"path" : "Sources/SafetySynth",
"product_memberships" : [
"SafetySynth"
],
"sources" : [
"main.swift"
],
"target_dependencies" : [
"SafetyGameSolver"
],
"type" : "executable"
},
{
"c99name" : "SafetyGameSolver",
"module_type" : "SwiftTarget",
"name" : "SafetyGameSolver",
"path" : "Sources/SafetyGameSolver",
"product_dependencies" : [
"CAiger",
"CAigerHelper",
"CUDD",
"Aiger"
],
"product_memberships" : [
"SafetySynth",
"SafetyGameSolver"
],
"sources" : [
"AigerHelper.swift",
"AigerSafetyGame.swift",
"SafetyGameSolver.swift"
],
"type" : "library"
}
],
"tools_version" : "4.0"
}
Running build ...
bash -c docker run --pull=always --rm -v "checkouts-4606859-3":/host -w "$PWD" registry.gitlab.com/finestructure/spi-images:wasm-6.1-latest swift build --swift-sdk wasm32-unknown-wasi -Xswiftc -Xfrontend -Xswiftc -stats-output-dir -Xswiftc -Xfrontend -Xswiftc .stats -Xswiftc -strict-concurrency=complete -Xswiftc -enable-upcoming-feature -Xswiftc StrictConcurrency -Xswiftc -enable-upcoming-feature -Xswiftc DisableOutwardActorInference -Xswiftc -enable-upcoming-feature -Xswiftc GlobalActorIsolatedTypesUsability -Xswiftc -enable-upcoming-feature -Xswiftc InferSendableFromCaptures 2>&1
wasm-6.1-latest: Pulling from finestructure/spi-images
Digest: sha256:059e0fdbe549369b902c0d423739510ddee50a4a70258d1404125eb9394ef31c
Status: Image is up to date for registry.gitlab.com/finestructure/spi-images:wasm-6.1-latest
Fetching https://github.com/ltentrup/CAiger.git
Fetching https://github.com/ltentrup/Aiger.git
Fetching https://github.com/ltentrup/CUDD.git
[1/180] Fetching cudd
[171/218] Fetching cudd, caiger
[189/270] Fetching cudd, caiger, aiger
Fetched https://github.com/ltentrup/CAiger.git from cache (0.34s)
Fetched https://github.com/ltentrup/CUDD.git from cache (0.34s)
Fetched https://github.com/ltentrup/Aiger.git from cache (0.34s)
Computing version for https://github.com/ltentrup/CAiger.git
Computed https://github.com/ltentrup/CAiger.git at 0.1.3 (1.61s)
Computing version for https://github.com/ltentrup/CUDD.git
Computed https://github.com/ltentrup/CUDD.git at 0.2.4 (1.05s)
Fetching https://github.com/ltentrup/CCUDD.git
[1/166] Fetching ccudd
Fetched https://github.com/ltentrup/CCUDD.git from cache (0.28s)
Computing version for https://github.com/ltentrup/CCUDD.git
Computed https://github.com/ltentrup/CCUDD.git at 1.0.2 (1.84s)
Computing version for https://github.com/ltentrup/Aiger.git
Computed https://github.com/ltentrup/Aiger.git at 0.2.4 (0.76s)
Creating working copy for https://github.com/ltentrup/CAiger.git
Working copy of https://github.com/ltentrup/CAiger.git resolved at 0.1.3
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/Aiger.git
Working copy of https://github.com/ltentrup/Aiger.git resolved at 0.2.4
Creating working copy for https://github.com/ltentrup/CUDD.git
Working copy of https://github.com/ltentrup/CUDD.git resolved at 0.2.4
Building for debugging...
[0/90] Write sources
[5/90] Compiling CCUDD texpand.c
[6/90] Compiling CCUDD cuddAndAbs.c
[7/90] Compiling CCUDD safe_mem.c
[8/90] Compiling CCUDD ucbqsort.c
[9/90] Compiling CCUDD strsav.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.
[10/90] Compiling CCUDD pipefork.c
[10/90] Compiling CCUDD prtime.c
[10/90] Compiling CCUDD mtrGroup.c
[10/90] Compiling CCUDD pathsearch.c
[10/90] Compiling CCUDD st.c
[10/90] Compiling CCUDD mtrBasic.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-wasm-6.1-RELEASE-wasm32-unknown-wasi.artifactbundle/6.1-RELEASE-wasm32-unknown-wasi/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);
| ^
6 errors generated.
[10/90] Compiling CAiger aiger.c
[10/90] Write swift-version-24593BA9C3E375BF.txt
Running build ...
bash -c docker run --pull=always --rm -v "checkouts-4606859-3":/host -w "$PWD" registry.gitlab.com/finestructure/spi-images:wasm-6.1-latest swift build --swift-sdk wasm32-unknown-wasi 2>&1
wasm-6.1-latest: Pulling from finestructure/spi-images
Digest: sha256:059e0fdbe549369b902c0d423739510ddee50a4a70258d1404125eb9394ef31c
Status: Image is up to date for registry.gitlab.com/finestructure/spi-images:wasm-6.1-latest
[0/1] Planning build
Building for debugging...
/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.
[0/80] Compiling CCUDD pipefork.c
[0/80] Compiling CCUDD epd.c
[0/80] Compiling CCUDD mtrGroup.c
[0/80] Compiling CCUDD pathsearch.c
[0/80] Compiling CCUDD prtime.c
[0/80] Compiling CCUDD mtrBasic.c
[0/80] Compiling CCUDD st.c
[0/80] Write swift-version-24593BA9C3E375BF.txt
BUILD FAILURE 6.1 wasm