From f3dcac8d944ef9340d7581cd7833fe94e82941d6 Mon Sep 17 00:00:00 2001 From: Kesha Hietala Date: Mon, 23 Sep 2024 14:44:05 -0600 Subject: [PATCH] update dockerfile --- oopsla2024-benchmarks/Dockerfile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/oopsla2024-benchmarks/Dockerfile b/oopsla2024-benchmarks/Dockerfile index 7860f22..e91030f 100644 --- a/oopsla2024-benchmarks/Dockerfile +++ b/oopsla2024-benchmarks/Dockerfile @@ -18,8 +18,8 @@ ENV PATH="${PATH}:${HOME}/openfga" RUN timeout 0.1 openfga run --playground-enabled=false --log-level=warn || true ## Clone cedar and cedar-spec -RUN git clone https://github.com/cedar-policy/cedar-spec -b main -RUN git clone https://github.com/cedar-policy/cedar cedar-spec/cedar -b main +RUN git clone https://github.com/cedar-policy/cedar-spec /cedar-spec -b main +RUN git clone https://github.com/cedar-policy/cedar /cedar-spec/cedar -b main ## Install Cedar CLI so it is usable from command line RUN cargo install cedar-policy-cli@4.0.0 --path cedar-spec/cedar/cedar-policy-cli @@ -39,6 +39,7 @@ COPY Cargo.toml plot.py README.md cedar-benchmarks/ COPY generators cedar-benchmarks/generators/ COPY benches cedar-benchmarks/benches/ COPY src cedar-benchmarks/src/ +COPY /cedar-spec cedar-benchmarks/cedar-spec/ COPY rego-harness cedar-benchmarks/rego-harness/ COPY validate_all_benchmarks.sh cedar-benchmarks