summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authormo khan <mo@mokhan.ca>2025-07-05 13:05:24 -0600
committermo khan <mo@mokhan.ca>2025-07-05 13:05:24 -0600
commitf399f108259602d4337167ab58876504a00f83a6 (patch)
tree59b85623902f742c8702cb3fee602c3b4542da51 /Makefile
parent172ccab744de1fcb10e8b1dbf71f706866175b0f (diff)
chore: use cedar policy cli to format and lint cedar policies
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 6eb1ec31..701b2422 100644
--- a/Makefile
+++ b/Makefile
@@ -9,6 +9,7 @@ setup:
mise install
mise exec go -- go install github.com/xlgmokha/minit@latest
mise exec rust -- rustup component add clippy rustfmt
+ mise exec rust -- cargo install --locked cedar-policy-cli
# Cargo targets
build:
@@ -29,9 +30,12 @@ clean:
fmt:
@cargo fmt
+ @cedar format --policies etc/authzd/policy0.cedar --write
lint:
@cargo clippy
+ @cedar check-parse --policies etc/authzd/policy0.cedar
+ @cedar format --policies etc/authzd/policy0.cedar --check
doc:
@cargo doc --open