From e8b35c4b975a46a5dc5e0c022897359cbfe2d72b Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Wed, 6 Feb 2019 18:45:04 +0100
Subject: Makefiles now use rules.mk, and added a prohibition of unprototyped
 functions

---
 test/monniaux/xor_and_mat/Makefile | 21 +--------------------
 1 file changed, 1 insertion(+), 20 deletions(-)

(limited to 'test/monniaux/xor_and_mat')

diff --git a/test/monniaux/xor_and_mat/Makefile b/test/monniaux/xor_and_mat/Makefile
index 627e2163..005382de 100644
--- a/test/monniaux/xor_and_mat/Makefile
+++ b/test/monniaux/xor_and_mat/Makefile
@@ -1,25 +1,9 @@
-CFLAGS=-Wall -O3
-K1C_CC=k1-mbr-gcc
-K1C_CFLAGS=-Wall -O3 -std=c99
-K1C_CCOMP=../../../ccomp
-K1C_CCOMPFLAGS=-Wall -O3
+include ../rules.mk
 
 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)
 
-%.gcc.k1c.s: %.c
-	$(K1C_CC) $(K1C_CFLAGS) -S $< -o $@
-
-%.gcc.k1c.o: %.gcc.k1c.s
-	$(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 $@
-
 int_mat.host: int_mat.c int_mat_run.c xor_and.h
 	$(CC) $(CFLAGS) int_mat.c int_mat_run.c -o $@
 
@@ -31,9 +15,6 @@ 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) int_mat.gcc.k1c.o int_mat.ccomp.k1c.o int_mat_run.gcc.k1c.o
 
-- 
cgit