diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-10 13:44:39 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-10 13:44:39 +0100 |
| commit | 873130bbd3343946bbd479c871589ae9494e26f3 (patch) | |
| tree | d8d8d68fc298f032eae3b1ca99e12f5e488f68f3 /test/monniaux/multithreaded_volatile | |
| parent | 80172034b52ee1dfdb9b57a25ec24b3820ed29d6 (diff) | |
| download | compcert-kvx-873130bbd3343946bbd479c871589ae9494e26f3.tar.gz compcert-kvx-873130bbd3343946bbd479c871589ae9494e26f3.zip | |
forgot the Makefile
Diffstat (limited to 'test/monniaux/multithreaded_volatile')
| -rw-r--r-- | test/monniaux/multithreaded_volatile/Makefile | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/test/monniaux/multithreaded_volatile/Makefile b/test/monniaux/multithreaded_volatile/Makefile new file mode 100644 index 00000000..0234b02a --- /dev/null +++ b/test/monniaux/multithreaded_volatile/Makefile @@ -0,0 +1,18 @@ +all: volatile.ccomp.k1c volatile.gcc.k1c + +volatile.ccomp.k1c : volatile.ccomp.k1c.s + k1-cos-gcc $< -o $@ + +volatile.gcc.k1c : volatile.gcc.k1c.s + k1-cos-gcc $< -o $@ + +volatile.ccomp.k1c.s : volatile.c + ../../../ccomp -O2 -Wall -Wno-c11-extensions -S $< -o $@ + +volatile.gcc.k1c.s : volatile.c + k1-cos-gcc -O2 -Wall -Werror=implicit -std=gnu99 -S $< -o $@ + +clean: + -rm -f *.k1c *.s + +.PHONY: clean |