all examples in script, and lockfiles

redbadger · Oct 17, 2024 · 0d0184d · 0d0184d
1 parent 75da964
commit 0d0184d
Show file tree

Hide file tree

Showing 5 changed files with 508 additions and 521 deletions.
diff --git a/crux_cli/codegen.fish b/crux_cli/codegen.fish
@@ -1,6 +1,12 @@
 #!/usr/bin/env fish
 
 cargo build
-pushd ../examples/counter
-../../target/debug/crux codegen --lib shared
-popd
+
+for d in ../examples/*
+    echo ""
+    echo "---------------"
+    echo "Public API for $d"
+    pushd $d
+    ../../target/debug/crux codegen --lib shared
+    popd
+end