diff options
Diffstat (limited to 'testsuite/tests/tool-ocaml/Makefile')
-rw-r--r-- | testsuite/tests/tool-ocaml/Makefile | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/testsuite/tests/tool-ocaml/Makefile b/testsuite/tests/tool-ocaml/Makefile new file mode 100644 index 0000000000..708d022e8d --- /dev/null +++ b/testsuite/tests/tool-ocaml/Makefile @@ -0,0 +1,16 @@ +SHOULD_FAIL=t060-raise.ml + +compile: lib.cmo + @for file in t*.ml; do \ + echo -n " ... testing '$$file'"; \ + if [ `echo $(SHOULD_FAIL) | grep $$file` ]; then \ + $(OCAML) -w a lib.cmo $$file 2> /dev/null && (echo " => failed" && exit 1) || echo " => passed"; \ + else \ + $(OCAML) -w a lib.cmo $$file 2> /dev/null && echo " => passed" || (echo " => failed" && exit 1); \ + fi; \ + done + +clean: defaultclean + @rm -f ./a.out + +include ../../makefiles/Makefile.common |