Makefile

default: all

prebuild:
	@rm -f web/regenerate_web.bc.js

web: prebuild
	dune build web/regenerate_web.bc.js
	@cp _build/default/web/regenerate_web.bc.js web/

all: prebuild
	dune build @install

test: prebuild
	dune runtest --profile release

clean: prebuild
	dune clean

doc: prebuild
	dune build @doc

NAME=regenerate
DOCDIR=.gh-pages

$(DOCDIR)/.git:
	mkdir -p $(DOCDIR)
	cd $(DOCDIR) && (\
		git clone -b gh-pages git@github.com:regex-Generate/$(NAME).git . \
	)

gh-pages-index: $(DOCDIR)/.git web
	cp -r web/*.html web/*.js web/*.css web/static "$(DOCDIR)/"

gh-pages: $(DOCDIR)/.git gh-pages-index doc
	cp -r _build/default/_doc/_html/* $(DOCDIR)/doc/dev/
	git -C $(DOCDIR) add --all 
	git -C $(DOCDIR) commit -a -m "gh-page updates"
	git -C $(DOCDIR) push origin gh-pages


.PHONY: all test clean web prebuild gh-pages doc