# Frontend to dune.

# No implicit rules
MAKEFLAGS += --no-builtin-rules
.SUFFIXES: 

.PHONY: default build install uninstall test clean

default: build 


build:
	cd top ; ./install_printers.sh > ./lib/install_printers.ml
	dune build

build-prof:
	top/install_printers.sh > top/lib/install_printers.ml
	dune build --workspace=dune-workspace.profile

test:
	dune runtest -f

test-prof:
	dune runtest -f --workspace=dune-workspace.profile

install:
	dune install

uninstall:
	dune uninstall

clean:
	dune clean
# Optionally, remove all files/folders ignored by git as defined
# in .gitignore (-X).
	git clean -dfXq