SafetySynth – Build Information – Swift Package Index

Build Information

Failed to build SafetySynth, reference master (42b857), with Swift 6.4 for macOS (SPM) on 16 Sep 2026 11:02:00 UTC.

Build Command

env DEVELOPER_DIR=/Applications/Xcode-27.0.0-Release.Candidate.app xcrun swift build --arch arm64

Build Log

========================================
RunAll
========================================
Builder version: 5.1.0
Interrupt handler set up.
========================================
Checkout
========================================
Clone URL: https://github.com/ltentrup/safetysynth.git
Reference: master
Initialized empty Git repository in /Users/admin/builder/spi-builder-workspace/.git/
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:         macosSpm
Swift version:             6.4
Building package at path:  $PWD
https://github.com/ltentrup/safetysynth.git
Running build ...
env DEVELOPER_DIR=/Applications/Xcode-27.0.0-Release.Candidate.app xcrun swift build --arch arm64
Building for debugging...
[Computing dependencies]
[Pre-planning 1 / 247]
[Planning deferred tasks]
[20 / 246] SafetyGameSolver
[50 / 246]
[61 / 249] CUDD
[79 / 265]
[127 / 268] CCUDD
[159 / 268]
[175 / 268] CUDD
[194 / 268] CCUDD
[206 / 268] CCUDD
[218 / 268] CCUDD
Fetching https://github.com/ltentrup/CUDD.git
Fetching https://github.com/ltentrup/Aiger.git
Fetching https://github.com/ltentrup/CAiger.git
[1/52] Fetching aiger
[11/90] Fetching aiger, caiger
[71/270] Fetching aiger, caiger, cudd
Fetched https://github.com/ltentrup/Aiger.git (0.84s)
Fetched https://github.com/ltentrup/CUDD.git (0.84s)
Fetched https://github.com/ltentrup/CAiger.git (0.84s)
Computing version for https://github.com/ltentrup/CAiger.git
Computed https://github.com/ltentrup/CAiger.git at 0.1.3 (1.51s)
Computing version for https://github.com/ltentrup/CUDD.git
Computed https://github.com/ltentrup/CUDD.git at 0.2.4 (0.63s)
Fetching https://github.com/ltentrup/CCUDD.git
[1/166] Fetching ccudd
Fetched https://github.com/ltentrup/CCUDD.git (1.06s)
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 (0.62s)
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/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
error: SwiftCompile normal arm64 /Users/admin/builder/spi-builder-workspace/.build/checkouts/Aiger/Sources/Aiger/Aiger.swift failed with a nonzero exit code. Command line:     cd /Users/admin/builder
    builtin-SwiftPerFileCompile Aiger.swift
