diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-06 19:06:43 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-06 19:06:43 +0100 |
| commit | ca045c6110ecaf75221e8f8698c9888d232c2e6d (patch) | |
| tree | c47dc42a107c053966444333ba229364f394439a /test/monniaux/send_through/Makefile | |
| parent | e8b35c4b975a46a5dc5e0c022897359cbfe2d72b (diff) | |
| download | compcert-kvx-ca045c6110ecaf75221e8f8698c9888d232c2e6d.tar.gz compcert-kvx-ca045c6110ecaf75221e8f8698c9888d232c2e6d.zip | |
test for float/double parameter passing
Diffstat (limited to 'test/monniaux/send_through/Makefile')
| -rw-r--r-- | test/monniaux/send_through/Makefile | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/test/monniaux/send_through/Makefile b/test/monniaux/send_through/Makefile new file mode 100644 index 00000000..9e5a0cfd --- /dev/null +++ b/test/monniaux/send_through/Makefile @@ -0,0 +1,10 @@ +send_through: send_through_gcc.k1c.o send_through_ccomp.k1c.o + ../../../ccomp -Wall $+ -o $@ -lm + +send_through_gcc.k1c.o send_through_ccomp.k1c.o: send_through.h + +send_through_gcc.k1c.o : send_through_gcc.c + k1-mbr-gcc -Wall -Wextra -std=c99 -Werror=implicit -c $< -o $@ + +send_through_ccomp.k1c.o : send_through_ccomp.c + ../../../ccomp -Wall -fnone -fvararg-calls -c $< -o $@ |