1 files changed, 15 insertions, 0 deletions

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..8b2f87f
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,15 @@
+BIN:=pf
+CLM:=clm
+CLMFLAGS:=-b -IL Platform -IL Generics
+
+.PHONY: all clean
+
+all: $(BIN)
+
+$(BIN): .FORCE
+	$(CLM) $(CLMFLAGS) $@ -o $@
+
+clean:
+	$(RM) -r 'Clean System Files' $(BIN)
+
+.FORCE: