all: clean isisscripts help isisscripts: share/isisscripts.sl doc: help help: share/isisscripts.txt ######################################################################## # ISIS scripts .PHONY: share/isisscripts.sl share/isisscripts.sl: @bin/makestatic --dir=src --first=isisscripts.sl > $@ @make test .PHONY: test test: # fails if any command produces exit code != 0 @for test in test/*.sl; do \ echo; \ echo $$test; \ isis -g -n $$test || exit 1; \ done @awk -f test/number_of_if_endif_directives.awk share/isisscripts.sl .PHONY: share/isisscripts.txt share/isisscripts.txt: cd doc && make distclean isisscripts_help.txt && make clean && cd .. mv doc/isisscripts_help.txt $@ # S-Lang scripts .PHONY: share/slangscripts.sl share/slangscripts.sl: @bin/makestatic --dir=src/slang --first=help.sl --first=mean.sl > $@ # clean up find_ws: find src -name \*.sl -exec bin/find_whitespace.pl {} \; | jed clean: @echo "deleting the following files:" @find ./ -name \*~ @find ./ -name \*~ -exec rm -f {} \; @echo "-----------------------------"