Swift Package Index

Build Information

Failed to build shimmers-hdl, reference main (180397), with Swift 6.4 for Linux on 23 Sep 2026 16:59:01 UTC.

Build Command

bash -c docker run --pull=always --rm -v "checkouts-54344847-0":/host -w "$PWD" -e JAVA_HOME="/root/.sdkman/candidates/java/current" -e SPI_BUILD="1" -e SPI_PROCESSING="1" registry.gitlab.com/saguaro1/spi-images:basic-6.4-latest swift build --triple x86_64-unknown-linux-gnu 2>&1

Build Log

========================================
RunAll
========================================
Builder version: 5.1.0
Interrupt handler set up.
========================================
Checkout
========================================
Clone URL: https://github.com/yliu-hashed/shimmers-hdl.git
Reference: main
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/yliu-hashed/shimmers-hdl
 * branch            main       -> FETCH_HEAD
 * [new branch]      main       -> origin/main
HEAD is now at 1803979 Switch to async Subprocess
Cloned https://github.com/yliu-hashed/shimmers-hdl.git
Revision (git rev-parse @):
18039791292ddb7609ab8f3bb344b9b903139af8
SPI manifest file found: $PWD/.spi.yml
SUCCESS checkout https://github.com/yliu-hashed/shimmers-hdl.git at main
========================================
Build
========================================
Selected platform:         linux
Swift version:             6.4
Building package at path:  $PWD
https://github.com/yliu-hashed/shimmers-hdl.git
Running build ...
bash -c docker run --pull=always --rm -v "checkouts-54344847-0":/host -w "$PWD" -e JAVA_HOME="/root/.sdkman/candidates/java/current" -e SPI_BUILD="1" -e SPI_PROCESSING="1" registry.gitlab.com/saguaro1/spi-images:basic-6.4-latest swift build --triple x86_64-unknown-linux-gnu 2>&1
basic-6.4-latest: Pulling from saguaro1/spi-images
Digest: sha256:c77fcce225e223ac0fafed844619173fc6de8d62dd560eeb28db3182af6a282b
Status: Image is up to date for registry.gitlab.com/saguaro1/spi-images:basic-6.4-latest
Fetching https://github.com/swiftlang/swift-subprocess.git
[1/4776] Fetching swift-subprocess
Fetched https://github.com/swiftlang/swift-subprocess.git (0.58s)
Fetching https://github.com/apple/swift-argument-parser.git
Fetching https://github.com/swiftlang/swift-syntax.git
Fetching https://github.com/apple/swift-system
[1/18918] Fetching swift-argument-parser
[569/25834] Fetching swift-argument-parser, swift-system
Fetched https://github.com/apple/swift-system (0.77s)
Fetched https://github.com/apple/swift-argument-parser.git (0.77s)
[1/80027] Fetching swift-syntax
Fetched https://github.com/swiftlang/swift-syntax.git (2.98s)
Computing version for https://github.com/swiftlang/swift-syntax.git
Computed https://github.com/swiftlang/swift-syntax.git at 602.0.0 (4.16s)
Computing version for https://github.com/apple/swift-argument-parser.git
Computed https://github.com/apple/swift-argument-parser.git at 1.8.2 (0.18s)
Computing version for https://github.com/apple/swift-system
Computed https://github.com/apple/swift-system at 1.8.1 (0.21s)
Creating working copy for https://github.com/apple/swift-system
Working copy of https://github.com/apple/swift-system resolved at 1.8.1
Creating working copy for https://github.com/swiftlang/swift-syntax.git
Working copy of https://github.com/swiftlang/swift-syntax.git resolved at 602.0.0
Creating working copy for https://github.com/apple/swift-argument-parser.git
Working copy of https://github.com/apple/swift-argument-parser.git resolved at 1.8.2
Creating working copy for https://github.com/swiftlang/swift-subprocess.git
Working copy of https://github.com/swiftlang/swift-subprocess.git resolved at main (8f099c6)
Building for debugging...
[Computing dependencies]
[Provisioning 22 / 36]
[Pre-planning 1 / 830]
[Planning deferred tasks]
[166 / 337] SwiftSyntax510
[200 / 346] SystemPackage
[200 / 346] SwiftSyntax602
[207 / 347] SystemPackage
[213 / 349] SwiftSyntax510
[227 / 352] ArgumentParserToolInfo
[232 / 365] SwiftSyntax
[234 / 374] SystemPackage
[242 / 374] SwiftSyntax
[242 / 374] SystemPackage
[245 / 375] SwiftSyntax
[245 / 375] SystemPackage
[253 / 376] SwiftSyntax
[256 / 376] Subprocess
[257 / 376] Subprocess
[257 / 376] SwiftSyntax
[258 / 376] Subprocess-product
[259 / 376] SwiftSyntax
[260 / 376] Subprocess-product
[262 / 376] Subprocess
[262 / 376] ArgumentParserToolInfo
[266 / 376] SystemPackage
[269 / 386] ArgumentParser
[269 / 386] Subprocess
[270 / 387] ArgumentParser
[279 / 387] ArgumentParser
[280 / 387] ArgumentParser-product
[281 / 387] ArgumentParser
[283 / 387] ArgumentParser
[284 / 387] ArgumentParser
[284 / 387] SwiftSyntax
[296 / 415] SwiftParser
[302 / 416] SwiftDiagnostics
[305 / 416] SwiftBasicFormat
[306 / 416] SwiftParser
[317 / 416] SwiftParser
[318 / 416] SwiftParser
[319 / 416] SwiftParser
[320 / 416] SwiftDiagnostics
[321 / 416] SwiftOperators
[324 / 416] SwiftDiagnostics
[325 / 416] SwiftDiagnostics
[327 / 416] SwiftBasicFormat
[329 / 416] SwiftBasicFormat
[330 / 417] SwiftParserDiagnostics
[339 / 418]
[342 / 428] SwiftParserDiagnostics
[345 / 428] SwiftParserDiagnostics
[346 / 428] SwiftParserDiagnostics
[347 / 428] SwiftParserDiagnostics
[349 / 429] SwiftParserDiagnostics
[351 / 429] SwiftParserDiagnostics
[359 / 439] SwiftOperators
[362 / 439] SwiftOperators
[369 / 439] SwiftOperators
[371 / 439] SwiftOperators
[372 / 441] SwiftSyntaxBuilder
[375 / 449] SwiftSyntaxBuilder
[377 / 449] SwiftSyntaxBuilder
[378 / 450] SwiftSyntaxBuilder
[381 / 451] SwiftSyntaxBuilder
[391 / 452] SwiftSyntaxBuilder
[397 / 461] SwiftSyntaxMacros
[406 / 462]
[411 / 471] SwiftSyntaxMacroExpansion
[413 / 472] SwiftSyntaxBuilder
[415 / 473] SwiftSyntaxMacroExpansion
[416 / 473] SwiftSyntaxMacros
[427 / 483] SwiftCompilerPluginMessageHandling
[429 / 483] SwiftCompilerPluginMessageHandling
[431 / 483] SwiftCompilerPluginMessageHandling
[432 / 483] SwiftCompilerPluginMessageHandling
[434 / 483] SwiftCompilerPluginMessageHandling
[442 / 486] SwiftCompilerPlugin
[448 / 487] SwiftSyntaxMacroExpansion
[449 / 488] SwiftCompilerPlugin
[451 / 488] SwiftCompilerPluginMessageHandling
[453 / 489] SwiftSyntax
[456 / 490] SwiftSyntax
[462 / 490] SwiftSyntaxBuilder
[471 / 491] ShimmersMacros
[480 / 500] ShimmersMacros
[481 / 500] ShimmersMacros
[485 / 501] ShimmersMacros
error: SwiftCompile normal x86_64 failed with a nonzero exit code. Command line:     cd /host

