1 files changed, 26 insertions, 0 deletions
diff --git a/test/mppa/Makefile b/test/mppa/Makefile
new file mode 100644
index 00000000..6481af5e
--- /dev/null
+++ b/test/mppa/Makefile
@@ -0,0 +1,26 @@
+ELF=simple.bin
+DEBUG:=$(if $(DEBUG),"-dall",)
+
+all: $(ELF)
+
+%.bin: %.s
+	k1-gcc $< -o $@
+
+.SECONDARY:
+%.s: %.c
+	ccomp $(DEBUG) -v -S $< -o $@
+
+.PHONY:
+clean:
+	rm -f *.alloctrace
+	rm -f *.cm
+	rm -f *.compcert.c
+	rm -f *.i
+	rm -f *.light.c
+	rm -f *.ltl
+	rm -f *.mach
+	rm -f *.parsed.c
+	rm -f *.rtl.?
+	rm -f *.s
+	rm -rf profile/
+	rm -f $(ELF)