diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-05 11:55:04 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-05 11:55:04 +0100 |
| commit | f86d2dbedc7841ad25f5dda825877f087dca4986 (patch) | |
| tree | c4ea2f6cfe707a1631deb441c6d7eab485fd4c44 /test/monniaux/idea/Makefile | |
| parent | 2ec7281215255202221d0d619f786a2dfde90442 (diff) | |
| download | compcert-kvx-f86d2dbedc7841ad25f5dda825877f087dca4986.tar.gz compcert-kvx-f86d2dbedc7841ad25f5dda825877f087dca4986.zip | |
IDEA encryption
Diffstat (limited to 'test/monniaux/idea/Makefile')
| -rw-r--r-- | test/monniaux/idea/Makefile | 54 |
1 files changed, 54 insertions, 0 deletions
diff --git a/test/monniaux/idea/Makefile b/test/monniaux/idea/Makefile new file mode 100644 index 00000000..6e0f2920 --- /dev/null +++ b/test/monniaux/idea/Makefile @@ -0,0 +1,54 @@ +CFLAGS=-Wall -O3 +CCOMP=ccomp # for host +CCOMPFLAGS=-Wall -O3 +K1C_CC=k1-mbr-gcc +K1C_CFLAGS=-Wall -O3 -std=c99 +K1C_CCOMP=../../../ccomp +K1C_CCOMPFLAGS=-Wall -O3 + +PRODUCTS=idea.gcc.host.out idea.ccomp.host.out idea.gcc.k1c.out idea.ccomp.k1c.out idea.ccomp.k1c.s idea.gcc.k1c.s idea.gcc.k1c idea.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 $@ + +%.gcc.host.o: %.c + $(CC) $(K1C_CFLAGS) -c $< -o $@ + +%.ccomp.host.o: %.c + $(CCOMP) $(CCOMPFLAGS) -c $< -o $@ + +idea.gcc.host: idea.c idea.h ../clock.gcc.host.o + $(CC) $(CFLAGS) idea.c ../clock.gcc.host.o -o $@ + +idea.ccomp.host: idea.c idea.h ../clock.gcc.host.o + $(CCOMP) $(CFLAGS) idea.c ../clock.gcc.host.o -o $@ + +idea.gcc.k1c.s idea.ccomp.k1c.s idea_run.gcc.k1c.s: idea.h + +idea.gcc.k1c: idea.gcc.k1c.o ../clock.gcc.k1c.o + $(K1C_CC) $(K1C_CFLAGS) $+ -o $@ + +idea.ccomp.k1c: idea.ccomp.k1c.o ../clock.gcc.k1c.o + $(K1C_CCOMP) $(K1C_CCOMPFLAGS) $+ -o $@ + +%.k1c.out: %.k1c + k1-cluster --cycle-based -- $< | tee $@ + +%.host.out: %.host + ./$< | tee $@ + +clean: + $(RM) -f $(PRODUCTS) idea.gcc.k1c.o idea.ccomp.k1c.o + +.PHONY: clean |