diff options
| -rw-r--r-- | testsuite/makefiles/Makefile.dlambda | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/testsuite/makefiles/Makefile.dlambda b/testsuite/makefiles/Makefile.dlambda new file mode 100644 index 000000000..bfc1cf461 --- /dev/null +++ b/testsuite/makefiles/Makefile.dlambda @@ -0,0 +1,31 @@ +######################################################################### +# # +# OCaml # +# # +# Xavier Clerc, SED, INRIA Rocquencourt # +# # +# Copyright 2010 Institut National de Recherche en Informatique et # +# en Automatique. All rights reserved. This file is distributed # +# under the terms of the Q Public License version 1.0. # +# # +######################################################################### + +# To avoid tests breaking each time the internal name generation +# changes, we strip -dlambda-produced identifiers of their unique +# identifier: "x/1234" becomes simply "x". + +default: + @for file in *.ml; do \ + $(OCAMLC) -dlambda -c $$file 2>&1 | \ + sed -e 's|\([A-Za-z_]\+\)/[0-9]\+|\1|g' > $$file.result; \ + done + @for file in *.reference; do \ + printf " ... testing '$$file':"; \ + $(DIFF) $$file `basename $$file reference`result >/dev/null \ + && echo " => passed" || echo " => failed"; \ + done + +promote: defaultpromote + +clean: defaultclean + @rm -f *.result |