mirror of
https://github.com/NVIDIA/OpenShell.git
synced 2026-10-02 07:34:45 +08:00
Simon Scatton
e21b7fd8cf
* chore(build): remove bundled Z3 support Signed-off-by: Simon Scatton <sscatton@nvidia.com> Signed-off-by: Piotr Mlocek <pmlocek@nvidia.com> * fix(build): preserve vendored Z3 for local gateway artifacts Signed-off-by: Simon Scatton <sscatton@nvidia.com> --------- Signed-off-by: Simon Scatton <sscatton@nvidia.com> Signed-off-by: Piotr Mlocek <pmlocek@nvidia.com>
33 lines
791 B
TOML
33 lines
791 B
TOML
# SPDX-FileCopyrightText: Copyright (c) 2025-2026 NVIDIA CORPORATION & AFFILIATES. All rights reserved.
|
|
# SPDX-License-Identifier: Apache-2.0
|
|
|
|
[package]
|
|
name = "openshell-prover-cli"
|
|
description = "Standalone OpenShell policy boundary checker"
|
|
version.workspace = true
|
|
edition.workspace = true
|
|
rust-version.workspace = true
|
|
license.workspace = true
|
|
repository.workspace = true
|
|
|
|
[[bin]]
|
|
name = "openshell-prover"
|
|
path = "src/main.rs"
|
|
|
|
[features]
|
|
vendored-z3 = ["openshell-prover/vendored-z3"]
|
|
prebuilt-z3 = ["openshell-prover/prebuilt-z3"]
|
|
|
|
[dependencies]
|
|
clap.workspace = true
|
|
openshell-prover = { path = "../openshell-prover" }
|
|
serde.workspace = true
|
|
serde_json.workspace = true
|
|
|
|
[target.'cfg(unix)'.dependencies]
|
|
nix.workspace = true
|
|
signal-hook.workspace = true
|
|
|
|
[lints]
|
|
workspace = true
|