diff options
| author | aarne <aarne@chalmers.se> | 2009-12-09 09:47:16 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2009-12-09 09:47:16 +0000 |
| commit | c8ceed08efcc0bdc1fcbd89bce643d9f52f0991b (patch) | |
| tree | 5f0b314341c129eba1bc67b8b887fb8a4486fad8 /old-lib/resource/Makefile | |
| parent | 101df06f6c8380328d4266adadac3ab6d1bac0b3 (diff) | |
moving a few things to deprecated
Diffstat (limited to 'old-lib/resource/Makefile')
| -rw-r--r-- | old-lib/resource/Makefile | 49 |
1 files changed, 0 insertions, 49 deletions
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 - |