From e5c1fcd887f571f54c54be5a0555902804d2983d Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Mon, 11 Mar 2019 13:18:55 +0100
Subject: et hop un Makefile

---
 test/monniaux/varargs/Makefile | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 test/monniaux/varargs/Makefile

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
-- 
cgit