/host/spi-builder-workspace/Sources/Shimmers/Scope/Scope.swift:70:31: error: 'async' call in a function that does not support concurrency
 58 |     internal let moduleNamePrefix: String
 59 |
 60 |     init(name: String, with options: SynthOptions) {
    |     `- note: add 'async' to function 'init(name:with:)' to make it asynchronous
 61 |         self.name = name
 62 |         self.moduleNamePrefix = options.moduleNamePrefix
    :
 68 |         case .inferFromPath:
 69 |             let exec = Executable.name("kissat")
 70 |             kissatPath = try? exec.resolveExecutablePath(in: .inherit)
    |                               `- error: 'async' call in a function that does not support concurrency
 71 |         case .custom(let path):
 72 |             kissatPath = FilePath(path)
Failed frontend command:
/usr/bin/swift-frontend -frontend -emit-module -experimental-skip-non-inlinable-function-bodies-without-types /host/spi-builder-workspace/Sources/Shimmers/CNF\ Builder/CNF\ Builder.swift /host/spi-builder-workspace/Sources/Shimmers/Driver.swift /host/spi-builder-workspace/Sources/Shimmers/Graph/Graph\ Builder\ -\ DFF.swift /host/spi-builder-workspace/Sources/Shimmers/Graph/Graph\ Builder\ -\ Gates.swift /host/spi-builder-workspace/Sources/Shimmers/Graph/Graph\ Builder\ -\ Submodule.swift /host/spi-builder-workspace/Sources/Shimmers/Graph/Graph\ Builder.swift /host/spi-builder-workspace/Sources/Shimmers/Graph/Print\ Verilog.swift /host/spi-builder-workspace/Sources/Shimmers/Graph/Simplify.swift /host/spi-builder-workspace/Sources/Shimmers/Macros\ -\ Building.swift /host/spi-builder-workspace/Sources/Shimmers/Macros\ -\ Proof.swift /host/spi-builder-workspace/Sources/Shimmers/Mangle/File\ Name\ Mangle.swift /host/spi-builder-workspace/Sources/Shimmers/Mangle/Hashing.swift /host/spi-builder-workspace/Sources/Shimmers/Mangle/Name\ Mangling.swift /host/spi-builder-workspace/Sources/Shimmers/Module.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime\ Support/BigInt/BigInt\ -\ Bitwise.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime\ Support/BigInt/BigInt\ -\ Comparison.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime\ Support/BigInt/BigInt\ -\ Conversion\ \&\ Literal.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime\ Support/BigInt/BigInt\ -\ Math\ Add\ \&\ Sub.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime\ Support/BigInt/BigInt\ -\ Math\ Mul\ \&\ Div.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime\ Support/BigInt/BigInt.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime/Bool.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime/Enum\ Runtime\ Support.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime/IndexingItr.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime/InlineArray.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime/Integers/IntN\ -\ Operations.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime/Integers/IntN.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime/Integers/Standard\ Integer\ Runtime.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime/Integers/UIntN\ -\ Operations.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime/Integers/UIntN.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime/Optional.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime/Queue.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime/Range.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime/Wire\ -\ Logic.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime/Wire\ -\ Traversal.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime/Wire.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/Assertion\ Set.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/Assertion\ Type\ Message.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/Assertion\ Type.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/Building/Build\ Arith\ -\ Add.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/Building/Build\ Arith\ -\ Compare.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/Building/Build\ Arith\ -\ Div.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/Building/Build\ Arith\ -\ Mul.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/Building/Build\ Arith\ -\ Shift.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/Building/Build\ Misc.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/Debug\ Info.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/Debugging.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/Detached\ Port\ Naming.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/Module\ Gen.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/Module\ Seq\ Wrapper.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/SAT\ Solver.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/Scope\ -\ Building\ Gates.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/Scope\ -\ Building\ Ports.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/Scope\ -\ Condition.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/Scope\ -\ Debugging.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/Scope\ -\ Module\ Inst.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/Scope\ -\ Prove\ Assert.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/Scope\ -\ Prove\ Assume.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/Scope\ -\ Prove\ Loop.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/Scope.swift /host/spi-builder-workspace/Sources/Shimmers/Var\ Tracking/Local.swift /host/spi-builder-workspace/Sources/Shimmers/Var\ Tracking/Member.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Array/InlineArrayRef\ -\ Access.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Array/InlineArrayRef\ -\ Iteration.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Array/InlineArrayRef\ -\ Literal.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Array/InlineArrayRef.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Boolean/BoolRef\ -\ Logics.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Boolean/BoolRef.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Enum\ Support/Enum\ Raw\ Buffer.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Enum\ Support/Enum\ Wire\ Type.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Integers/IntRef\ -\ Comparison.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Integers/IntRef\ -\ Conversion.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Integers/IntRef\ -\ Literal.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Integers/IntRef\ -\ Magnitude.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Integers/IntRef\ -\ Math\ Add\ \&\ Sub.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Integers/IntRef\ -\ Math\ Mul\ \&\ Div.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Integers/IntRef.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Iterator/IndexingItrRef.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Optional/OptionalRef\ Support.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Optional/OptionalRef.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Pattern\ Matching/Pattern\ Matching.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Queue/QueueRef.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Range/RangeRef\ -\ Collection.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Range/RangeRef.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Ternary.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Wire\ Protocol/Protocol\ Arithmetic.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Wire\ Protocol/Protocol\ BinaryInteger.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Wire\ Protocol/Protocol\ Collection.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Wire\ Protocol/Protocol\ Equatable\ \&\ Comparable.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Wire\ Protocol/Protocol\ FixedWidthInteger.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Wire\ Protocol/Protocol\ Iterator\ \&\ Sequence.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Wire\ Protocol/Protocol\ Numeric.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Wire\ Protocol/Protocol\ Range.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Wire\ Protocol/Protocol\ Sign\ Integer.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Wire\ Protocol/Protocol\ Stridable.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/WireRef\ -\ Logic.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/WireRef\ -\ Traverse.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/WireRef.swift -target x86_64-unknown-linux-gnu -disable-objc-interop -I /host/spi-builder-workspace/.build/out/Products/Debug-linux-x86_64 -module-cache-path /host/spi-builder-workspace/.build/out/ModuleCache.noindex -color-diagnostics -Xcc -fcolor-diagnostics -enable-testing -g -debug-info-format\=dwarf -dwarf-version\=4 -swift-version 6 -Onone -D SWIFT_PACKAGE -D DEBUG -D SWIFT_MODULE_RESOURCE_BUNDLE_UNAVAILABLE -D Xcode -serialize-debugging-options -load-plugin-executable /host/spi-builder-workspace/.build/out/Products/Debug-linux-x86_64/ShimmersMacros\#ShimmersMacros -enable-experimental-feature DebugDescriptionMacro -empty-abi-descriptor -external-plugin-path /usr/lib/swift/host/plugins/testing\#/usr/bin/swift-plugin-server -validate-clang-modules-once -clang-build-session-file /host/spi-builder-workspace/.build/out/ModuleCache.noindex/Session.modulevalidation -Xcc -working-directory -Xcc /host -enable-anonymous-context-mangled-names -file-compilation-dir /host -Xcc -fmodule-map-file\=/host/spi-builder-workspace/.build/checkouts/swift-system/Sources/CSystem/include/module.modulemap -Xcc -fmodule-map-file\=/host/spi-builder-workspace/.build/checkouts/swift-subprocess/Sources/_SubprocessCShims/include/module.modulemap -Xcc -fno-omit-frame-pointer -Xcc -D_LIBCPP_HARDENING_MODE\=_LIBCPP_HARDENING_MODE_DEBUG -Xcc -fmodules-prune-interval\=86400 -Xcc -fmodules-prune-after\=345600 -Xcc -I/host/spi-builder-workspace/.build/checkouts/swift-system/Sources/CSystem/include -Xcc -I/host/spi-builder-workspace/.build/checkouts/swift-subprocess/Sources/_SubprocessCShims/include -Xcc -I/host/spi-builder-workspace/.build/out/Products/Debug-linux-x86_64/include -Xcc -I/host/spi-builder-workspace/.build/out/Intermediates.noindex/shimmers-hdl.build/Debug-linux-x86_64/Shimmers-t.build/DerivedSources-normal/x86_64 -Xcc -I/host/spi-builder-workspace/.build/out/Intermediates.noindex/shimmers-hdl.build/Debug-linux-x86_64/Shimmers-t.build/DerivedSources/x86_64 -Xcc -I/host/spi-builder-workspace/.build/out/Intermediates.noindex/shimmers-hdl.build/Debug-linux-x86_64/Shimmers-t.build/DerivedSources -Xcc -DSWIFT_PACKAGE -Xcc -DDEBUG\=1 -no-auto-bridging-header-chaining -module-name Shimmers -package-name spi_builder_workspace -const-gather-protocols-file /host/spi-builder-workspace/.build/out/Intermediates.noindex/shimmers-hdl.build/Debug-linux-x86_64/Shimmers-t.build/Objects-normal/x86_64/Shimmers_const_extract_protocols.json -in-process-plugin-server-path /usr/lib/swift/host/libSwiftInProcPluginServer.so -plugin-path /usr/lib/swift/host/plugins -plugin-path /usr/local/lib/swift/host/plugins -emit-module-doc-path /host/spi-builder-workspace/.build/out/Intermediates.noindex/shimmers-hdl.build/Debug-linux-x86_64/Shimmers-t.build/Objects-normal/x86_64/Modules/Shimmers.swiftdoc -emit-module-source-info-path /host/spi-builder-workspace/.build/out/Intermediates.noindex/shimmers-hdl.build/Debug-linux-x86_64/Shimmers-t.build/Objects-normal/x86_64/Modules/Shimmers.swiftsourceinfo -emit-objc-header-path /host/spi-builder-workspace/.build/out/Intermediates.noindex/shimmers-hdl.build/Debug-linux-x86_64/Shimmers-t.build/Objects-normal/x86_64/Shimmers-Swift.h -serialize-diagnostics-path /host/spi-builder-workspace/.build/out/Intermediates.noindex/shimmers-hdl.build/Debug-linux-x86_64/Shimmers-t.build/Objects-normal/x86_64/Shimmers-primary-emit-module.dia -emit-dependencies-path /host/spi-builder-workspace/.build/out/Intermediates.noindex/shimmers-hdl.build/Debug-linux-x86_64/Shimmers-t.build/Objects-normal/x86_64/Shimmers-primary-emit-module.d -parse-as-library -o /host/spi-builder-workspace/.build/out/Intermediates.noindex/shimmers-hdl.build/Debug-linux-x86_64/Shimmers-t.build/Objects-normal/x86_64/Modules/Shimmers.swiftmodule
[495 / 511] Shimmers
error: Build failed
BUILD FAILURE 6.4 linux