diff options
Diffstat (limited to 'next-lib')
| -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 + |