From c8ceed08efcc0bdc1fcbd89bce643d9f52f0991b Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Wed, 9 Dec 2009 09:47:16 +0000
Subject: moving a few things to deprecated

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

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

diff --git a/deprecated/old-lib/resource/Makefile b/deprecated/old-lib/resource/Makefile
new file mode 100644
index 000000000..7c7d1900f
--- /dev/null
+++ b/deprecated/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