diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 14 |
1 files changed, 2 insertions, 12 deletions
@@ -6,7 +6,6 @@ endif setup=dist/setup/setup MANPAGES=man/man1/pandoc.1 man/man5/pandoc_markdown.5 PREFIX ?= /usr/local -BINDIST ?= pandoc-$(version)-$(shell uname -m) quick: cabal configure --enable-tests --disable-optimization @@ -41,17 +40,8 @@ dist: man cd pandoc-${version} cabal configure ${CABALARGS} && cabal build && cabal test && cd .. && rm -rf "pandoc-${version}" -bindist: $(MANPAGES) - cabal install --only-dependencies -fembed_data_files - cabal configure --prefix=/usr/local --datadir=share/data --enable-tests -fembed_data_files - cabal build - cabal test - cabal copy --destdir=$(BINDIST) - mkdir -p $(BINDIST)$(PREFIX)/share/man/man1 $(BINDIST)$(PREFIX)/share/man/man5 - for x in $(MANPAGES); do cp $$x $(BINDIST)$(PREFIX)/share/$$x; done - mkdir -p $(BINDIST)$(PREFIX)/share/doc/pandoc - cp COPYING $(BINDIST)$(PREFIX)/share/doc/pandoc/ - tar cvzf $(BINDIST).tar.gz $(BINDIST)$(PREFIX)/bin $(BINDIST)$(PREFIX)/share +bindist: + ./make_binary_package.sh man: $(MANPAGES) |