diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-04-10 13:51:50 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-04-10 13:51:50 +0200 |
commit | 9862e89118492e6ab530b2e2992161dd4eb52d0a (patch) | |
tree | 2657be1ff60d44b78e5d65dd238ab867d7e4cc46 /test/mppa/Makefile | |
parent | 5541fb2f156aa314e26cac65546458e47ba03264 (diff) | |
download | compcert-kvx-9862e89118492e6ab530b2e2992161dd4eb52d0a.tar.gz compcert-kvx-9862e89118492e6ab530b2e2992161dd4eb52d0a.zip |
MPPA - Onegl + Pnegl
Diffstat (limited to 'test/mppa/Makefile')
-rw-r--r-- | test/mppa/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/test/mppa/Makefile b/test/mppa/Makefile index 6f7ea55a..c02f8d94 100644 --- a/test/mppa/Makefile +++ b/test/mppa/Makefile @@ -1,6 +1,7 @@ DIR=general TESTNAMES=simple call branch for forvar forvarl branchz branchzu +CCOMP=../../ccomp TESTS=$(addprefix $(DIR)/,$(TESTNAMES)) ELF=$(addsuffix .bin,$(TESTS)) TOK=$(addsuffix .tok,$(TESTS)) @@ -15,10 +16,10 @@ $(DIR)/%.bin: $(DIR)/%.s k1-gcc $< -o $@ .SECONDARY: -$(DIR)/%.s: $(DIR)/%.c +$(DIR)/%.s: $(DIR)/%.c $(CCOMP) ccomp $(DEBUG) -O0 -v -S $< -o $@ -$(DIR)/%.tok: $(DIR)/%.bin FORCE +$(DIR)/%.tok: $(DIR)/%.bin @bash check.sh $< $@ .PHONY: FORCE |