provability-fabric/justfile at main · SentinelOps-CI/provability-fabric · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
set shell := ["bash", "-cu"]

root := justfile_directory()
pcs_core := env_var_or_default('PCS_CORE_PATH', root / '../pcs-core')

default:
    @just test-pcs

test-pcs:
    make test-pcs

test-pcs-full:
    make test-pcs-full

pcs-release-gate:
    make pcs-release-gate

test-pcs-benchmark:
    bash "{{root}}/scripts/pcs-benchmark-admission.sh" || powershell -NoProfile -ExecutionPolicy Bypass -File "{{root}}/scripts/pcs-benchmark-admission.ps1"

validate-pcs-benchmark-bundle:
    bash "{{root}}/scripts/pcs-validate-benchmark-bundle.sh" "{{root}}/benchmark_runs/labtrust_admission"

pcs-bench-producer:
    make pcs-bench-producer

export-pcs-benchmark-ingest-reference:
    make export-pcs-benchmark-ingest-reference

pcs-bench-validate-ingest ingest="{{root}}/benchmark_runs/labtrust_admission/pcs_bench_ingest.v0.json" bundle_dir="{{root}}/benchmark_runs/labtrust_admission":
    bash "{{root}}/scripts/pcs-bench-validate-ingest.sh" \
      --input "{{ingest}}" \
      --bundle-dir "{{bundle_dir}}" \
      --pcs-core "{{pcs_core}}" \
      --release-grade

pcs-schema-diff:
    bash "{{root}}/scripts/pcs-schema-diff.sh" "{{pcs_core}}"

pcs-schema-sync:
    bash "{{root}}/scripts/pcs-schema-sync.sh" "{{pcs_core}}"

freeze-pcs-labtrust-signed:
    make freeze-pcs-labtrust-signed

freeze-pcs-labtrust-release:
    make freeze-pcs-labtrust-release

pcs-v01-pf-chain:
    # bash when go is on PATH (CI/Linux); PowerShell fallback on Windows Git Bash without go
    PF_RELEASE_MODE=1 bash "{{root}}/scripts/pcs-pf-clean-chain.sh" "{{root}}/tests/pcs/fixtures/labtrust-release" || powershell -NoProfile -ExecutionPolicy Bypass -File "{{root}}/scripts/pcs-pf-clean-chain.ps1" "{{root}}/tests/pcs/fixtures/labtrust-release"

pcs-v01-clean-chain:
    bash "{{root}}/scripts/run-pcs-v01-clean-chain.sh"

pcs-v01-clean-chain-ps1:
    powershell -NoProfile -ExecutionPolicy Bypass -File "{{root}}/scripts/run-pcs-v01-clean-chain.ps1"

pcs-validate file:
    bash "{{root}}/scripts/pcs" validate "{{file}}"

scientific_memory := env_var_or_default('SCIENTIFIC_MEMORY_ROOT', root / '../scientific-memory')

pcs-import-bundle bundle:
    cd "{{scientific_memory}}" && just pcs-import-bundle "{{bundle}}"

pcs-render-claim claim_id:
    cd "{{scientific_memory}}" && just pcs-render-claim "{{claim_id}}"

demo-pcs:
    make demo-pcs

demo-pcs-release:
    make demo-pcs-release

validate-pcs-fixtures:
    make validate-pcs-fixtures