diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-30 09:49:10 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-30 09:49:10 +0100 |
| commit | 07f94da073dede202ff88f3893f15828243b44a3 (patch) | |
| tree | 8987e97072490d2788de23a0fa012e6cec881914 /test/monniaux/crypto-algorithms | |
| parent | a5da25f1c04f4bc3ef70930053282fd9de4040d5 (diff) | |
| download | compcert-kvx-07f94da073dede202ff88f3893f15828243b44a3.tar.gz compcert-kvx-07f94da073dede202ff88f3893f15828243b44a3.zip | |
fixes in makefiles
Diffstat (limited to 'test/monniaux/crypto-algorithms')
| -rw-r--r-- | test/monniaux/crypto-algorithms/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/monniaux/crypto-algorithms/Makefile b/test/monniaux/crypto-algorithms/Makefile index 9a282a29..348afe10 100644 --- a/test/monniaux/crypto-algorithms/Makefile +++ b/test/monniaux/crypto-algorithms/Makefile @@ -5,7 +5,8 @@ K1C_CCOMP=../../../ccomp K1C_CCOMPFLAGS=-Wall -O3 -D__thread= -D__int128=int -U __SIZE_TYPE__ -D __SIZE_TYPE__='unsigned long long' -all: md2.all md5.all sha1.all sha256.all blowfish.all arcfour.all des.all +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 md2.all : md2_test.ccomp.k1c.out md2_test.gcc.k1c.out md5.all : md5_test.ccomp.k1c.out md5_test.gcc.k1c.out |