diff options
| author | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2019-01-18 12:23:25 +0100 |
|---|---|---|
| committer | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2019-01-18 12:23:25 +0100 |
| commit | 5122c5f507dcb3cfe5ed6f1df7e52a1e948a03b4 (patch) | |
| tree | 484bf9e67f21d27470238a7adfee517c7eec0d8c /test | |
| parent | 4f859bf87f5cac78fa32735de9a3ce9313459ef6 (diff) | |
| parent | 6d9954bf61b0e709ae93e7e7212c8090fc07dc56 (diff) | |
| download | compcert-kvx-5122c5f507dcb3cfe5ed6f1df7e52a1e948a03b4.tar.gz compcert-kvx-5122c5f507dcb3cfe5ed6f1df7e52a1e948a03b4.zip | |
Merge branch 'mppa_postpass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa_postpass
Diffstat (limited to 'test')
| -rw-r--r-- | test/monniaux/Makefile | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/test/monniaux/Makefile b/test/monniaux/Makefile index b7c3d8c5..be534653 100644 --- a/test/monniaux/Makefile +++ b/test/monniaux/Makefile @@ -4,7 +4,7 @@ K1C_CFLAGS=-Wall -O3 -std=c99 K1C_CCOMP=../../ccomp K1C_CCOMPFLAGS=-Wall -O3 -D__thread= -D__int128=int -PRODUCTS=int_mat.host int_mat.gcc.k1c int_mat.ccomp.k1c int_mat.ccomp.k1c.s int_mat.gcc.k1c.s +PRODUCTS=int_mat.host int_mat.gcc.k1c.out int_mat.ccomp.k1c.out int_mat.ccomp.k1c.s int_mat.gcc.k1c.s all: $(PRODUCTS) @@ -37,7 +37,10 @@ int_mat.gcc.k1c: int_mat.gcc.k1c.o int_mat_run.gcc.k1c.o int_mat.ccomp.k1c: int_mat.ccomp.k1c.o int_mat_run.gcc.k1c.o $(K1C_CCOMP) $(K1C_CCOMPFLAGS) $+ -o $@ +%.k1c.out: %.k1c + k1-cluster --cycle-based -- $< | tee $@ + clean: - $(RM) -f $(PRODUCTS) + $(RM) -f $(PRODUCTS) int_mat.gcc.k1c.o int_mat.ccomp.k1c.o .PHONY: clean |