include ../Makefile.inc

dimensioned_units:
	$(PREFIX)gnatmake -Pdimensioned_units.gpr
ifeq ($(RUN),true)
	$(CDir)demo_checked$(EXE)
	$(CDir)demo_unchecked$(EXE)
endif

clean:
	$(PREFIX)gnatclean -Pdimensioned_units.gpr

.PHONY: clean dimensioned_units
