aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/bitsliced-aes
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-02-05 19:05:09 +0100
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-02-05 19:05:09 +0100
commitc5ce41e18c1cf9f2213a37825137aba5a38365a6 (patch)
tree5aa4ec766a3f0759f157787686298c28fe18273f /test/monniaux/bitsliced-aes
parent3ded76b3c514f21b3e3f10589d2ca2eb43f4fe6a (diff)
downloadcompcert-kvx-c5ce41e18c1cf9f2213a37825137aba5a38365a6.tar.gz
compcert-kvx-c5ce41e18c1cf9f2213a37825137aba5a38365a6.zip
simplification des Makefile
Diffstat (limited to 'test/monniaux/bitsliced-aes')
-rw-r--r--test/monniaux/bitsliced-aes/Makefile39
1 files changed, 1 insertions, 38 deletions
diff --git a/test/monniaux/bitsliced-aes/Makefile b/test/monniaux/bitsliced-aes/Makefile
index 7020469c..e79c0ab3 100644
--- a/test/monniaux/bitsliced-aes/Makefile
+++ b/test/monniaux/bitsliced-aes/Makefile
@@ -1,43 +1,6 @@
src = $(wildcard *.c) tests/tests.c
-
-CCOMP=ccomp
-CCOMPFLAGS=-O3 -Wall
-CFLAGS= -std=c99 -O3 -Wall -Wextra -Werror=implicit
-K1C_CC=k1-mbr-gcc
-K1C_CFLAGS = -std=c99 -O3 -Wall -Wextra -Werror=implicit
-K1C_CCOMP = ../../../ccomp
-K1C_CCOMPFLAGS=-O3 -Wall
-
-%.host.gcc.o : %.c
- $(CC) $(CFLAGS) -c -o $@ $<
-
-%.host.ccomp.o : %.c
- $(CCOMP) $(CCOMPFLAGS) -c -o $@ $<
-
-%.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 $@
-
-%.gcc.host.o: %.c
- $(CC) $(CFLAGS) -c $< -o $@
-
-%.ccomp.host.o: %.c
- $(CCOMP) $(CCOMPFLAGS) -c $< -o $@
-
-%.k1c.out : %.k1c
- k1-cluster --cycle-based -- $< |tee $@
-
-%.host.out : %.host
- ./$< |tee $@
+include ../rules.mk
all: test.gcc.k1c.out test.ccomp.k1c.out test.gcc.host.out test.ccomp.host.out