From e89fdae2fa1626348d8025824a7469252fa85e42 Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Mon, 22 Jun 2009 15:39:08 +0000
Subject: next-lib renamed to lib, lib to old-lib

---
 old-lib/resource/Makefile | 49 +++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 49 insertions(+)
 create mode 100644 old-lib/resource/Makefile

(limited to 'old-lib/resource/Makefile')

diff --git a/old-lib/resource/Makefile b/old-lib/resource/Makefile
new file mode 100644
index 000000000..7c7d1900f
--- /dev/null
+++ b/old-lib/resource/Makefile
@@ -0,0 +1,49 @@
+RUNGHC=runghc
+RUNMAKE=$(RUNGHC) Make.hs
+
+.PHONY: all present alltenses lang api math test demo synopsis link compiled clean
+
+all: link present alltenses math
+
+present:
+	$(RUNMAKE) present lang
+	$(RUNMAKE) present api
+
+alltenses: 
+	$(RUNMAKE) lang
+	$(RUNMAKE) api
+
+lang:
+	$(RUNMAKE) lang
+
+api:
+	$(RUNMAKE) api
+
+math:
+	$(RUNMAKE) math
+
+compat:
+	gf -batch */Compatibility*.gf
+	cp -p */Compatibility*.gfo ../alltenses/
+	cp -p */Compatibility*.gfo ../present/
+#	$(RUNMAKE) present compat
+#	$(RUNMAKE) compat
+
+test:
+	$(RUNMAKE) test
+
+demo:
+	$(RUNMAKE) demo
+
+synopsis:
+	cd doc ; $(RUNGHC) MkSynopsis ; cd ..
+
+link:
+	chmod a+x mkPresent
+
+compiled:
+	(cd .. && tar -zcf resource-compiled.tar.gz prelude alltenses present mathematical)
+
+clean:
+	$(RUNMAKE) clean
+
-- 
cgit v1.2.3