Makefile

agda := $(wildcard src/*.lagda) $(wildcard src/**/*.lagda)
agdai := $(wildcard src/*.agdai) $(wildcard src/**/*.agdai)
markdown := $(subst src/,out/,$(subst .lagda,.md,$(agda)))

all: $(markdown)

test: build
	ruby -S bundle exec htmlproofer _site --disable-external

statistics:
	hs/agda-count

out/:
	mkdir -p out/

out/%.md: src/%.lagda | out/
	agda2html --verbose --link-to-agda-stdlib --link-to-local-agda-names --use-jekyll=out/ -i $< -o $@ 2>&1 \
		| sed '/^Generating.*/d; /^Warning\: HTML.*/d; /^reached from the.*/d; /^\s*$$/d'
	@sed -i '1 s|---|---\nsrc       : $(<)|' $@

serve:
	ruby -S bundle exec jekyll serve

# start server
server-start:
	ruby -S bundle exec jekyll serve --no-watch --detach

# stop server
server-stop:
	pkill -f jekyll

# build website using jekyll
build: $(markdown)
	ruby -S bundle exec jekyll build

# build website using jekyll incrementally
build-incremental:
	ruby -S bundle exec jekyll build --incremental

# remove all auxiliary files
clean:
ifneq ($(strip $(agdai)),)
	rm $(agdai)
endif

# remove all generated files
clobber: clean
	ruby -S bundle exec jekyll clean
	rm -rf out/

# install bundler, and gem dependencies
macos-setup:
	brew install libxml2
	ruby -S gem install bundler --no-ri --no-rdoc
	ruby -S gem install pkg-config --no-ri --no-rdoc -v "~> 1.1"
	ruby -S bundle config build.nokogiri --use-system-libraries
	ruby -S bundle install

# install agda, agda-stdlib, and agda2html
travis-setup:\
	$(HOME)/agda-master/\
	$(HOME)/agda-stdlib-master/\
	$(HOME)/agda2html-master/\
	$(HOME)/acknowledgements-master/

$(HOME)/agda-master/:
	curl -L https://github.com/agda/agda/archive/master.zip -o $(HOME)/agda-master.zip
	unzip -qq $(HOME)/agda-master.zip -d $(HOME)
	cd $(HOME)/agda-master;\
		stack install --stack-yaml=stack-8.2.2.yaml

$(HOME)/agda-stdlib-master/:
	curl -L https://github.com/agda/agda-stdlib/archive/master.zip -o $(HOME)/agda-stdlib-master.zip
	unzip -qq $(HOME)/agda-stdlib-master.zip -d $(HOME)
	mkdir -p $(HOME)/.agda
	echo "standard-library" > $(HOME)/.agda/defaults
	echo "$(HOME)/agda-stdlib-master/standard-library.agda-lib" > $(HOME)/.agda/libraries

$(HOME)/agda2html-master/:
	curl -L https://github.com/wenkokke/agda2html/archive/master.zip -o $(HOME)/agda2html-master.zip
	unzip -qq $(HOME)/agda2html-master.zip -d $(HOME)
	cd $(HOME)/agda2html-master;\
		stack install

$(HOME)/acknowledgements-master/:
	curl -L https://github.com/plfa/acknowledgements/archive/master.zip -o $(HOME)/acknowledgements-master.zip
	unzip -qq $(HOME)/acknowledgements-master.zip -d $(HOME)
	cd $(HOME)/acknowledgements-master;\
		stack install

.phony: serve build test clean clobber macos-setup travis-setup

# workaround for a bug in agda2html
bugfix:
	@mkdir -p out
	@touch out/Nat.md
.phony: bugfix