Swift Package IndexBuild Information
Successful build of LogicKit with Swift 6.0 for Linux.
Swift 6 data race errors: 9
Build Command
bash -c docker run --rm -v "checkouts-4606859-0":/host -w "$workDir" registry.gitlab.com/finestructure/spi-images:basic-6.0-latest swift build --triple x86_64-unknown-linux-gnu -Xswiftc -Xfrontend -Xswiftc -stats-output-dir -Xswiftc -Xfrontend -Xswiftc .stats -Xswiftc -strict-concurrency=complete 2>&1Build Log
========================================
RunAll
========================================
Builder version: 4.40.0
Interrupt handler set up.
========================================
Checkout
========================================
Clone URL: https://github.com/kyouko-taiga/logickit.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/kyouko-taiga/logickit
* branch master -> FETCH_HEAD
* [new branch] master -> origin/master
HEAD is now at f25819a Add a link to the short paper
Cloned https://github.com/kyouko-taiga/logickit.git
Revision (git rev-parse @):
f25819a00278ad9649f57837409940f7721e1fde
SUCCESS checkout https://github.com/kyouko-taiga/logickit.git at master
========================================
Build
========================================
Selected platform: linux
Swift version: 6.0
Building package at path: $workDir
https://github.com/kyouko-taiga/logickit.git
Running build ...
bash -c docker run --rm -v "checkouts-4606859-0":/host -w "$workDir" registry.gitlab.com/finestructure/spi-images:basic-6.0-latest swift build --triple x86_64-unknown-linux-gnu -Xswiftc -Xfrontend -Xswiftc -stats-output-dir -Xswiftc -Xfrontend -Xswiftc .stats -Xswiftc -strict-concurrency=complete 2>&1
Building for debugging...
[0/7] Write sources
[2/7] Write swift-version-24593BA9C3E375BF.txt
[4/15] Compiling LogicKit Sequence+Extensions.swift
[5/16] Compiling LogicKit Logger.swift
/host/spi-builder-workspace/Sources/LogicKit/Logger.swift:78:14: warning: static property 'foreground' is not concurrency-safe because non-'Sendable' type '[FontColor : String]' may have shared mutable state; this is an error in the Swift 6 language mode
1 | public enum FontColor {
| `- note: consider making enum 'FontColor' conform to the 'Sendable' protocol
2 |
3 | case red, green, yellow
:
76 | }
77 |
78 | static let foreground: [FontColor: String] = [
| |- warning: static property 'foreground' is not concurrency-safe because non-'Sendable' type '[FontColor : String]' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: annotate 'foreground' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
79 | .red : "31m",
80 | .green : "32m",
/host/spi-builder-workspace/Sources/LogicKit/Logger.swift:84:14: warning: static property 'background' is not concurrency-safe because non-'Sendable' type '[FontColor : String]' may have shared mutable state; this is an error in the Swift 6 language mode
1 | public enum FontColor {
| `- note: consider making enum 'FontColor' conform to the 'Sendable' protocol
2 |
3 | case red, green, yellow
:
82 | ]
83 |
84 | static let background: [FontColor: String] = [
| |- warning: static property 'background' is not concurrency-safe because non-'Sendable' type '[FontColor : String]' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: annotate 'background' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
85 | .red : "41m",
86 | .green : "42m",
[6/16] Compiling LogicKit Realizer.swift
[7/16] Compiling LogicKit EDSL.swift
[8/16] Compiling LogicKit BindingMap.swift
[9/16] Emitting module LogicKit
/host/spi-builder-workspace/Sources/LogicKit/Logger.swift:78:14: warning: static property 'foreground' is not concurrency-safe because non-'Sendable' type '[FontColor : String]' may have shared mutable state; this is an error in the Swift 6 language mode
1 | public enum FontColor {
| `- note: consider making enum 'FontColor' conform to the 'Sendable' protocol
2 |
3 | case red, green, yellow
:
76 | }
77 |
78 | static let foreground: [FontColor: String] = [
| |- warning: static property 'foreground' is not concurrency-safe because non-'Sendable' type '[FontColor : String]' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: annotate 'foreground' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
79 | .red : "31m",
80 | .green : "32m",
/host/spi-builder-workspace/Sources/LogicKit/Logger.swift:84:14: warning: static property 'background' is not concurrency-safe because non-'Sendable' type '[FontColor : String]' may have shared mutable state; this is an error in the Swift 6 language mode
1 | public enum FontColor {
| `- note: consider making enum 'FontColor' conform to the 'Sendable' protocol
2 |
3 | case red, green, yellow
:
82 | ]
83 |
84 | static let background: [FontColor: String] = [
| |- warning: static property 'background' is not concurrency-safe because non-'Sendable' type '[FontColor : String]' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: annotate 'background' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
85 | .red : "41m",
86 | .green : "42m",
[10/16] Compiling LogicKit AnswerSet.swift
[11/16] Compiling LogicKit KnowledgeBase.swift
[12/16] Compiling LogicKit Term.swift
[13/17] Wrapping AST for LogicKit for debugging
[15/20] Compiling LogicKitBuiltins List.swift
/host/spi-builder-workspace/Sources/LogicKitBuiltins/List.swift:7:21: warning: static property 'empty' is not concurrency-safe because non-'Sendable' type 'Term' may have shared mutable state; this is an error in the Swift 6 language mode
5 | // MARK: Generators
6 |
7 | public static let empty: Term = .lit("list::empty")
| `- warning: static property 'empty' is not concurrency-safe because non-'Sendable' type 'Term' may have shared mutable state; this is an error in the Swift 6 language mode
8 |
9 | public static func cons(_ head: Term, _ tail: Term) -> Term {
/host/spi-builder-workspace/Sources/LogicKit/Term.swift:1:13: note: enum 'Term' does not conform to the 'Sendable' protocol
1 | public enum Term {
| `- note: enum 'Term' does not conform to the 'Sendable' protocol
2 |
3 | /// A logic variable.
/host/spi-builder-workspace/Sources/LogicKitBuiltins/List.swift:1:1: warning: add '@preconcurrency' to suppress 'Sendable'-related warnings from module 'LogicKit'
1 | import LogicKit
| `- warning: add '@preconcurrency' to suppress 'Sendable'-related warnings from module 'LogicKit'
2 |
3 | public enum List {
:
5 | // MARK: Generators
6 |
7 | public static let empty: Term = .lit("list::empty")
| |- note: annotate 'empty' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
8 |
9 | public static func cons(_ head: Term, _ tail: Term) -> Term {
/host/spi-builder-workspace/Sources/LogicKitBuiltins/List.swift:41:21: warning: static property 'countAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
39 | public static var axioms: [Term] { return countAxioms + containsAxioms + concatAxioms }
40 |
41 | public static let countAxioms: [Term] = {
| |- warning: static property 'countAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: annotate 'countAxioms' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
42 | let a: Term = .var("a")
43 | let b: Term = .var("b")
/host/spi-builder-workspace/Sources/LogicKit/Term.swift:1:13: note: enum 'Term' does not conform to the 'Sendable' protocol
1 | public enum Term {
| `- note: enum 'Term' does not conform to the 'Sendable' protocol
2 |
3 | /// A logic variable.
/host/spi-builder-workspace/Sources/LogicKitBuiltins/Nat.swift:7:21: warning: static property 'zero' is not concurrency-safe because non-'Sendable' type 'Term' may have shared mutable state; this is an error in the Swift 6 language mode
5 | // MARK: Generators
6 |
7 | public static let zero: Term = .lit("nat::0")
| `- warning: static property 'zero' is not concurrency-safe because non-'Sendable' type 'Term' may have shared mutable state; this is an error in the Swift 6 language mode
8 |
9 | public static func succ(_ n: Term) -> Term {
/host/spi-builder-workspace/Sources/LogicKit/Term.swift:1:13: note: enum 'Term' does not conform to the 'Sendable' protocol
1 | public enum Term {
| `- note: enum 'Term' does not conform to the 'Sendable' protocol
2 |
3 | /// A logic variable.
/host/spi-builder-workspace/Sources/LogicKitBuiltins/Nat.swift:1:1: warning: add '@preconcurrency' to suppress 'Sendable'-related warnings from module 'LogicKit'
1 | import LogicKit
| `- warning: add '@preconcurrency' to suppress 'Sendable'-related warnings from module 'LogicKit'
2 |
3 | public enum Nat {
:
5 | // MARK: Generators
6 |
7 | public static let zero: Term = .lit("nat::0")
| |- note: annotate 'zero' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
8 |
9 | public static func succ(_ n: Term) -> Term {
/host/spi-builder-workspace/Sources/LogicKitBuiltins/List.swift:54:21: warning: static property 'containsAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
52 | }()
53 |
54 | public static let containsAxioms: [Term] = {
| |- warning: static property 'containsAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: annotate 'containsAxioms' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
55 | let a: Term = .var("a")
56 | let b: Term = .var("b")
/host/spi-builder-workspace/Sources/LogicKit/Term.swift:1:13: note: enum 'Term' does not conform to the 'Sendable' protocol
1 | public enum Term {
| `- note: enum 'Term' does not conform to the 'Sendable' protocol
2 |
3 | /// A logic variable.
/host/spi-builder-workspace/Sources/LogicKitBuiltins/List.swift:67:21: warning: static property 'concatAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
65 | }()
66 |
67 | public static let concatAxioms: [Term] = {
| |- warning: static property 'concatAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: annotate 'concatAxioms' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
68 | let a: Term = .var("a")
69 | let b: Term = .var("b")
/host/spi-builder-workspace/Sources/LogicKit/Term.swift:1:13: note: enum 'Term' does not conform to the 'Sendable' protocol
1 | public enum Term {
| `- note: enum 'Term' does not conform to the 'Sendable' protocol
2 |
3 | /// A logic variable.
[16/20] Emitting module LogicKitBuiltins
/host/spi-builder-workspace/Sources/LogicKitBuiltins/List.swift:7:21: warning: static property 'empty' is not concurrency-safe because non-'Sendable' type 'Term' may have shared mutable state; this is an error in the Swift 6 language mode
5 | // MARK: Generators
6 |
7 | public static let empty: Term = .lit("list::empty")
| `- warning: static property 'empty' is not concurrency-safe because non-'Sendable' type 'Term' may have shared mutable state; this is an error in the Swift 6 language mode
8 |
9 | public static func cons(_ head: Term, _ tail: Term) -> Term {
/host/spi-builder-workspace/Sources/LogicKit/Term.swift:1:13: note: enum 'Term' does not conform to the 'Sendable' protocol
1 | public enum Term {
| `- note: enum 'Term' does not conform to the 'Sendable' protocol
2 |
3 | /// A logic variable.
/host/spi-builder-workspace/Sources/LogicKitBuiltins/List.swift:1:1: warning: add '@preconcurrency' to suppress 'Sendable'-related warnings from module 'LogicKit'
1 | import LogicKit
| `- warning: add '@preconcurrency' to suppress 'Sendable'-related warnings from module 'LogicKit'
2 |
3 | public enum List {
:
5 | // MARK: Generators
6 |
7 | public static let empty: Term = .lit("list::empty")
| |- note: annotate 'empty' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
8 |
9 | public static func cons(_ head: Term, _ tail: Term) -> Term {
/host/spi-builder-workspace/Sources/LogicKitBuiltins/List.swift:41:21: warning: static property 'countAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
39 | public static var axioms: [Term] { return countAxioms + containsAxioms + concatAxioms }
40 |
41 | public static let countAxioms: [Term] = {
| |- warning: static property 'countAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: annotate 'countAxioms' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
42 | let a: Term = .var("a")
43 | let b: Term = .var("b")
/host/spi-builder-workspace/Sources/LogicKit/Term.swift:1:13: note: enum 'Term' does not conform to the 'Sendable' protocol
1 | public enum Term {
| `- note: enum 'Term' does not conform to the 'Sendable' protocol
2 |
3 | /// A logic variable.
/host/spi-builder-workspace/Sources/LogicKitBuiltins/Nat.swift:7:21: warning: static property 'zero' is not concurrency-safe because non-'Sendable' type 'Term' may have shared mutable state; this is an error in the Swift 6 language mode
5 | // MARK: Generators
6 |
7 | public static let zero: Term = .lit("nat::0")
| `- warning: static property 'zero' is not concurrency-safe because non-'Sendable' type 'Term' may have shared mutable state; this is an error in the Swift 6 language mode
8 |
9 | public static func succ(_ n: Term) -> Term {
/host/spi-builder-workspace/Sources/LogicKit/Term.swift:1:13: note: enum 'Term' does not conform to the 'Sendable' protocol
1 | public enum Term {
| `- note: enum 'Term' does not conform to the 'Sendable' protocol
2 |
3 | /// A logic variable.
/host/spi-builder-workspace/Sources/LogicKitBuiltins/Nat.swift:1:1: warning: add '@preconcurrency' to suppress 'Sendable'-related warnings from module 'LogicKit'
1 | import LogicKit
| `- warning: add '@preconcurrency' to suppress 'Sendable'-related warnings from module 'LogicKit'
2 |
3 | public enum Nat {
:
5 | // MARK: Generators
6 |
7 | public static let zero: Term = .lit("nat::0")
| |- note: annotate 'zero' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
8 |
9 | public static func succ(_ n: Term) -> Term {
/host/spi-builder-workspace/Sources/LogicKitBuiltins/List.swift:54:21: warning: static property 'containsAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
52 | }()
53 |
54 | public static let containsAxioms: [Term] = {
| |- warning: static property 'containsAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: annotate 'containsAxioms' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
55 | let a: Term = .var("a")
56 | let b: Term = .var("b")
/host/spi-builder-workspace/Sources/LogicKit/Term.swift:1:13: note: enum 'Term' does not conform to the 'Sendable' protocol
1 | public enum Term {
| `- note: enum 'Term' does not conform to the 'Sendable' protocol
2 |
3 | /// A logic variable.
/host/spi-builder-workspace/Sources/LogicKitBuiltins/List.swift:67:21: warning: static property 'concatAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
65 | }()
66 |
67 | public static let concatAxioms: [Term] = {
| |- warning: static property 'concatAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: annotate 'concatAxioms' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
68 | let a: Term = .var("a")
69 | let b: Term = .var("b")
/host/spi-builder-workspace/Sources/LogicKit/Term.swift:1:13: note: enum 'Term' does not conform to the 'Sendable' protocol
1 | public enum Term {
| `- note: enum 'Term' does not conform to the 'Sendable' protocol
2 |
3 | /// A logic variable.
/host/spi-builder-workspace/Sources/LogicKitBuiltins/Nat.swift:88:21: warning: static property 'relationAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
86 | public static var axioms: [Term] { return arithmeticAxioms }
87 |
88 | public static let relationAxioms: [Term] = {
| |- warning: static property 'relationAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: annotate 'relationAxioms' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
89 | let x: Term = .var("x")
90 | let y: Term = .var("y")
/host/spi-builder-workspace/Sources/LogicKit/Term.swift:1:13: note: enum 'Term' does not conform to the 'Sendable' protocol
1 | public enum Term {
| `- note: enum 'Term' does not conform to the 'Sendable' protocol
2 |
3 | /// A logic variable.
/host/spi-builder-workspace/Sources/LogicKitBuiltins/Nat.swift:115:21: warning: static property 'arithmeticAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
113 | }()
114 |
115 | public static let arithmeticAxioms: [Term] = {
| |- warning: static property 'arithmeticAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: annotate 'arithmeticAxioms' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
116 | let v: Term = .var("v")
117 | let w: Term = .var("w")
/host/spi-builder-workspace/Sources/LogicKit/Term.swift:1:13: note: enum 'Term' does not conform to the 'Sendable' protocol
1 | public enum Term {
| `- note: enum 'Term' does not conform to the 'Sendable' protocol
2 |
3 | /// A logic variable.
[17/20] Compiling LogicKitBuiltins Nat.swift
/host/spi-builder-workspace/Sources/LogicKitBuiltins/Nat.swift:7:21: warning: static property 'zero' is not concurrency-safe because non-'Sendable' type 'Term' may have shared mutable state; this is an error in the Swift 6 language mode
5 | // MARK: Generators
6 |
7 | public static let zero: Term = .lit("nat::0")
| `- warning: static property 'zero' is not concurrency-safe because non-'Sendable' type 'Term' may have shared mutable state; this is an error in the Swift 6 language mode
8 |
9 | public static func succ(_ n: Term) -> Term {
/host/spi-builder-workspace/Sources/LogicKit/Term.swift:1:13: note: enum 'Term' does not conform to the 'Sendable' protocol
1 | public enum Term {
| `- note: enum 'Term' does not conform to the 'Sendable' protocol
2 |
3 | /// A logic variable.
/host/spi-builder-workspace/Sources/LogicKitBuiltins/Nat.swift:1:1: warning: add '@preconcurrency' to suppress 'Sendable'-related warnings from module 'LogicKit'
1 | import LogicKit
| `- warning: add '@preconcurrency' to suppress 'Sendable'-related warnings from module 'LogicKit'
2 |
3 | public enum Nat {
:
5 | // MARK: Generators
6 |
7 | public static let zero: Term = .lit("nat::0")
| |- note: annotate 'zero' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
8 |
9 | public static func succ(_ n: Term) -> Term {
/host/spi-builder-workspace/Sources/LogicKitBuiltins/Nat.swift:88:21: warning: static property 'relationAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
86 | public static var axioms: [Term] { return arithmeticAxioms }
87 |
88 | public static let relationAxioms: [Term] = {
| |- warning: static property 'relationAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: annotate 'relationAxioms' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
89 | let x: Term = .var("x")
90 | let y: Term = .var("y")
/host/spi-builder-workspace/Sources/LogicKit/Term.swift:1:13: note: enum 'Term' does not conform to the 'Sendable' protocol
1 | public enum Term {
| `- note: enum 'Term' does not conform to the 'Sendable' protocol
2 |
3 | /// A logic variable.
/host/spi-builder-workspace/Sources/LogicKitBuiltins/Nat.swift:115:21: warning: static property 'arithmeticAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
113 | }()
114 |
115 | public static let arithmeticAxioms: [Term] = {
| |- warning: static property 'arithmeticAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: annotate 'arithmeticAxioms' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
116 | let v: Term = .var("v")
117 | let w: Term = .var("w")
/host/spi-builder-workspace/Sources/LogicKit/Term.swift:1:13: note: enum 'Term' does not conform to the 'Sendable' protocol
1 | public enum Term {
| `- note: enum 'Term' does not conform to the 'Sendable' protocol
2 |
3 | /// A logic variable.
[18/21] Wrapping AST for LogicKitBuiltins for debugging
[19/21] Write Objects.LinkFileList
[20/21] Archiving libLogicKit.a
Build complete! (7.97s)
Build complete.
{
"dependencies" : [
],
"manifest_display_name" : "LogicKit",
"name" : "LogicKit",
"path" : "/host/spi-builder-workspace",
"platforms" : [
],
"products" : [
{
"name" : "LogicKit",
"targets" : [
"LogicKit",
"LogicKitBuiltins"
],
"type" : {
"library" : [
"static"
]
}
}
],
"targets" : [
{
"c99name" : "LogicKitTests",
"module_type" : "SwiftTarget",
"name" : "LogicKitTests",
"path" : "Tests/LogicKitTests",
"sources" : [
"BindingMapTests.swift",
"KnowledgeBaseTests.swift",
"LogicKitTests.swift",
"XCTestManifests.swift"
],
"target_dependencies" : [
"LogicKit"
],
"type" : "test"
},
{
"c99name" : "LogicKitBuiltinsTests",
"module_type" : "SwiftTarget",
"name" : "LogicKitBuiltinsTests",
"path" : "Tests/LogicKitBuiltinsTests",
"sources" : [
"ListTests.swift",
"NatTests.swift"
],
"target_dependencies" : [
"LogicKitBuiltins"
],
"type" : "test"
},
{
"c99name" : "LogicKitBuiltins",
"module_type" : "SwiftTarget",
"name" : "LogicKitBuiltins",
"path" : "Sources/LogicKitBuiltins",
"product_memberships" : [
"LogicKit"
],
"sources" : [
"List.swift",
"Nat.swift"
],
"target_dependencies" : [
"LogicKit"
],
"type" : "library"
},
{
"c99name" : "LogicKit",
"module_type" : "SwiftTarget",
"name" : "LogicKit",
"path" : "Sources/LogicKit",
"product_memberships" : [
"LogicKit"
],
"sources" : [
"AnswerSet.swift",
"BindingMap.swift",
"EDSL.swift",
"KnowledgeBase.swift",
"Logger.swift",
"Realizer.swift",
"Sequence+Extensions.swift",
"Term.swift"
],
"type" : "library"
}
],
"tools_version" : "4.2"
}
Done.