The Swift Package Index logo.Swift Package Index

Build Information

Failed to build SafetySynth, reference 0.3.1 (5706b1), with Swift 6.2 for macOS (SPM) on 18 Jun 2025 00:44:13 UTC.

Build Command

env DEVELOPER_DIR=/Applications/Xcode-26.0.0-Beta.app xcrun swift build --arch arm64

Build 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 /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
========================================
Build
========================================
Selected platform:         macosSpm
Swift version:             6.2
Building package at path:  $PWD
https://github.com/ltentrup/safetysynth.git
Running build ...
env DEVELOPER_DIR=/Applications/Xcode-26.0.0-Beta.app xcrun swift build --arch arm64
Building for debugging...
[0/87] Write sources
[2/87] Write SafetySynth-entitlement.plist
[4/87] Write swift-version-1EA4D86E10B52AF.txt
[5/87] Compiling CCUDD strsav.c
[6/87] Compiling CCUDD cuddAddInv.c
[6/87] Compiling CCUDD cuddAddFind.c
[8/87] Compiling CCUDD cuddAddIte.c
[9/87] Compiling CCUDD ucbqsort.c
[10/87] Compiling CCUDD cuddAddAbs.c
[11/87] Compiling CCUDD safe_mem.c
[12/87] Compiling CCUDD cuddAddApply.c
[13/87] Compiling CCUDD texpand.c
[14/87] Compiling CCUDD prtime.c
[15/87] Compiling CCUDD pipefork.c
[16/87] Compiling CCUDD pathsearch.c
[17/87] Compiling CCUDD mtrBasic.c
[18/87] Compiling CCUDD mtrGroup.c
[19/87] Compiling CCUDD st.c
[20/87] Compiling CCUDD epd.c
[21/87] Compiling CCUDD cuddZddUtil.c
[22/87] Compiling CCUDD cuddZddSymm.c
[23/87] Compiling CCUDD cuddZddPort.c
[24/87] Compiling CCUDD cuddZddReord.c
[25/87] Compiling CCUDD cuddZddSetop.c
[26/87] Compiling CCUDD cuddZddMisc.c
[27/87] Compiling CCUDD cuddZddLin.c
[28/87] Compiling CCUDD cuddZddIsop.c
[29/87] Compiling CCUDD cuddZddGroup.c
[30/87] Compiling CCUDD cuddZddCount.c
[31/87] Compiling CCUDD cuddZddFuncs.c
[32/87] Compiling CCUDD cuddWindow.c
[33/87] Compiling CCUDD cuddSymmetry.c
[34/87] Compiling CCUDD cuddSubsetSP.c
[35/87] Compiling CCUDD cuddSplit.c
[36/87] Compiling CCUDD cuddSubsetHB.c
[37/87] Compiling CCUDD cuddSolve.c
[38/87] Compiling CCUDD cuddSign.c
[39/87] Compiling CCUDD cuddTable.c
[40/87] Compiling CCUDD cuddUtil.c
[41/87] Compiling CCUDD cuddSat.c
[42/87] Compiling CCUDD cuddRef.c
[43/87] Compiling CCUDD cuddRead.c
[43/87] Compiling CCUDD cuddReorder.c
[45/87] Compiling CCUDD cuddLiteral.c
[46/87] Compiling CCUDD cuddMatMult.c
[47/87] Compiling CCUDD cuddLevelQ.c
[48/87] Compiling CCUDD cuddPriority.c
[49/87] Compiling CCUDD cuddLinear.c
[50/87] Compiling CCUDD cuddLCache.c
[51/87] Compiling CCUDD cuddInteract.c
[52/87] Compiling CCUDD cuddInit.c
[53/87] Compiling CCUDD cuddHarwell.c
[54/87] Compiling CCUDD cuddGenetic.c
[55/87] Compiling CCUDD cuddGroup.c
[56/87] Compiling CCUDD cuddExact.c
[57/87] Compiling CCUDD cuddExport.c
[58/87] Compiling CCUDD cuddGenCof.c
[59/87] Compiling CCUDD cuddEssent.c
[60/87] Compiling CCUDD cuddCof.c
[61/87] Compiling CCUDD datalimit.c
[62/87] Compiling CCUDD cuddCompose.c
[63/87] Compiling CCUDD cuddClip.c
[64/87] Compiling CCUDD cuddDecomp.c
[65/87] Compiling CCUDD cuddCheck.c
[66/87] Compiling CCUDD cuddCache.c
[67/87] Compiling CCUDD cuddBridge.c
[68/87] Compiling CCUDD cuddBddCorr.c
[69/87] Compiling CCUDD cuddBddAbs.c
[70/87] Compiling CCUDD cuddBddIte.c
[71/87] Compiling CCUDD cuddAndAbs.c
[71/87] Write sources
[73/87] Compiling CCUDD cuddApa.c
[73/87] Write sources
[75/87] Compiling CCUDD cuddAnneal.c
[76/87] Compiling CCUDD cuddAddNeg.c
[77/87] Compiling CCUDD cuddApprox.c
[78/87] Compiling CCUDD cuddAddWalsh.c
[79/87] Compiling CCUDD cstringstream.c
[80/87] Compiling CCUDD cpu_time.c
[81/87] Compiling CCUDD cpu_stats.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] Emitting module CUDD
Fetching https://github.com/ltentrup/CAiger.git
Fetching https://github.com/ltentrup/CUDD.git
Fetching https://github.com/ltentrup/Aiger.git
[1/52] Fetching aiger
[51/232] Fetching aiger, cudd
[186/270] Fetching aiger, cudd, caiger
Fetched https://github.com/ltentrup/Aiger.git from cache (0.60s)
[199/218] Fetching cudd, caiger
Fetched https://github.com/ltentrup/CAiger.git from cache (0.67s)
Fetched https://github.com/ltentrup/CUDD.git from cache (0.67s)
Computing version for https://github.com/ltentrup/CAiger.git
Computed https://github.com/ltentrup/CAiger.git at 0.1.3 (1.24s)
Computing version for https://github.com/ltentrup/CUDD.git
Computed https://github.com/ltentrup/CUDD.git at 0.2.4 (0.50s)
Fetching https://github.com/ltentrup/CCUDD.git
[1/166] Fetching ccudd
Fetched https://github.com/ltentrup/CCUDD.git from cache (0.83s)
Computing version for https://github.com/ltentrup/CCUDD.git
Computed https://github.com/ltentrup/CCUDD.git at 1.0.2 (1.37s)
Computing version for https://github.com/ltentrup/Aiger.git
Computed https://github.com/ltentrup/Aiger.git at 0.2.4 (0.52s)
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
Creating working copy for https://github.com/ltentrup/CAiger.git
Working copy of https://github.com/ltentrup/CAiger.git resolved at 0.1.3
BUILD FAILURE 6.2 macosSpm