2 # Copyright 2002 (c) Leiden University, LIACS,
5 # Permission is granted to copy, use, and distribute
6 # for any commercial or noncommercial purpose under the terms
7 # of the GNU General Public license, version 2, June 1991
8 # (see file : LICENSING).
10 # @author: Bart Kienhuis
11 # $Id: makefile,v 1.26 2002/09/26 13:03:53 kienhuis Exp $
16 # pbs with boulet bouleti and kirk
31 for x in
$(PIPTEST
) ; do \
32 echo
"Verify file $$x" ; \
33 $(ROOT
)/obj
$(BITS
)_
$(TARGET
)/pip
$(BITS
)$(EXEC_SUFFIX
) -z
< $$x > xyz
;\
34 diff
-w xyz
`basename $$x .dat`.ll
; \
36 if
[ "$$result" -eq
"1" ]; then \
37 echo
"Error: $$x is not the same"; \
38 failedtest
=`expr $$failedtest + 1`; \
43 if
[ $$failedtest != 0 ]; then \
44 echo
"$$failedtest tests failed"; \
46 echo
"Test pip works correctly"; \
49 # Include the shared compilation rules
50 include $(ROOT
)/Makefile