chore: some traces

aiken-lang · Jan 31, 2024 · 45f4fbd · 45f4fbd
1 parent 1089caf
commit 45f4fbd
Show file tree

Hide file tree

Showing 3 changed files with 46 additions and 907 deletions.
diff --git a/build.sh b/build.sh
@@ -0,0 +1,8 @@
+#!/opt/homebrew/bin/fish
+aiken build --trace-level verbose
+
+aiken blueprint apply --validator "marlowe.execute" --out plutus.json 581c(cat plutus.json | jq -r '.validators[1].hash')
+
+aiken blueprint convert --validator "marlowe.role_payout" > ../marlowe-plutus/marlowe-plutus/payout.plutus
+
+aiken blueprint convert --validator "marlowe.execute" > ../marlowe-plutus/marlowe-plutus/semantics.plutus