diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-10-08 08:28:39 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-10-08 08:28:39 +0000 |
| commit | eba875c7d4b87bd2f9b87c6baebaeb0c933ac71e (patch) | |
| tree | e97d999d00128e98432b08cf9bbb1392b741368c /next-lib/src/Makefile | |
| parent | ab1420510859c3534d9ba7ff1e2ecbf3e317bc6c (diff) | |
oops - had forgotten Makefile from next-lib
Diffstat (limited to 'next-lib/src/Makefile')
| -rw-r--r-- | next-lib/src/Makefile | 46 |
1 files changed, 46 insertions, 0 deletions
diff --git a/next-lib/src/Makefile b/next-lib/src/Makefile new file mode 100644 index 000000000..18a1f6bed --- /dev/null +++ b/next-lib/src/Makefile @@ -0,0 +1,46 @@ +RUNGHC=runghc +RUNMAKE=$(RUNGHC) Make.hs + +.PHONY: all present alltenses lang api math prelude test demo synopsis link compiled clean + +all: link prelude present alltenses compat + +present: + $(RUNMAKE) present lang + $(RUNMAKE) present api + +alltenses: + $(RUNMAKE) lang + $(RUNMAKE) api + +lang: + $(RUNMAKE) lang + +api: + $(RUNMAKE) api + +compat: + $(RUNMAKE) present compat + +prelude: + gfc prelude/*.gf + cp -p prelude/*.gfo ../prelude + +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) + +clean: + $(RUNMAKE) clean + |