From 99e5f103393d554b0d2725303682a35d343a09b6 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Fri, 18 Jan 2019 15:16:17 +0100
Subject: moved to subdirectory

---
 test/monniaux/mod_int_mat/Makefile | 46 ++++++++++++++++++++++++++++++++++++++
 1 file changed, 46 insertions(+)
 create mode 100644 test/monniaux/mod_int_mat/Makefile

(limited to 'test/monniaux/mod_int_mat/Makefile')

diff --git a/test/monniaux/mod_int_mat/Makefile b/test/monniaux/mod_int_mat/Makefile
new file mode 100644
index 00000000..be534653
--- /dev/null
+++ b/test/monniaux/mod_int_mat/Makefile
@@ -0,0 +1,46 @@
+CFLAGS=-Wall -O3
+K1C_CC=k1-mbr-gcc
+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.out int_mat.ccomp.k1c.out int_mat.ccomp.k1c.s int_mat.gcc.k1c.s
+
+all:	$(PRODUCTS)
+
+%.gcc.k1c.s: %.c
+	$(K1C_CC) $(K1C_CFLAGS) -S $< -o $@
+
+%.gcc.k1c.o: %.gcc.k1c.s
+	$(K1C_CC) $(K1C_CFLAGS) -c $< -o $@
+
+%.gcc.k1c.o: %.gcc.k1c.c
+	$(K1C_CC) $(K1C_CFLAGS) -c $< -o $@
+
+%.ccomp.k1c.s: %.c
+	$(K1C_CCOMP) $(K1C_CCOMPFLAGS) -S $< -o $@
+
+%.ccomp.k1c.o: %.ccomp.k1c.s
+	$(K1C_CCOMP) $(K1C_CCOMPFLAGS) -c $< -o $@
+
+%.ccomp.k1c.o: %.ccomp.k1c.c
+	$(K1C_CCOMP) $(K1C_CCOMPFLAGS) -c $< -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.gcc.k1c.s int_mat.ccomp.k1c.s: modint.h
+
+int_mat.gcc.k1c: int_mat.gcc.k1c.o int_mat_run.gcc.k1c.o
+	$(K1C_CC) $(K1C_CFLAGS) $+ -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) int_mat.gcc.k1c.o int_mat.ccomp.k1c.o
+
+.PHONY: clean
-- 
cgit 


From 2a1db308610355d66c6baff004702fd00816e25a Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Fri, 18 Jan 2019 16:09:13 +0100
Subject: adjust path

---
 test/monniaux/mod_int_mat/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/monniaux/mod_int_mat/Makefile')

diff --git a/test/monniaux/mod_int_mat/Makefile b/test/monniaux/mod_int_mat/Makefile
index be534653..9a90a4ae 100644
--- a/test/monniaux/mod_int_mat/Makefile
+++ b/test/monniaux/mod_int_mat/Makefile
@@ -1,7 +1,7 @@
 CFLAGS=-Wall -O3
 K1C_CC=k1-mbr-gcc
 K1C_CFLAGS=-Wall -O3 -std=c99
-K1C_CCOMP=../../ccomp
+K1C_CCOMP=../../../ccomp
 K1C_CCOMPFLAGS=-Wall -O3 -D__thread= -D__int128=int
 
 PRODUCTS=int_mat.host int_mat.gcc.k1c.out int_mat.ccomp.k1c.out int_mat.ccomp.k1c.s int_mat.gcc.k1c.s
-- 
cgit 


From 91c23dece6e83c1b6566530ecf9467e091934474 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Fri, 18 Jan 2019 21:33:13 +0100
Subject: fix Makefile

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

(limited to 'test/monniaux/mod_int_mat/Makefile')

diff --git a/test/monniaux/mod_int_mat/Makefile b/test/monniaux/mod_int_mat/Makefile
index 9a90a4ae..912d016b 100644
--- a/test/monniaux/mod_int_mat/Makefile
+++ b/test/monniaux/mod_int_mat/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.out int_mat.ccomp.k1c.out 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 int_mat.gcc.k1c int_mat.ccomp.k1c
 
 all:	$(PRODUCTS)
 
@@ -41,6 +41,6 @@ int_mat.ccomp.k1c: int_mat.ccomp.k1c.o int_mat_run.gcc.k1c.o
 	k1-cluster --cycle-based -- $< | tee $@
 
 clean:
-	$(RM) -f $(PRODUCTS) int_mat.gcc.k1c.o int_mat.ccomp.k1c.o
+	$(RM) -f $(PRODUCTS) int_mat.gcc.k1c.o int_mat.ccomp.k1c.o int_mat_run.gcc.k1c.o
 
 .PHONY: clean
-- 
cgit 


From caa53a3dce35e53ed913557f30aef1f063cf67c0 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Sat, 19 Jan 2019 13:21:49 +0100
Subject: fixes in Makefile

