Swift Package Index

Build Information

Failed to build SafetySynth, reference master (42b857), with Swift 6.1 for Android on 27 May 2025 12:20:07 UTC.

Build Command

bash -c docker run --pull=always --rm -v "checkouts-4609320-2":/host -w "$PWD" registry.gitlab.com/finestructure/spi-images:android-6.1-latest swift build --swift-sdk aarch64-unknown-linux-android24 2>&1

Build 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:         android
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-4609320-2":/host -w "$PWD" registry.gitlab.com/finestructure/spi-images:android-6.1-latest swift build --swift-sdk aarch64-unknown-linux-android24 -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
android-6.1-latest: Pulling from finestructure/spi-images
Digest: sha256:9f3c606dcd2a4f06d17ba472aa533c43685ba7ba19a5c9bc23518a066eb7f86a
Status: Image is up to date for registry.gitlab.com/finestructure/spi-images:android-6.1-latest
Fetching https://github.com/ltentrup/CUDD.git
Fetching https://github.com/ltentrup/CAiger.git
Fetching https://github.com/ltentrup/Aiger.git
[1/180] Fetching cudd
[180/232] Fetching cudd, aiger
[216/270] Fetching cudd, aiger, caiger
Fetched https://github.com/ltentrup/Aiger.git from cache (0.39s)
Fetched https://github.com/ltentrup/CUDD.git from cache (0.40s)
Fetched https://github.com/ltentrup/CAiger.git from cache (0.41s)
Computing version for https://github.com/ltentrup/CAiger.git
Computed https://github.com/ltentrup/CAiger.git at 0.1.3 (1.04s)
Computing version for https://github.com/ltentrup/CUDD.git
Computed https://github.com/ltentrup/CUDD.git at 0.2.4 (1.99s)
Fetching https://github.com/ltentrup/CCUDD.git
[1/166] Fetching ccudd
Fetched https://github.com/ltentrup/CCUDD.git from cache (0.50s)
Computing version for https://github.com/ltentrup/CCUDD.git
Computed https://github.com/ltentrup/CCUDD.git at 1.0.2 (1.32s)
Computing version for https://github.com/ltentrup/Aiger.git
Computed https://github.com/ltentrup/Aiger.git at 0.2.4 (0.49s)
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/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 cpu_time.c
[6/90] Compiling CCUDD cstringstream.c
[7/90] Compiling CCUDD cuddAddAbs.c
[7/90] Compiling CCUDD cpu_stats.c
[9/90] Compiling CCUDD cuddAndAbs.c
[10/90] Compiling CCUDD texpand.c
[11/90] Compiling CCUDD strsav.c
[12/90] Compiling CCUDD safe_mem.c
[13/90] Compiling CCUDD ucbqsort.c
[14/90] Compiling CCUDD prtime.c
[15/90] Compiling CCUDD pipefork.c
[15/90] Compiling CCUDD st.c
[17/90] Compiling CCUDD mtrGroup.c
[18/90] Compiling CCUDD pathsearch.c
[19/90] Compiling CCUDD mtrBasic.c
[20/90] Compiling CCUDD datalimit.c
[21/90] Write swift-version-24593BA9C3E375BF.txt
[21/90] Compiling CAiger aiger.c
[23/90] Compiling CCUDD epd.c
[24/90] Compiling CCUDD cuddZddPort.c
[25/90] Compiling CCUDD cuddZddReord.c
[26/90] Compiling CCUDD cuddZddUtil.c
[27/90] Compiling CCUDD cuddZddSymm.c
[28/90] Compiling CCUDD cuddZddMisc.c
[29/90] Compiling CCUDD cuddZddSetop.c
[30/90] Compiling CCUDD cuddZddLin.c
[31/90] Compiling CCUDD cuddZddIsop.c
[32/90] Compiling CCUDD cuddZddCount.c
[32/90] Compiling CCUDD cuddZddGroup.c
[34/90] Compiling CCUDD cuddWindow.c
[35/93] Compiling CCUDD cuddZddFuncs.c
[36/94] Compiling CCUDD cuddUtil.c
[37/94] Compiling CCUDD cuddSolve.c
[38/94] Compiling CCUDD cuddSubsetSP.c
[39/94] Compiling CCUDD cuddSplit.c
[40/94] Compiling CCUDD cuddSymmetry.c
[41/94] Compiling CCUDD cuddSubsetHB.c
[42/94] Compiling CCUDD cuddSign.c
[43/94] Compiling CCUDD cuddTable.c
[44/94] Compiling CCUDD cuddSat.c
[45/94] Compiling CCUDD cuddRef.c
[46/94] Compiling CCUDD cuddReorder.c
[47/94] Compiling CCUDD cuddRead.c
[49/94] Emitting module CAigerHelper
[49/94] Compiling CCUDD cuddMatMult.c
[50/94] Compiling CCUDD cuddLiteral.c
[51/94] Compiling CCUDD cuddPriority.c
[52/94] Compiling CCUDD cuddLCache.c
[53/94] Compiling CCUDD cuddLevelQ.c
[54/94] Compiling CCUDD cuddInteract.c
[55/94] Compiling CCUDD cuddInit.c
[56/94] Compiling CCUDD cuddLinear.c
[57/94] Compiling CCUDD cuddGenetic.c
[58/94] Compiling CCUDD cuddHarwell.c
[59/94] Compiling CCUDD cuddGroup.c
[60/94] Compiling CCUDD cuddGenCof.c
[61/94] Compiling CCUDD cuddEssent.c
[62/94] Compiling CCUDD cuddCompose.c
[63/94] Compiling CCUDD cuddDecomp.c
[64/94] Compiling CCUDD cuddExport.c
[65/94] Compiling CCUDD cuddExact.c
[66/94] Compiling CCUDD cuddClip.c
[67/94] Compiling CCUDD cuddCheck.c
[68/94] Compiling CCUDD cuddCof.c
[69/94] Compiling CCUDD cuddCache.c
[70/94] Compiling CCUDD cuddBridge.c
[71/94] Compiling CCUDD cuddBddIte.c
[72/94] Compiling CCUDD cuddBddCorr.c
[73/94] Compiling CCUDD cuddBddAbs.c
[74/94] Compiling CCUDD cuddAnneal.c
[75/94] Compiling CCUDD cuddAddWalsh.c
[76/94] Compiling CCUDD cuddAddNeg.c
[77/94] Compiling CCUDD cuddAddInv.c
[78/94] Compiling CCUDD cuddApprox.c
[78/94] Compiling CCUDD cuddApa.c
[80/94] Compiling CCUDD cuddAddFind.c
[81/94] Compiling CCUDD cuddAddApply.c
[82/94] Compiling CCUDD cuddAddIte.c
[83/94] Compiling CCUDD cuddAPI.c
[85/96] Compiling Aiger Aiger.swift
/host/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 |     }
[86/96] Emitting module Aiger
[87/96] Emitting module CUDD
Running build ...
bash -c docker run --pull=always --rm -v "checkouts-4609320-2":/host -w "$PWD" registry.gitlab.com/finestructure/spi-images:android-6.1-latest swift build --swift-sdk aarch64-unknown-linux-android24 2>&1
android-6.1-latest: Pulling from finestructure/spi-images
Digest: sha256:9f3c606dcd2a4f06d17ba472aa533c43685ba7ba19a5c9bc23518a066eb7f86a
Status: Image is up to date for registry.gitlab.com/finestructure/spi-images:android-6.1-latest
[0/1] Planning build
Building for debugging...
[0/8] Write swift-version-24593BA9C3E375BF.txt
[2/14] Emitting module Aiger
[3/14] Compiling Aiger Aiger.swift
/host/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 |     }
[4/14] Emitting module CUDD
[5/14] Emitting module CAigerHelper
BUILD FAILURE 6.1 android