diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-18 11:53:21 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-18 11:53:21 +0100 |
commit | 6d9954bf61b0e709ae93e7e7212c8090fc07dc56 (patch) | |
tree | 9bc4a18e1d6f26ce3be1fd9d64c9aec976f50bd9 /test/monniaux | |
parent | bdd052882bc4f1592d0d181a60344ceb8fbc393a (diff) | |
download | compcert-kvx-6d9954bf61b0e709ae93e7e7212c8090fc07dc56.tar.gz compcert-kvx-6d9954bf61b0e709ae93e7e7212c8090fc07dc56.zip |
some better experiments...
Diffstat (limited to 'test/monniaux')
-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 |