From 6e6170cbccf35dc184183e061b723f66951b17fe Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Tue, 21 Nov 2017 23:11:06 +0100
Subject: Initial commit

---
 Makefile | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 Makefile

(limited to 'Makefile')

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:
-- 
cgit v1.2.3