DEBSOURCES
Skip Quicknav
sources / gnat-gps / 18-5 / cli / Makefile
12345678
GPRBUILD=gprbuild GPRCLEAN=gprclean all default: $(GPRBUILD) -p -Pcli clean: $(GPRCLEAN) -q -r -Pcli