Swift Package IndexBuild Information
Failed to build SafetySynth, reference master (42b857), with Swift 6.1 for Wasm on 27 May 2025 12:20:23 UTC.
Build Command
bash -c docker run --pull=always --rm -v "checkouts-4606859-1":/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: master
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
* branch master -> FETCH_HEAD
* [new branch] master -> origin/master
HEAD is now at 42b8574 Create swift.yml
Cloned https://github.com/ltentrup/safetysynth.git
Revision (git rev-parse @):
42b8574993af4afe353e176b42ee0fa64e3853f4
SUCCESS checkout https://github.com/ltentrup/safetysynth.git at master
========================================
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-1":/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/Aiger.git
Fetching https://github.com/ltentrup/CAiger.git
Fetching https://github.com/ltentrup/CUDD.git
[1/38] Fetching caiger
[39/90] Fetching caiger, aiger
[54/270] Fetching caiger, aiger, cudd
Fetched https://github.com/ltentrup/Aiger.git from cache (0.35s)
Fetched https://github.com/ltentrup/CUDD.git from cache (0.35s)
Fetched https://github.com/ltentrup/CAiger.git from cache (0.36s)
Computing version for https://github.com/ltentrup/CAiger.git
Computed https://github.com/ltentrup/CAiger.git at 0.1.3 (2.01s)
Computing version for https://github.com/ltentrup/CUDD.git
Computed https://github.com/ltentrup/CUDD.git at 0.2.4 (0.78s)
Fetching https://github.com/ltentrup/CCUDD.git
[1/166] Fetching ccudd
Fetched https://github.com/ltentrup/CCUDD.git from cache (1.03s)
Computing version for https://github.com/ltentrup/CCUDD.git
Computed https://github.com/ltentrup/CCUDD.git at 1.0.2 (1.72s)
Computing version for https://github.com/ltentrup/Aiger.git
Computed https://github.com/ltentrup/Aiger.git at 0.2.4 (1.08s)
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/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
Building for debugging...
[0/90] Write sources
[3/90] Compiling CCUDD strsav.c
[4/90] Compiling CCUDD texpand.c
[5/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.
[6/90] Compiling CCUDD pipefork.c
[6/90] Compiling CCUDD prtime.c
[6/90] Compiling CCUDD mtrBasic.c
[6/90] Compiling CCUDD pathsearch.c
[6/90] Compiling CCUDD mtrGroup.c
[6/90] Compiling CCUDD ucbqsort.c
[6/90] Compiling CCUDD st.c
[6/90] Write swift-version-24593BA9C3E375BF.txt
Running build ...
bash -c docker run --pull=always --rm -v "checkouts-4606859-1":/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...
[0/84] Compiling CCUDD ucbqsort.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.
[1/84] Compiling CCUDD pipefork.c
[1/84] Compiling CCUDD st.c
[1/84] Compiling CCUDD mtrBasic.c
[1/84] Compiling CCUDD epd.c
[1/84] Compiling CCUDD mtrGroup.c
[1/84] Compiling CCUDD pathsearch.c
[1/84] Compiling CCUDD prtime.c
[1/84] Write swift-version-24593BA9C3E375BF.txt
BUILD FAILURE 6.1 wasm