diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-17 19:46:11 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-17 19:46:11 +0100 |
| commit | d366e22b0c8665ab73d162cf8db98b91b2e4314e (patch) | |
| tree | 2e5ae361122e3f3e0eaffd1d566073469b309edf /test/monniaux/Makefile | |
| parent | 5609035afa76eac2fd284a8ad5c190e2347ee88b (diff) | |
| download | compcert-kvx-d366e22b0c8665ab73d162cf8db98b91b2e4314e.tar.gz compcert-kvx-d366e22b0c8665ab73d162cf8db98b91b2e4314e.zip | |
test (does not compile yet)
Diffstat (limited to 'test/monniaux/Makefile')
| -rw-r--r-- | test/monniaux/Makefile | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/test/monniaux/Makefile b/test/monniaux/Makefile new file mode 100644 index 00000000..26fd90d7 --- /dev/null +++ b/test/monniaux/Makefile @@ -0,0 +1,23 @@ +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 + +EXECUTABLES=int_mat.host int_mat.k1c int_mat.k1c_ccomp + +all: $(EXECUTABLES) + +int_mat.host: int_mat.c + $(CC) $(CFLAGS) $+ -o $@ + +int_mat.k1c: int_mat.c + $(K1C_CC) $(K1C_CFLAGS) $+ -o $@ + +int_mat.k1c_ccomp: int_mat.c + $(K1C_CCOMP) $(K1C_CCOMPFLAGS) $+ -o $@ + +clean: + $(RM) -f $(EXECUTABLES) + +.PHONY: clean |