diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-18 15:16:17 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-18 15:16:17 +0100 |
| commit | 99e5f103393d554b0d2725303682a35d343a09b6 (patch) | |
| tree | 45627b7e157b6a07146fcd722a5464c7ebb29937 /test/monniaux/Makefile | |
| parent | ac6e6181c48b0e21219c1ea57e30fa8d3c3f1714 (diff) | |
| download | compcert-kvx-99e5f103393d554b0d2725303682a35d343a09b6.tar.gz compcert-kvx-99e5f103393d554b0d2725303682a35d343a09b6.zip | |
moved to subdirectory
Diffstat (limited to 'test/monniaux/Makefile')
| -rw-r--r-- | test/monniaux/Makefile | 46 |
1 files changed, 0 insertions, 46 deletions
diff --git a/test/monniaux/Makefile b/test/monniaux/Makefile deleted file mode 100644 index aa559699..00000000 --- a/test/monniaux/Makefile +++ /dev/null @@ -1,46 +0,0 @@ -CFLAGS=-Wall -O3 -K1C_CC=k1-mbr-gcc -K1C_CFLAGS=-Wall -O2 -std=c99 -K1C_CCOMP=../../ccomp -K1C_CCOMPFLAGS=-Wall -O3 -D__thread= -D__int128=int - -PRODUCTS=int_mat.host int_mat.gcc.k1c.out int_mat.ccomp.k1c.out int_mat.ccomp.k1c.s int_mat.gcc.k1c.s - -all: $(PRODUCTS) - -%.gcc.k1c.s: %.c - $(K1C_CC) $(K1C_CFLAGS) -S $< -o $@ - -%.gcc.k1c.o: %.gcc.k1c.s - $(K1C_CC) $(K1C_CFLAGS) -c $< -o $@ - -%.gcc.k1c.o: %.gcc.k1c.c - $(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 $@ - -%.ccomp.k1c.o: %.ccomp.k1c.c - $(K1C_CCOMP) $(K1C_CCOMPFLAGS) -c $< -o $@ - -int_mat.host: int_mat.c int_mat_run.c modint.h - $(CC) $(CFLAGS) int_mat.c int_mat_run.c -o $@ - -int_mat.gcc.k1c.s int_mat.ccomp.k1c.s: modint.h - -int_mat.gcc.k1c: int_mat.gcc.k1c.o int_mat_run.gcc.k1c.o - $(K1C_CC) $(K1C_CFLAGS) $+ -o $@ - -int_mat.ccomp.k1c: int_mat.ccomp.k1c.o int_mat_run.gcc.k1c.o - $(K1C_CCOMP) $(K1C_CCOMPFLAGS) $+ -o $@ - -%.k1c.out: %.k1c - k1-cluster --cycle-based -- $< | tee $@ - -clean: - $(RM) -f $(PRODUCTS) int_mat.gcc.k1c.o int_mat.ccomp.k1c.o - -.PHONY: clean |