diff options
| author | krasimir <krasimir@chalmers.se> | 2009-05-11 06:55:11 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-05-11 06:55:11 +0000 |
| commit | f283944f5c8dc043b32bee8a507d67acd256e225 (patch) | |
| tree | 56940f351213da8e040a8c18b8be45b68c5d9079 /Makefile | |
| parent | 30ebf7fd5948915cf2d67feb67ef6585d7761a4e (diff) | |
Setup.hs now builds RGL. the code is borrowed from Make.hs
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 25 |
1 files changed, 12 insertions, 13 deletions
@@ -1,24 +1,23 @@ -.PHONY: all gf install doc clean sdist lib +.PHONY: all build install doc clean sdist -all: gf lib +all: build -dist/setup-config: - runghc Setup.lhs configure +dist/setup-config: GF.cabal + chmod u+x next-lib/src/mkPresent + chmod u+x next-lib/src/mkMinimal + runghc Setup.hs configure -gf: dist/setup-config - runghc Setup.lhs build +build: dist/setup-config + runghc Setup.hs build install: - runghc Setup.lhs install + runghc Setup.hs install doc: - runghc Setup.lhs haddock + runghc Setup.hs haddock clean: - runghc Setup.lhs clean + runghc Setup.hs clean sdist: - runghc Setup.lhs sdist - -lib: - $(MAKE) -C lib/resource clean all + runghc Setup.hs sdist |