mirror of
https://github.com/NVIDIA/OpenShell.git
synced 2026-10-19 05:50:41 +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>
34 lines
969 B
TOML
34 lines
969 B
TOML
# SPDX-FileCopyrightText: Copyright (c) 2025-2026 NVIDIA CORPORATION & AFFILIATES. All rights reserved.
|
|
# SPDX-License-Identifier: Apache-2.0
|
|
|
|
[package]
|
|
name = "openshell-prover"
|
|
description = "Formal policy verification for OpenShell sandboxes"
|
|
version.workspace = true
|
|
edition.workspace = true
|
|
rust-version.workspace = true
|
|
license.workspace = true
|
|
repository.workspace = true
|
|
|
|
[features]
|
|
vendored-z3 = ["z3/vendored"]
|
|
prebuilt-z3 = ["z3/gh-release"]
|
|
|
|
[dependencies]
|
|
z3 = { workspace = true }
|
|
openshell-policy-schema = { path = "../openshell-policy-schema" }
|
|
serde = { workspace = true }
|
|
serde_yml = { workspace = true }
|
|
miette = { workspace = true }
|
|
owo-colors = { workspace = true }
|
|
include_dir = { workspace = true }
|
|
glob = { workspace = true }
|
|
|
|
[dev-dependencies]
|
|
openshell-core = { path = "../openshell-core" }
|
|
regorus = { version = "0.9", default-features = false, features = ["std", "arc", "glob"] }
|
|
serde_json = { workspace = true }
|
|
|
|
[lints]
|
|
workspace = true
|