blob: 2302b1961ac117a68273f36e6236e45c93042e74 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
# $Id$
default:
@for file in *.ml; do \
$(OCAML) < $$file 2>&1 | grep -v '^ Objective Caml version' > $$file.result; \
if [ -f $$file.principal.reference ]; then \
$(OCAML) -principal < $$file 2>&1 | grep -v '^ Objective Caml version' > $$file.principal.result; \
fi; \
done
@for file in *.reference; do \
printf " ... testing '$$file':"; \
diff -q $$file `basename $$file reference`result || (echo " => failed" && exit 1) && echo " => passed"; \
done
clean: defaultclean
@rm -f *.result
|
