diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-28 22:10:50 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-28 22:10:50 +0100 |
commit | 253446c20b5aa03014fd04bcb21e6fd607a3ac5a (patch) | |
tree | be1b6c9f74d36f0332e7935adbb6a3ab61bbc8b5 /test/monniaux/crypto-algorithms/Makefile | |
parent | 88a8995fbbb9242d1f97110e79badd608dd03f6b (diff) | |
download | compcert-kvx-253446c20b5aa03014fd04bcb21e6fd607a3ac5a.tar.gz compcert-kvx-253446c20b5aa03014fd04bcb21e6fd607a3ac5a.zip |
crypto algorithms from https://github.com/B-Con/crypto-algorithms/
Diffstat (limited to 'test/monniaux/crypto-algorithms/Makefile')
-rw-r--r-- | test/monniaux/crypto-algorithms/Makefile | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/test/monniaux/crypto-algorithms/Makefile b/test/monniaux/crypto-algorithms/Makefile new file mode 100644 index 00000000..fe9e9ea7 --- /dev/null +++ b/test/monniaux/crypto-algorithms/Makefile @@ -0,0 +1,40 @@ +CFLAGS=-Wall -O3 +K1C_CC=k1-mbr-gcc +K1C_CFLAGS=-Wall -O3 -std=c99 +K1C_CCOMP=../../../ccomp +K1C_CCOMPFLAGS=-Wall -O3 -D__thread= -D__int128=int + +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) + +%.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 + $(K1C_CC) $(K1C_CFLAGS) $+ -o $@ + +%_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 $(PRODUCTS) *.o + +.PHONY: clean |