diff options
Diffstat (limited to 'tests/bench/Makefile')
| -rw-r--r-- | tests/bench/Makefile | 31 |
1 files changed, 9 insertions, 22 deletions
diff --git a/tests/bench/Makefile b/tests/bench/Makefile index d0e4b6f..00afb52 100644 --- a/tests/bench/Makefile +++ b/tests/bench/Makefile @@ -1,25 +1,13 @@ -what: - @echo "What do you want to make?" +default: benchmark -benchmark: - $(MAKE) benchmark-icont - - -benchmark-iconc: - $(MAKE) compile-iconc run-iconc check-iconc - -compile-iconc: - sh Comp-iconc concord deal ipxref queens rsg -run-iconc: - sh Run-iconc - -rerun-iconc: - sh ReRun-iconc - -check-iconc: - grep elapsed *-c.out +micro microbench microbenchmark: + ../../bin/icon micro.icn >micro.out + ../../bin/icon micsum.icn micro.out >micro.sum + cat micro.sum +benchmark: + $(MAKE) benchmark-icont benchmark-icont: $(MAKE) translate-icont compile-icont run-icont check-icont @@ -31,7 +19,7 @@ compile-icont: sh Comp-icont concord deal ipxref queens rsg run-icont: - sh Run-icont + sh Execute-icont rerun-icont: sh ReRun-icont @@ -40,5 +28,4 @@ check-icont: grep elapsed *-t.out Clean: - rm -f *.out concord-[ct] deal-[ct] ipxref-[ct] queens-[ct] \ - rsg-[ct] *.u? + rm -f *.out *.sum *-t *.u? |