missing file

oils-for-unix · Dec 6, 2024 · f6f6d92 · f6f6d92
1 parent dcb55fc
commit f6f6d92
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/bin/mycpp_main_souffle.sh b/bin/mycpp_main_souffle.sh
@@ -0,0 +1,8 @@
+#!/bin/sh
+
+MYPYPATH=$1    # e.g. $REPO_ROOT/mycpp
+out=$2
+shift 2
+
+# Add an extra flag, and also depends on _bin/datalog
+exec _bin/shwrap/mycpp_main $MYPYPATH $out --minimize-stack-roots "$@"