diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-06 07:05:03 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-06 07:05:03 +0200 |
| commit | c31a684212cfc53bd2bcb3a918490246546328eb (patch) | |
| tree | 59e6478a9a74cf3a288084f864672ebb36df09c9 /test/monniaux/binary_search/Makefile | |
| parent | c41b15668a100dbfc601cf3e1991476b2439513e (diff) | |
| download | compcert-kvx-c31a684212cfc53bd2bcb3a918490246546328eb.tar.gz compcert-kvx-c31a684212cfc53bd2bcb3a918490246546328eb.zip | |
binary search from Rosetta Code
Diffstat (limited to 'test/monniaux/binary_search/Makefile')
| -rw-r--r-- | test/monniaux/binary_search/Makefile | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/test/monniaux/binary_search/Makefile b/test/monniaux/binary_search/Makefile new file mode 100644 index 00000000..7739e4ca --- /dev/null +++ b/test/monniaux/binary_search/Makefile @@ -0,0 +1,26 @@ +include ../rules.mk + +PRODUCTS=binary_search.gcc.host.out binary_search.ccomp.host.out \ + binary_search.gcc.k1c.out binary_search.ccomp.k1c.out \ + binary_search.gcc.k1c.s binary_search.ccomp.k1c.s + +all: $(PRODUCTS) + +binary_search.gcc.host.s binary_search.ccomp.host.s binary_search.gcc.k1c.s binary_search.ccomp.k1c.s : ../clock.h + +binary_search.ccomp.host: binary_search.ccomp.host.o ../clock.gcc.host.o + $(CCOMP) $(CCOMPFLAGS) $+ -o $@ + +binary_search.gcc.host: binary_search.gcc.host.o ../clock.gcc.host.o + $(CC) $(CFLAGS) $+ -o $@ + +binary_search.gcc.k1c: binary_search.gcc.k1c.o ../clock.gcc.k1c.o + $(K1C_CC) $(K1C_CFLAGS) $+ -o $@ + +binary_search.ccomp.k1c: binary_search.ccomp.k1c.o ../clock.gcc.k1c.o + $(K1C_CCOMP) $(K1C_CCOMPFLAGS) $+ -o $@ + +clean: + -rm -f *.o *.s *.k1c + +.PHONY: clean |