From c5b963769539c8a7c9bd154585686d263c7d6d8a Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 22 Dec 2010 14:11:55 +0000 Subject: removed GF/deprecated --- deprecated/old-lib/resource/Makefile | 49 ------------------------------------ 1 file changed, 49 deletions(-) delete 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 deleted file mode 100644 index 7c7d1900f..000000000 --- a/deprecated/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