File: Makefile

package info (click to toggle)
gnat-gps 18-5
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 45,716 kB
  • sloc: ada: 362,679; python: 31,031; xml: 9,597; makefile: 1,030; ansic: 917; sh: 264; java: 17
file content (8 lines) | stat: -rw-r--r-- 105 bytes parent folder | download
1
2
3
4
5
6
7
8
GPRBUILD=gprbuild
GPRCLEAN=gprclean

all default:
	$(GPRBUILD) -p -Pcli

clean:
	$(GPRCLEAN) -q -r -Pcli