Swift Package IndexBuild Information
Failed to build SafetySynth, reference 0.3.1 (5706b1), with Swift 6.3 for macOS (SPM) on 10 Apr 2026 22:14:50 UTC.
Build Command
env DEVELOPER_DIR=/Applications/Xcode-26.4.0.app xcrun swift build --arch arm64Build Log
========================================
RunAll
========================================
Builder version: 4.70.0
Interrupt handler set up.
========================================
Checkout
========================================
Clone URL: https://github.com/ltentrup/safetysynth.git
Reference: 0.3.1
Initialized empty Git repository in /Users/admin/builder/spi-builder-workspace/.git/
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
Fetching https://github.com/ltentrup/CAiger.git
Fetching https://github.com/ltentrup/Aiger.git
Fetching https://github.com/ltentrup/CUDD.git
[1/38] Fetching caiger
[19/218] Fetching caiger, cudd
[57/270] Fetching caiger, cudd, aiger
Fetched https://github.com/ltentrup/Aiger.git from cache (0.63s)
Fetched https://github.com/ltentrup/CUDD.git from cache (0.63s)
Fetched https://github.com/ltentrup/CAiger.git from cache (0.63s)
Computing version for https://github.com/ltentrup/CAiger.git
Computed https://github.com/ltentrup/CAiger.git at 0.1.3 (1.32s)
Computing version for https://github.com/ltentrup/CUDD.git
Computed https://github.com/ltentrup/CUDD.git at 0.2.4 (0.66s)
Fetching https://github.com/ltentrup/CCUDD.git
[1/166] Fetching ccudd
Fetched https://github.com/ltentrup/CCUDD.git from cache (0.89s)
Computing version for https://github.com/ltentrup/CCUDD.git
Computed https://github.com/ltentrup/CCUDD.git at 1.0.2 (1.57s)
Computing version for https://github.com/ltentrup/Aiger.git
Computed https://github.com/ltentrup/Aiger.git at 0.2.4 (0.66s)
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
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
========================================
ResolveProductDependencies
========================================
Resolving dependencies ...
{
"identity": ".resolve-product-dependencies",
"name": "resolve-dependencies",
"url": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies",
"version": "unspecified",
"path": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies",
"traits": [
"default"
],
"dependencies": [
{
"identity": "safetysynth",
"name": "SafetySynth",
"url": "https://github.com/ltentrup/safetysynth.git",
"version": "unspecified",
"path": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies/.build/checkouts/safetysynth",
"traits": [
"default"
],
"dependencies": [
{
"identity": "caiger",
"name": "CAiger",
"url": "https://github.com/ltentrup/CAiger.git",
"version": "0.1.3",
"path": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies/.build/checkouts/CAiger",
"traits": [
"default"
],
"dependencies": [
]
},
{
"identity": "aiger",
"name": "Aiger",
"url": "https://github.com/ltentrup/Aiger.git",
"version": "0.2.4",
"path": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies/.build/checkouts/Aiger",
"traits": [
"default"
],
"dependencies": [
{
"identity": "caiger",
"name": "CAiger",
"url": "https://github.com/ltentrup/CAiger.git",
"version": "0.1.3",
"path": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies/.build/checkouts/CAiger",
"traits": [
"default"
],
"dependencies": [
]
}
]
},
{
"identity": "cudd",
"name": "CUDD",
"url": "https://github.com/ltentrup/CUDD.git",
"version": "0.2.4",
"path": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies/.build/checkouts/CUDD",
"traits": [
"default"
],
"dependencies": [
{
"identity": "ccudd",
"name": "CCUDD",
"url": "https://github.com/ltentrup/CCUDD.git",
"version": "1.0.2",
"path": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies/.build/checkouts/CCUDD",
"traits": [
"default"
],
"dependencies": [
]
}
]
}
]
}
]
}
Fetching https://github.com/ltentrup/safetysynth.git
[1/114] Fetching safetysynth
Fetched https://github.com/ltentrup/safetysynth.git from cache (0.58s)
Fetching https://github.com/ltentrup/Aiger.git from cache
Fetching https://github.com/ltentrup/CUDD.git from cache
Fetching https://github.com/ltentrup/CAiger.git from cache
Fetched https://github.com/ltentrup/Aiger.git from cache (0.47s)
Fetched https://github.com/ltentrup/CAiger.git from cache (0.47s)
Fetched https://github.com/ltentrup/CUDD.git from cache (0.47s)
Computing version for https://github.com/ltentrup/CAiger.git
Computed https://github.com/ltentrup/CAiger.git at 0.1.3 (0.54s)
Computing version for https://github.com/ltentrup/CUDD.git
Computed https://github.com/ltentrup/CUDD.git at 0.2.4 (0.03s)
Fetching https://github.com/ltentrup/CCUDD.git from cache
Fetched https://github.com/ltentrup/CCUDD.git from cache (0.41s)
Computing version for https://github.com/ltentrup/CCUDD.git
Computed https://github.com/ltentrup/CCUDD.git at 1.0.2 (0.47s)
Computing version for https://github.com/ltentrup/Aiger.git
Computed https://github.com/ltentrup/Aiger.git at 0.2.4 (0.03s)
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/safetysynth.git
Working copy of https://github.com/ltentrup/safetysynth.git resolved at 0.3.1 (5706b13)
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
Found 3 product dependencies
- CAiger
- Aiger
- CUDD
========================================
Build
========================================
Selected platform: macosSpm
Swift version: 6.3
Building package at path: $PWD
https://github.com/ltentrup/safetysynth.git
Running build ...
env DEVELOPER_DIR=/Applications/Xcode-26.4.0.app xcrun swift build --arch arm64
Building for debugging...
[0/87] Write sources
[1/87] Write SafetySynth-entitlement.plist
[1/87] Write sources
[5/87] Write swift-version--6988338F2F200930.txt
[6/87] Compiling CCUDD pipefork.c
[7/87] Compiling CCUDD prtime.c
[8/87] Compiling CCUDD texpand.c
[9/87] Compiling CCUDD ucbqsort.c
[10/87] Compiling CCUDD safe_mem.c
[11/87] Compiling CCUDD pathsearch.c
[12/87] Compiling CCUDD mtrBasic.c
[13/87] Compiling CCUDD epd.c
[14/87] Compiling CCUDD st.c
[15/87] Compiling CCUDD mtrGroup.c
[16/87] Compiling CCUDD cuddZddUtil.c
[17/87] Compiling CCUDD cuddZddSetop.c
[18/87] Compiling CCUDD cuddZddReord.c
[19/87] Compiling CCUDD cuddZddSymm.c
[20/87] Compiling CCUDD cuddZddMisc.c
[21/87] Compiling CCUDD cuddZddPort.c
[22/87] Compiling CCUDD cuddZddLin.c
[23/87] Compiling CCUDD strsav.c
[24/87] Compiling CCUDD cuddZddIsop.c
[25/87] Compiling CCUDD cuddZddCount.c
[26/87] Compiling CCUDD cuddZddGroup.c
[27/87] Compiling CCUDD cuddZddFuncs.c
[28/87] Compiling CCUDD cuddWindow.c
[29/87] Compiling CCUDD cuddSymmetry.c
[30/87] Compiling CCUDD cuddTable.c
[31/87] Compiling CCUDD cuddSplit.c
[32/87] Compiling CCUDD cuddSubsetSP.c
[33/87] Compiling CCUDD cuddUtil.c
[34/87] Compiling CCUDD cuddSolve.c
[35/87] Compiling CCUDD cuddSubsetHB.c
[36/87] Compiling CCUDD cuddSign.c
[37/87] Compiling CCUDD cuddSat.c
[38/87] Compiling CCUDD cuddRef.c
[39/87] Compiling CCUDD cuddRead.c
[40/87] Compiling CCUDD cuddLiteral.c
[41/87] Compiling CCUDD cuddMatMult.c
[42/87] Compiling CCUDD cuddLinear.c
[42/87] Compiling CCUDD cuddReorder.c
[44/87] Compiling CCUDD cuddPriority.c
[45/87] Compiling CCUDD datalimit.c
[46/87] Compiling CCUDD cpu_stats.c
[47/87] Compiling CCUDD cuddLevelQ.c
[48/87] Compiling CCUDD cuddInteract.c
[49/87] Compiling CCUDD cuddInit.c
[50/87] Compiling CCUDD cuddLCache.c
[51/87] Compiling CCUDD cuddHarwell.c
[52/87] Compiling CCUDD cuddGenetic.c
[53/87] Compiling CCUDD cuddGroup.c
[54/87] Compiling CCUDD cuddExact.c
[55/87] Compiling CCUDD cuddExport.c
[56/87] Compiling CCUDD cuddGenCof.c
[57/87] Compiling CCUDD cuddEssent.c
[58/87] Compiling CCUDD cuddCof.c
[59/87] Compiling CCUDD cuddClip.c
[60/87] Compiling CCUDD cuddCompose.c
[61/87] Compiling CCUDD cuddDecomp.c
[62/87] Compiling CCUDD cuddCache.c
[63/87] Compiling CCUDD cuddCheck.c
[64/87] Compiling CCUDD cuddBridge.c
[65/87] Compiling CCUDD cuddBddCorr.c
[66/87] Compiling CCUDD cuddBddAbs.c
[67/87] Compiling CCUDD cuddBddIte.c
[68/87] Compiling CCUDD cuddApa.c
[69/87] Compiling CCUDD cuddAnneal.c
[70/87] Compiling CCUDD cuddAndAbs.c
[71/87] Compiling CCUDD cuddAddNeg.c
[72/87] Compiling CCUDD cuddAddWalsh.c
[73/87] Compiling CCUDD cuddApprox.c
[74/87] Write sources
[75/87] Compiling CCUDD cuddAddIte.c
[76/87] Compiling CCUDD cuddAddInv.c
[77/87] Compiling CCUDD cuddAddFind.c
[78/87] Compiling CCUDD cuddAddApply.c
[79/87] Compiling CCUDD cstringstream.c
[80/87] Compiling CCUDD cpu_time.c
[81/87] Compiling CCUDD cuddAddAbs.c
[82/87] Compiling CCUDD cuddAPI.c
[83/87] Compiling CAiger aiger.c
[85/93] Emitting module Aiger
[86/93] Compiling Aiger Aiger.swift
/Users/admin/builder/spi-builder-workspace/.build/checkouts/Aiger/Sources/Aiger/Aiger.swift:70:13: error: cannot find 'abort' in scope
68 | default:
69 | assert(false)
70 | abort()
| `- error: cannot find 'abort' in scope
71 | }
72 | }
[87/93] Emitting module CAigerHelper
[88/93] Compiling CAigerHelper aigerHelper.swift
[89/93] Emitting module CUDD
BUILD FAILURE 6.3 macosSpm