Makefile.in

   1 .PHONY: all
   2 all:
   3         dune build @install
   4
   5 .PHONY: test
   6 test:
   7         dune runtest
   8
   9 .PHONY: doc
  10 doc:
  11         dune build @doc
  12
  13 PREFIX_ARG := $(if $(PREFIX),--prefix $(PREFIX),)
  14 LIBDIR_ARG := $(if $(LIBDIR),--libdir $(LIBDIR),)
  15 DESTDIR_ARG := $(if $(DESTDIR),--destdir $(DESTDIR),)
  16 INSTALL_ARGS := $(PREFIX_ARG) $(LIBDIR_ARG) $(DESTDIR_ARG)
  17
  18 .PHONY: install
  19 install:
  20         dune install $(INSTALL_ARGS)
  21
  22 .PHONY: uninstall
  23 uninstall:
  24         dune uninstall $(INSTALL_ARGS)
  25
  26 .PHONY: reinstall
  27 reinstall: uninstall install
  28
  29 .PHONY: clean
  30 clean:
  31         dune clean
  32
  33 .PHONY: distclean
  34 distclean: clean
  35         rm -f config.log config.status config.h Makefile dune-project clibs.sexp cflags.sexp # AC_CONFIG_FILES
  36
  37 .PHONY: gen
  38 gen:
  39         dune exec -- examples/test_enum.exe
  40
  41 PACKAGE_NAME=@PACKAGE_NAME@
  42 PACKAGE_VERSION=@PACKAGE_VERSION@
  43 NAME=$(PACKAGE_NAME)-$(PACKAGE_VERSION)
  44
  45 .PHONY: release
  46 release:
  47         git tag -a -m $(PACKAGE_VERSION) $(PACKAGE_VERSION)
  48         git archive --prefix=$(NAME)/ $(PACKAGE_VERSION) | gzip > $(NAME).tar.gz
  49         gpg -a -b $(NAME).tar.gz -o $(NAME).tar.gz.asc
  50
  51
  52 TODAY=$(shell date '+%d %b %Y')
  53
  54 .PHONY: distrib
  55 dune-distrib:
  56         sed -i 's;## Working version;## $(PACKAGE_VERSION) - $(TODAY);' CHANGES.md
  57         git commit -m "$(PACKAGE_VERSION)" CHANGES.md
  58         dune-release tag
  59         dune-release --skip-build
  60
  61 .PHONY: publish
  62 dune-publish: dune-distrib
  63         dune-release publish distrib
  64
  65 .PHONY: release
  66 dune-release: dune-publish
  67         dune-release opam pkg
  68         dune-release opam submit