Merge branch 'topic/vadim/u151' into 'master'

Use relative path to project file to fix build on GH. See merge request eng/ide/VSS!293
AdaCore · Nov 21, 2023 · d9f5521 · d9f5521
2 parents 99f1473 + 0e8a7c0
commit d9f5521
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/Makefile b/Makefile
@@ -192,8 +192,8 @@ install-libs-%:
 misc: # Check compilation of other projects
 	gprbuild $(GPRBUILD_FLAGS) -aPgnat gnat/tools/json_schema.gpr
 	gprbuild $(GPRBUILD_FLAGS) -aPgnat examples/regexp/grep.gpr
-	gprbuild $(GPRBUILD_FLAGS) examples/blogs/json_1/blog_1.gpr
-	gprbuild $(GPRBUILD_FLAGS) examples/command_line/command/command_line_command.gpr
+	gprbuild $(GPRBUILD_FLAGS) -aPgnat examples/blogs/json_1/blog_1.gpr
+	gprbuild $(GPRBUILD_FLAGS) -aPgnat examples/command_line/command/command_line_command.gpr
 
 spellcheck:
 	@STATUS=0; \

diff --git a/examples/blogs/json_1/blog_1.gpr b/examples/blogs/json_1/blog_1.gpr
@@ -1,5 +1,5 @@
 
-with "../../../gnat/vss_json.gpr";
+with "vss_json.gpr";
 
 project Blog_1 is