Skip to content

Commit

Permalink
Drop Default_Switches from project files.
Browse files Browse the repository at this point in the history
`gprbuild` ignores `Default_Switches` when there is `Switches` clause.
Gprbuild guide says:

> Value is a list of switches to be used when invoking the compiler
> for the language for a source of the project,
> if **there is no applicable attribute** Switches.

On the other side `Default_Switches` confuseis GNAT Studio.

Fix #1166
  • Loading branch information
reznikmm committed Dec 30, 2024
1 parent b70e98d commit 3b1e49f
Showing 1 changed file with 0 additions and 4 deletions.
4 changes: 0 additions & 4 deletions frontend/src/ts/download.ts
Original file line number Diff line number Diff line change
Expand Up @@ -23,12 +23,10 @@ const MAIN_GPR = `project Main is
--LANGUAGE_PLACEHOLDER--
package Compiler is
for Default_Switches ("Ada") use ("-g", "-O0");
--COMPILER_SWITCHES_PLACEHOLDER--
end Compiler;
package Builder is
for Default_Switches ("Ada") use ("-g");
--BUILDER_SWITCHES_PLACEHOLDER--
for Global_Configuration_Pragmas use "main.adc";
end Builder;
Expand All @@ -42,12 +40,10 @@ const SPARK_GPR = `project Main_Spark is
--LANGUAGE_PLACEHOLDER--
package Compiler is
for Default_Switches ("Ada") use ("-g", "-O0");
--COMPILER_SWITCHES_PLACEHOLDER--
end Compiler;
package Builder is
for Default_Switches ("Ada") use ("-g");
--BUILDER_SWITCHES_PLACEHOLDER--
for Global_Configuration_Pragmas use "main_spark.adc";
end Builder;
Expand Down

0 comments on commit 3b1e49f

Please sign in to comment.