From f9a0dd579dc72b09c4ebb036df0b59891412163d Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Thu, 17 Jan 2019 20:20:25 +0100
Subject: for testing postpass

---
 test/monniaux/Makefile | 24 +++++++++++++++---------
 1 file changed, 15 insertions(+), 9 deletions(-)

(limited to 'test/monniaux/Makefile')

diff --git a/test/monniaux/Makefile b/test/monniaux/Makefile
index 26fd90d7..91644c2f 100644
--- a/test/monniaux/Makefile
+++ b/test/monniaux/Makefile
@@ -4,20 +4,26 @@ K1C_CFLAGS=-Wall -O3 -std=c99
 K1C_CCOMP=../../ccomp
 K1C_CCOMPFLAGS=-Wall -O3 -D__thread= -D__int128=int
 
-EXECUTABLES=int_mat.host int_mat.k1c int_mat.k1c_ccomp
+PRODUCTS=int_mat.host int_mat.k1c int_mat.k1c_ccomp int_mat.k1c_ccomp.s
 
-all:	$(EXECUTABLES)
+all:	$(PRODUCTS)
 
-int_mat.host: int_mat.c
-	$(CC) $(CFLAGS) $+ -o $@
+int_mat.host: int_mat.c int_mat_run.c modint.h
+	$(CC) $(CFLAGS) int_mat.c int_mat_run.c -o $@
 
-int_mat.k1c: int_mat.c
-	$(K1C_CC) $(K1C_CFLAGS) $+ -o $@
+int_mat.k1c: int_mat.c int_mat_run.k1c.o modint.h
+	$(K1C_CC) $(K1C_CFLAGS) int_mat.c int_mat_run.k1c.o -o $@
 
-int_mat.k1c_ccomp: int_mat.c
-	$(K1C_CCOMP) $(K1C_CCOMPFLAGS) $+ -o $@
+int_mat_run.k1c.o: int_mat_run.c modint.h
+	$(K1C_CC) $(K1C_CFLAGS) -c int_mat_run.c -o $@
+
+int_mat.k1c_ccomp.s: int_mat.c modint.h
+	$(K1C_CCOMP) $(K1C_CCOMPFLAGS) -S int_mat.c -o $@
+
+int_mat.k1c_ccomp: int_mat.k1c_ccomp.s int_mat_run.k1c.o modint.h
+	$(K1C_CCOMP) $(K1C_CCOMPFLAGS) int_mat.k1c_ccomp.s int_mat_run.k1c.o -o $@
 
 clean:
-	$(RM) -f $(EXECUTABLES)
+	$(RM) -f $(PRODUCTS)
 
 .PHONY: clean
-- 
cgit