###########################################################################
#
# Filename:
#
#   Makefile
#
# Description:
#
#   Makefile to build and run the benchmark programs
#
#   There are three targets in this Makefile:
#     all    - compile all the benchmarks
#     run    - execute all the benchmarks (on the simulator)
#     clean  - delete derived files
#
# Revision:
#
#   $Id: Makefile,v $
#
###########################################################################

SHELL = /bin/sh

target = erc-coff

CC = $(target)-gcc 
RUN = $(target)-run
GMAKE = $(target)-gnatmake

CFLAGS = -O2 -g -gnatp

TESTS = ackermann sieve whetstone

all: $(TESTS)

ackermann: ackermann.adb
	$(GMAKE) $(CFLAGS) ackermann 

sieve: sieve.adb sieve.ads
	$(GMAKE) $(CFLAGS) sieve 

whetstone: whetstone.adb
	$(GMAKE) $(CFLAGS) whetstone 

run: $(TESTS)
	$(RUN) $(TESTS)

clean:
	rm -rf $(TESTS) *.o *.s a.out *.ali b~*