---
 test/monniaux/mod_int_mat/Makefile | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

(limited to 'test/monniaux/mod_int_mat/Makefile')

diff --git a/test/monniaux/mod_int_mat/Makefile b/test/monniaux/mod_int_mat/Makefile
index 912d016b..b285c03c 100644
--- a/test/monniaux/mod_int_mat/Makefile
+++ b/test/monniaux/mod_int_mat/Makefile
@@ -14,22 +14,16 @@ all:	$(PRODUCTS)
 %.gcc.k1c.o: %.gcc.k1c.s
 	$(K1C_CC) $(K1C_CFLAGS) -c $< -o $@
 
-%.gcc.k1c.o: %.gcc.k1c.c
-	$(K1C_CC) $(K1C_CFLAGS) -c $< -o $@
-
 %.ccomp.k1c.s: %.c
 	$(K1C_CCOMP) $(K1C_CCOMPFLAGS) -S $< -o $@
 
 %.ccomp.k1c.o: %.ccomp.k1c.s
 	$(K1C_CCOMP) $(K1C_CCOMPFLAGS) -c $< -o $@
 
-%.ccomp.k1c.o: %.ccomp.k1c.c
-	$(K1C_CCOMP) $(K1C_CCOMPFLAGS) -c $< -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.gcc.k1c.s int_mat.ccomp.k1c.s: modint.h
+int_mat.gcc.k1c.s int_mat.ccomp.k1c.s int_mat_run.gcc.k1c.s: modint.h
 
 int_mat.gcc.k1c: int_mat.gcc.k1c.o int_mat_run.gcc.k1c.o
 	$(K1C_CC) $(K1C_CFLAGS) $+ -o $@
-- 
cgit 


From d48a2f396dede39eae20fcfe551bb11832360a5b Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Wed, 30 Jan 2019 17:13:15 +0100
Subject: remove cruft dealing with __int128 and __thread

---
 test/monniaux/mod_int_mat/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/monniaux/mod_int_mat/Makefile')

diff --git a/test/monniaux/mod_int_mat/Makefile b/test/monniaux/mod_int_mat/Makefile
index b285c03c..f904c1e4 100644
--- a/test/monniaux/mod_int_mat/Makefile
+++ b/test/monniaux/mod_int_mat/Makefile
@@ -2,7 +2,7 @@ CFLAGS=-Wall -O3
 K1C_CC=k1-mbr-gcc
 K1C_CFLAGS=-Wall -O3 -std=c99
 K1C_CCOMP=../../../ccomp
-K1C_CCOMPFLAGS=-Wall -O3 -D__thread= -D__int128=int
+K1C_CCOMPFLAGS=-Wall -O3
 
 PRODUCTS=int_mat.host int_mat.gcc.k1c.out int_mat.ccomp.k1c.out int_mat.ccomp.k1c.s int_mat.gcc.k1c.s int_mat.gcc.k1c int_mat.ccomp.k1c
 
-- 
cgit 


From c0558ea2fd66679eeca136b41c4378ebebb9b3a0 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Fri, 29 Mar 2019 18:30:07 +0100
Subject: use C99 mode

---
 test/monniaux/mod_int_mat/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/monniaux/mod_int_mat/Makefile')

diff --git a/test/monniaux/mod_int_mat/Makefile b/test/monniaux/mod_int_mat/Makefile
index f904c1e4..d1365b34 100644
--- a/test/monniaux/mod_int_mat/Makefile
+++ b/test/monniaux/mod_int_mat/Makefile
@@ -1,4 +1,4 @@
-CFLAGS=-Wall -O3
+CFLAGS=-Wall -O3 -std=c99
 K1C_CC=k1-mbr-gcc
 K1C_CFLAGS=-Wall -O3 -std=c99
 K1C_CCOMP=../../../ccomp
-- 
cgit 


From a789b94e986375a713263d7d7584ceaac01084f2 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Tue, 28 May 2019 15:13:46 +0200
Subject: adaptation pour k1c-cos

---
 test/monniaux/mod_int_mat/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/monniaux/mod_int_mat/Makefile')

diff --git a/test/monniaux/mod_int_mat/Makefile b/test/monniaux/mod_int_mat/Makefile
index d1365b34..08b97b67 100644
--- a/test/monniaux/mod_int_mat/Makefile
+++ b/test/monniaux/mod_int_mat/Makefile
@@ -1,5 +1,5 @@
 CFLAGS=-Wall -O3 -std=c99
-K1C_CC=k1-mbr-gcc
+K1C_CC=k1-cos-gcc
 K1C_CFLAGS=-Wall -O3 -std=c99
 K1C_CCOMP=../../../ccomp
 K1C_CCOMPFLAGS=-Wall -O3
-- 
cgit