Package.swift

// swift-tools-version:5.4

import PackageDescription

let package = Package(
    name: "SwiftZ3",
    platforms: [
        .macOS(.v10_13),
    ],
    products: [
        .library(
            name: "SwiftZ3",
            targets: ["SwiftZ3"]
        ),
        .library(
            name: "CZ3",
            type: .dynamic,
            targets: ["CZ3"]
        ),
        .executable(
            name: "SwiftZ3Sample",
            targets: ["SwiftZ3Sample"]
        ),
    ],
    targets: [
        .target(
            name: "CZ3",
            dependencies: [],
            cSettings: [
                .headerSearchPath("./"),
                .define("_MP_INTERNAL"),
            ],
            cxxSettings: [
                .headerSearchPath("./"),
                .define("_MP_INTERNAL"),
            ],
            linkerSettings: [
                .linkedLibrary("m", .when(platforms: [.linux])),
                .linkedLibrary("pthread", .when(platforms: [.linux])),
            ]
        ),
        .target(
            name: "SwiftZ3",
            dependencies: ["CZ3"]
        ),
        .executableTarget(
            name: "SwiftZ3Sample",
            dependencies: ["SwiftZ3", "CZ3"]
        ),
        .testTarget(
            name: "SwiftZ3Tests",
            dependencies: ["SwiftZ3", "CZ3"]
        ),
    ],
    cxxLanguageStandard: .cxx17
)