Add a Makefile "generate" target to create the sources

Some sources are generated during the call to "make". Make this
a separate target, so we can generate the sources without building
them. This is needed for the gnatcoverage instrumentation phase,
which requires complete sources.

For #457

Author: setton

Makefile.in

@@ -24,6 +24,9 @@ all default:
 	$(MAKE) -C cli BUILD=$(BUILD) $@
 	$(MAKE) -C testsuite BUILD=$(BUILD) $@
 
+generate:
+	$(MAKE) -C gnatstudio BUILD=$(BUILD) generate
+
 codepeer:
 	$(MAKE) -C gnatstudio scil
 	codepeer -all -lib gps.library -quiet -baseline -level 1 \

gnatstudio/Makefile

@@ -43,18 +43,19 @@ gps_and_cli: all
 
 include ../Makefile.gnat
 
-# NOTE: we need to build gnatcoll separately, since we cannot use
-# gnat.adc (No_Tasking restriction) on all gnatcoll sources.
-all: resources
+all: resources generate
+	$(GPRBUILD) $(GPRBUILD_FLAGS) -m -p -ws \
+	  $(GPRBUILD_BUILD_TYPE_FLAGS) -Pgps -largs `pkg-config gmodule-2.0 --libs`
+
+# Generate some sources
+generate:
 	cd ../kernel/src; ${PYTHON} hooks.py
 	cd ../kernel/generated; gnatcoll_db2ada \
           -api=GPS.Kernel.Properties.Database -adacreate -dbtype sqlite\
           -dbmodel=../src/properties_schema.txt
 ifeq ($(OS),Windows_NT)
 	for f in ../kernel/generated/*; do cat $$f | tr -d '\015' > $$f-aux; mv -f $$f-aux $$f; done
 endif
-	$(GPRBUILD) $(GPRBUILD_FLAGS) -m -p -ws \
-	  $(GPRBUILD_BUILD_TYPE_FLAGS) -Pgps -largs `pkg-config gmodule-2.0 --libs`
 
 resources:
 ifeq ($(OS),Windows_NT)