/Users/admin/builder/spi-builder-workspace/.build/checkouts/Aiger/Sources/Aiger/Aiger.swift:70:13: [1;31merror: [1;39mcannot find 'abort' in scope[0;0m
 [0;36m68 |[0;0m         default:
 [0;36m69 |[0;0m             assert(false)
 [0;36m70 |[0;0m             [4;39mabort[0;0m()
    [0;36m|[0;0m             `- [1;31merror: [1;39mcannot find 'abort' in scope[0;0m
 [0;36m71 |[0;0m         }
 [0;36m72 |[0;0m     }
Failed frontend command:
/Applications/Xcode-27.0.0-Release.Candidate.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/swift-frontend -frontend -c -primary-file /Users/admin/builder/spi-builder-workspace/.build/checkouts/Aiger/Sources/Aiger/Aiger.swift -emit-dependencies-path /Users/admin/builder/spi-builder-workspace/.build/out/Intermediates.noindex/Aiger.build/Debug/Aiger-t.build/Objects-normal/arm64/Aiger.d -emit-const-values-path /Users/admin/builder/spi-builder-workspace/.build/out/Intermediates.noindex/Aiger.build/Debug/Aiger-t.build/Objects-normal/arm64/Aiger.swiftconstvalues -emit-reference-dependencies-path /Users/admin/builder/spi-builder-workspace/.build/out/Intermediates.noindex/Aiger.build/Debug/Aiger-t.build/Objects-normal/arm64/Aiger.swiftdeps -serialize-diagnostics-path /Users/admin/builder/spi-builder-workspace/.build/out/Intermediates.noindex/Aiger.build/Debug/Aiger-t.build/Objects-normal/arm64/Aiger.dia -target arm64-apple-macos12.0 -Xllvm -aarch64-use-tbi -enable-objc-interop -stack-check -sdk /Applications/Xcode-27.0.0-Release.Candidate.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX27.0.sdk -I /Users/admin/builder/spi-builder-workspace/.build/out/Products/Debug -Isystem /Applications/Xcode-27.0.0-Release.Candidate.app/Contents/Developer/Platforms/MacOSX.platform/Developer/usr/lib -F /Users/admin/builder/spi-builder-workspace/.build/out/Products/Debug/PackageFrameworks -F /Users/admin/builder/spi-builder-workspace/.build/out/Products/Debug -F /Applications/Xcode-27.0.0-Release.Candidate.app/Contents/Developer/Platforms/MacOSX.platform/Developer/Library/Frameworks -module-cache-path /Users/admin/builder/spi-builder-workspace/.build/out/ModuleCache.noindex -color-diagnostics -Xcc -fcolor-diagnostics -enable-testing -g -debug-info-format\=dwarf -dwarf-version\=4 -suppress-warnings -swift-version 4 -Onone -D SWIFT_PACKAGE -D DEBUG -D SWIFT_MODULE_RESOURCE_BUNDLE_UNAVAILABLE -D Xcode -serialize-debugging-options -enable-experimental-feature DebugDescriptionMacro -empty-abi-descriptor -plugin-path /Applications/Xcode-27.0.0-Release.Candidate.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/lib/swift/host/plugins/testing -validate-clang-modules-once -clang-build-session-file /Users/admin/builder/spi-builder-workspace/.build/out/ModuleCache.noindex/Session.modulevalidation -Xcc -working-directory -Xcc /Users/admin/builder -enable-anonymous-context-mangled-names -file-compilation-dir /Users/admin/builder -Xcc -fmodule-map-file\=/Users/admin/builder/spi-builder-workspace/.build/out/Intermediates.noindex/GeneratedModuleMaps/CAiger.modulemap -Xcc -D_LIBCPP_HARDENING_MODE\=_LIBCPP_HARDENING_MODE_DEBUG -Xcc -ivfsstatcache -Xcc /Users/admin/builder/spi-builder-workspace/.build/out/SDKStatCaches.noindex/macosx27.0-26A425-80c5bbf1d171475443272936d42f90a36a22442a12e9d48fe1a705f55a1adfc4.sdkstatcache -Xcc -fmodules-prune-interval\=86400 -Xcc -fmodules-prune-after\=345600 -Xcc -I/Users/admin/builder/spi-builder-workspace/.build/checkouts/CAiger/Sources/CAiger/include -Xcc -I/Users/admin/builder/spi-builder-workspace/.build/out/Products/Debug/include -Xcc -I/Users/admin/builder/spi-builder-workspace/.build/out/Intermediates.noindex/Aiger.build/Debug/Aiger-t.build/DerivedSources-normal/arm64 -Xcc -I/Users/admin/builder/spi-builder-workspace/.build/out/Intermediates.noindex/Aiger.build/Debug/Aiger-t.build/DerivedSources/arm64 -Xcc -I/Users/admin/builder/spi-builder-workspace/.build/out/Intermediates.noindex/Aiger.build/Debug/Aiger-t.build/DerivedSources -Xcc -DSWIFT_PACKAGE -Xcc -DDEBUG\=1 -no-auto-bridging-header-chaining -module-name Aiger -const-gather-protocols-file /Users/admin/builder/spi-builder-workspace/.build/out/Intermediates.noindex/Aiger.build/Debug/Aiger-t.build/Objects-normal/arm64/Aiger_const_extract_protocols.json -disable-clang-spi -target-sdk-version 27.0 -target-sdk-name macosx27.0 -external-plugin-path /Applications/Xcode-27.0.0-Release.Candidate.app/Contents/Developer/Platforms/MacOSX.platform/Developer/usr/lib/swift/host/plugins\#/Applications/Xcode-27.0.0-Release.Candidate.app/Contents/Developer/Platforms/MacOSX.platform/Developer/usr/bin/swift-plugin-server -external-plugin-path /Applications/Xcode-27.0.0-Release.Candidate.app/Contents/Developer/Platforms/MacOSX.platform/Developer/usr/local/lib/swift/host/plugins\#/Applications/Xcode-27.0.0-Release.Candidate.app/Contents/Developer/Platforms/MacOSX.platform/Developer/usr/bin/swift-plugin-server -in-process-plugin-server-path /Applications/Xcode-27.0.0-Release.Candidate.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/lib/swift/host/libSwiftInProcPluginServer.dylib -plugin-path /Applications/Xcode-27.0.0-Release.Candidate.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/lib/swift/host/plugins -plugin-path /Applications/Xcode-27.0.0-Release.Candidate.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/local/lib/swift/host/plugins -parse-as-library -o /Users/admin/builder/spi-builder-workspace/.build/out/Intermediates.noindex/Aiger.build/Debug/Aiger-t.build/Objects-normal/arm64/Aiger.o -index-unit-output-path /Aiger.build/Debug/Aiger-t.build/Objects-normal/arm64/Aiger.o -index-store-path /Users/admin/builder/spi-builder-workspace/.build/out -index-system-modules
error: Build failed
BUILD FAILURE 6.4 macosSpm