
SHELL := /bin/bash
#
all:
	dune build

install:
	dune build @install
	dune install

doc:
	dune build @doc

webdoc: doc
	rm -fr public/refdoc
	cp -r _build/default/_doc/_html public/refdoc

# archive :
###########
archive:
	git archive --prefix=stk-`git describe`/ `git describe` | gzip > /tmp/stk-`git describe`.tar.gz

# Cleaning :
############
clean:
	dune clean

# headers :
###########
#HEADFILES:=$(shell ls Makefile {curl,js,lib,server,solid,tls,tools}/*.ml{,i} tests/*.ml)
.PHONY: headers noheaders
headers:
	echo $(HEADFILES)
	headache -h header -c .headache_config $(HEADFILES)

noheaders:
	headache -r -c .headache_config $(HEADFILES)

