all examples in script, and lockfiles

Author: StuartHarris

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