% gpr path in Makefile

This commit is contained in:
Vovanium 2024-01-19 19:27:03 +03:00
parent 7a60e8b8c8
commit a504d5615b
1 changed files with 2 additions and 2 deletions

View File

@ -14,12 +14,12 @@ all: library examples
library: $(LIBRARY_TARGET)
$(LIBRARY_TARGET):
gprbuild $@.gpr
gprbuild -P library/gpr/$@.gpr
clean: $(LIBRARY_TARGET:%=%-clean)
%-clean:
gprclean $*.gpr
gprclean -P library/gpr/$*.gpr
examples:
cd examples; make all