diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2018-04-10 10:35:09 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2018-04-10 10:35:09 +0200 |
| commit | 5541fb2f156aa314e26cac65546458e47ba03264 (patch) | |
| tree | 715d21e5cab5e04047313aa1eecbbc0dab6176e0 /test/mppa/Makefile | |
| parent | 38b906f983a685af967b51bae2f8038c47d87b91 (diff) | |
| download | compcert-kvx-5541fb2f156aa314e26cac65546458e47ba03264.tar.gz compcert-kvx-5541fb2f156aa314e26cac65546458e47ba03264.zip | |
MPPA - Running tests in parallel
Diffstat (limited to 'test/mppa/Makefile')
| -rw-r--r-- | test/mppa/Makefile | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/test/mppa/Makefile b/test/mppa/Makefile index 36bd49bc..6f7ea55a 100644 --- a/test/mppa/Makefile +++ b/test/mppa/Makefile @@ -3,6 +3,7 @@ TESTNAMES=simple call branch for forvar forvarl branchz branchzu TESTS=$(addprefix $(DIR)/,$(TESTNAMES)) ELF=$(addsuffix .bin,$(TESTS)) +TOK=$(addsuffix .tok,$(TESTS)) ASM=$(addsuffix .s,$(TESTS)) DEBUG:=$(if $(DEBUG),"-dall",) @@ -17,9 +18,14 @@ $(DIR)/%.bin: $(DIR)/%.s $(DIR)/%.s: $(DIR)/%.c ccomp $(DEBUG) -O0 -v -S $< -o $@ +$(DIR)/%.tok: $(DIR)/%.bin FORCE + @bash check.sh $< $@ + +.PHONY: FORCE +FORCE: + .PHONY: -check: $(ELF) - bash check.sh $(ELF) +check: $(TOK) .PHONY: clean: @@ -33,6 +39,7 @@ clean: rm -f $(DIR)/*.parsed.c rm -f $(DIR)/*.rtl.? rm -f $(DIR)/*.s + rm -f $(DIR)/*.tok rm -f $(DIR)/output/*.out rm -rf $(DIR)/profile/ rm -f $(ELF) |