bin/mycpp_main_souffle.sh

OILS / bin / mycpp_main_souffle.sh View on Github | oils.pub

8 lines, 4 significant

1	#!/bin/sh
2
3	MYPYPATH=$1 # e.g. $REPO_ROOT/mycpp
4	out=$2
5	shift 2
6
7	# Add an extra flag, and also depends on _bin/datalog
8	exec _bin/shwrap/mycpp_main $MYPYPATH $out --minimize-stack-roots "$@"