all:
	gnatdist -v -g -O2 *cfg

clean:
	rm -rf *.o *.ali dsa part1 part2 local
