VHDLModelChecker/Package.swift at main · CPSLabGU/VHDLModelChecker · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
// swift-tools-version: 5.7
// The swift-tools-version declares the minimum version of Swift required to build this package.

import PackageDescription

/// The package definition.
let package = Package(
    name: "VHDLModelChecker",
    platforms: [
        .macOS(.v13)
    ],
    products: [
        // Products define the executables and libraries a package produces, and make them visible to other
        // packages.
        .library(
            name: "VHDLModelChecker",
            targets: ["VHDLModelChecker"]
        ),
        .library(name: "LLFSMVerify", targets: ["LLFSMVerifyCommands"]),
        .executable(name: "llfsm-verify", targets: ["VerifyMain"])
    ],
    dependencies: [
        // Dependencies declare other packages that this package depends on.
        // .package(url: /* package url */, from: "1.0.0"),
        .package(url: "https://github.com/apple/swift-docc-plugin", from: "1.3.0"),
        .package(url: "https://github.com/mipalgu/VHDLParsing", from: "2.4.0"),
        .package(url: "https://github.com/cpslabgu/TCTLParser", from: "2.0.0"),
        .package(url: "https://github.com/cpslabgu/VHDLKripkeStructures", from: "1.4.0"),
        .package(url: "https://github.com/apple/swift-argument-parser.git", from: "1.4.0"),
        // .package(url: "https://github.com/stephencelis/SQLite.swift.git", from: "0.15.0")
    ],
    targets: [
        // Targets are the basic building blocks of a package. A target can define a module or a test suite.
        // Targets can depend on other targets in this package, and on products in packages this package
        // depends on.
        .systemLibrary(
            name: "CSQLite", pkgConfig: "sqlite3", providers: [.apt(["libsqlite3-dev"]), .brew(["sqlite3"])]
        ),
        .target(
            name: "VHDLModelChecker",
            dependencies: [
                .product(name: "StringHelpers", package: "VHDLParsing"),
                .product(name: "VHDLParsing", package: "VHDLParsing"),
                .product(name: "TCTLParser", package: "TCTLParser"),
                .product(name: "VHDLKripkeStructures", package: "VHDLKripkeStructures"),
                // .product(name: "SQLite", package: "SQLite.swift")
                .target(name: "CSQLite")
            ]
        ),
        .target(
            name: "LLFSMVerifyCommands",
            dependencies: [
                .target(name: "VHDLModelChecker"),
                .product(name: "ArgumentParser", package: "swift-argument-parser"),
                .product(name: "VHDLKripkeStructures", package: "VHDLKripkeStructures")
            ]
        ),
        .executableTarget(
            name: "VerifyMain",
            dependencies: [.target(name: "LLFSMVerifyCommands")],
            swiftSettings: [.unsafeFlags(["-parse-as-library"], .when(platforms: [.windows]))]
        ),
        .testTarget(
            name: "VHDLModelCheckerTests",
            dependencies: [
                .target(name: "VHDLModelChecker"),
                .product(name: "VHDLParsing", package: "VHDLParsing"),
                .product(name: "TCTLParser", package: "TCTLParser"),
                .product(name: "VHDLKripkeStructures", package: "VHDLKripkeStructures"),
                // .product(name: "SQLite", package: "SQLite.swift")
                .target(name: "CSQLite")
            ],
            resources: [
                .process("output.json"),
                .process("modeSelector_kripkeStructure.json"),
                .process("modeSelector_kripkeStructure_old.json")
            ]
        )
    ]
)