diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 26 |
1 files changed, 13 insertions, 13 deletions
@@ -1,29 +1,29 @@ -.PHONY: all build install doc clean sdist gf +.PHONY: all build install doc clean gf # sdist all: build -dist/setup-config: gf.cabal - chmod u+x lib/src/mkPresent - chmod u+x lib/src/mkMinimal - runghc Setup.hs configure +dist/setup-config: gf.cabal Setup.hs + cabal configure build: dist/setup-config - runghc Setup.hs build + cabal build install: - runghc Setup.hs install + cabal copy + cabal register doc: - runghc Setup.hs haddock + cabal haddock clean: - runghc Setup.hs clean + cabal clean + +#sdist: +# cabal sdist -sdist: - runghc Setup.hs sdist gf: - runghc Setup.hs build rgl-none + cabal build rgl-none strip dist/build/gf/gf html:: - bash bin/update_html
\ No newline at end of file + bash bin/update_html |