all: default.cgpr
	gprbuild main.gpr

default.cgpr:
	gprconfig --batch --config Ada  --config C -o $@

clean: force
	gprclean -r main.gpr
	$(RM) default.cgpr

run:
	main
force:
