From c8ceed08efcc0bdc1fcbd89bce643d9f52f0991b Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 9 Dec 2009 09:47:16 +0000 Subject: moving a few things to deprecated --- old-lib/resource/Makefile | 49 ----------------------------------------------- 1 file changed, 49 deletions(-) delete mode 100644 old-lib/resource/Makefile (limited to 'old-lib/resource/Makefile') diff --git a/old-lib/resource/Makefile b/old-lib/resource/Makefile deleted file mode 100644 index 7c7d1900f..000000000 --- a/old-lib/resource/Makefile +++ /dev/null @@ -1,49 +0,0 @@ -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