diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-11 13:18:55 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-11 13:18:55 +0100 |
| commit | e5c1fcd887f571f54c54be5a0555902804d2983d (patch) | |
| tree | 79037395b6651c8d2b9bc06bc2bd064044fdc98d /test/monniaux/varargs | |
| parent | f76a183550b2eb9ceb87d947ef7418a57b1b349f (diff) | |
| download | compcert-kvx-e5c1fcd887f571f54c54be5a0555902804d2983d.tar.gz compcert-kvx-e5c1fcd887f571f54c54be5a0555902804d2983d.zip | |
et hop un Makefile
Diffstat (limited to 'test/monniaux/varargs')
| -rw-r--r-- | test/monniaux/varargs/Makefile | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/test/monniaux/varargs/Makefile b/test/monniaux/varargs/Makefile new file mode 100644 index 00000000..f24d41ac --- /dev/null +++ b/test/monniaux/varargs/Makefile @@ -0,0 +1,9 @@ +include ../rules.mk + +all: varargs.ccomp.k1c.s varargs.ccomp.k1c + +varargs.ccomp.k1c: varargs.ccomp.k1c.o + $(K1C_CCOMP) $(K1C_CCOMPFLAGS) $+ -o $@ + +clean: + $(RM) -f *.k1c *.host *.o *.s |