diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-29 09:07:18 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-29 09:07:18 +0100 |
| commit | 734a3fee9a6bc591533ccab8c72c6cd8f72ee817 (patch) | |
| tree | 5b7ad811428b4bde7b747fb35ae5f9d2d4a92410 /test/monniaux/crypto-algorithms | |
| parent | 253446c20b5aa03014fd04bcb21e6fd607a3ac5a (diff) | |
| download | compcert-kvx-734a3fee9a6bc591533ccab8c72c6cd8f72ee817.tar.gz compcert-kvx-734a3fee9a6bc591533ccab8c72c6cd8f72ee817.zip | |
ça make
Diffstat (limited to 'test/monniaux/crypto-algorithms')
| -rw-r--r-- | test/monniaux/crypto-algorithms/Makefile | 17 |
1 files changed, 11 insertions, 6 deletions
diff --git a/test/monniaux/crypto-algorithms/Makefile b/test/monniaux/crypto-algorithms/Makefile index fe9e9ea7..dcc282af 100644 --- a/test/monniaux/crypto-algorithms/Makefile +++ b/test/monniaux/crypto-algorithms/Makefile @@ -1,12 +1,17 @@ CFLAGS=-Wall -O3 K1C_CC=k1-mbr-gcc -K1C_CFLAGS=-Wall -O3 -std=c99 +K1C_CFLAGS=-Wall -O3 K1C_CCOMP=../../../ccomp -K1C_CCOMPFLAGS=-Wall -O3 -D__thread= -D__int128=int +K1C_CCOMPFLAGS=-Wall -O3 -D__thread= -D__int128=int -U __SIZE_TYPE__ -D __SIZE_TYPE__='unsigned long long' -PRODUCTS=md2_test.host md2_test.gcc.k1c.out md2_test.ccomp.k1c.out md2_test.ccomp.k1c.s md2_test.gcc.k1c.s md2_test.gcc.k1c md2_test.ccomp.k1c -all: $(PRODUCTS) +all: md2.all md5.all sha1.all sha256.all + +md2.all : md2_test.ccomp.k1c.out md2_test.gcc.k1c.out +md5.all : md5_test.ccomp.k1c.out md5_test.gcc.k1c.out +rot-13.all : rot-13_test.ccomp.k1c.out rot-13_test.gcc.k1c.out +sha1.all : sha1_test.ccomp.k1c.out sha1_test.gcc.k1c.out +sha256.all : sha256_test.ccomp.k1c.out sha256_test.gcc.k1c.out %.gcc.k1c.s: %.c $(K1C_CC) $(K1C_CFLAGS) -S $< -o $@ @@ -35,6 +40,6 @@ all: $(PRODUCTS) k1-cluster --cycle-based -- $< | tee $@ clean: - $(RM) -f $(PRODUCTS) *.o + $(RM) -f *.s *.o *.out *.k1c *.host -.PHONY: clean +.PHONY: clean all md2.all md5.all rot-13.all sha1.all sha256.all |