summaryrefslogtreecommitdiffstats
path: root/testsuite/makefiles/Makefile.dlambda
blob: eebf858c5e018e1a6f8bf98018db7b13ade7ad8f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
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_][A-Za-z_']*\)/[0-9][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