diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-05 19:05:09 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-05 19:05:09 +0100 |
| commit | c5ce41e18c1cf9f2213a37825137aba5a38365a6 (patch) | |
| tree | 5aa4ec766a3f0759f157787686298c28fe18273f /test/monniaux/crypto-algorithms | |
| parent | 3ded76b3c514f21b3e3f10589d2ca2eb43f4fe6a (diff) | |
| download | compcert-kvx-c5ce41e18c1cf9f2213a37825137aba5a38365a6.tar.gz compcert-kvx-c5ce41e18c1cf9f2213a37825137aba5a38365a6.zip | |
simplification des Makefile
Diffstat (limited to 'test/monniaux/crypto-algorithms')
| -rw-r--r-- | test/monniaux/crypto-algorithms/Makefile | 25 |
1 files changed, 1 insertions, 24 deletions
diff --git a/test/monniaux/crypto-algorithms/Makefile b/test/monniaux/crypto-algorithms/Makefile index 54b22e37..41daba38 100644 --- a/test/monniaux/crypto-algorithms/Makefile +++ b/test/monniaux/crypto-algorithms/Makefile @@ -1,9 +1,4 @@ -CFLAGS=-Wall -O3 -K1C_CC=k1-mbr-gcc -K1C_CFLAGS=-Wall -O3 -K1C_CCOMP=../../../ccomp -K1C_CCOMPFLAGS=-Wall -O3 - +include ../rules.mk all: md2.all md5.all sha1.all sha256.all blowfish.all des.all k1c: md2_test.ccomp.k1c md5_test.ccomp.k1c sha1_test.ccomp.k1c sha256_test.ccomp.k1c blowfish_test.ccomp.k1c des_test.ccomp.k1c @@ -19,21 +14,6 @@ des.all: des_test.ccomp.k1c.out des_test.gcc.k1c.out base64.all: base64_test.ccomp.k1c.out base64_test.gcc.k1c.out aes.all : aes_test.ccomp.k1c.out aes_test.gcc.k1c.out -%.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 $@ - -%_test.host: %.c %_test.c %.h - $(CC) $(CFLAGS) $*.c $*_test.c -o $@ - %.gcc.k1c.s %.ccomp.k1c.s %_test.gcc.k1c.s: %.h %_test.gcc.k1c: %.gcc.k1c.o %_test.gcc.k1c.o @@ -42,9 +22,6 @@ aes.all : aes_test.ccomp.k1c.out aes_test.gcc.k1c.out %_test.ccomp.k1c: %.ccomp.k1c.o %_test.gcc.k1c.o $(K1C_CCOMP) $(K1C_CCOMPFLAGS) $+ -o $@ -%.k1c.out: %.k1c - k1-cluster --cycle-based -- $< | tee $@ - clean: $(RM) -f *.s *.o *.out *.k1c *.host |