From 6d9954bf61b0e709ae93e7e7212c8090fc07dc56 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Fri, 18 Jan 2019 11:53:21 +0100
Subject: some better experiments...

---
 test/monniaux/Makefile | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'test/monniaux/Makefile')

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
-- 
cgit