You've already forked libadalang
mirror of
https://github.com/AdaCore/libadalang.git
synced 2026-02-12 12:28:54 -08:00
19 lines
803 B
Ada
19 lines
803 B
Ada
-- vim: filetype=ada
|
|
|
|
for Switches ("libadalang-unit_files.adb") use
|
|
Common_Ada_Cargs & Manual_Ada_Cargs & ("-O1");
|
|
|
|
-- Code for properties are just too big, which leads GCC to print:
|
|
--
|
|
-- libadalang-implementation.adb:[...] note: variable tracking size limit
|
|
-- exceeded with '-fvar-tracking-assignments', retrying without
|
|
--
|
|
-- Disabling var-tracking from the start saves compilation time (2min50 down
|
|
-- to 2min30 on a standard development machine). Likewise for
|
|
-- libadalang-introspection_implementation.adb.
|
|
|
|
for Switches ("libadalang-implementation.adb") use
|
|
Common_Ada_Cargs & Generated_Ada_Cargs & ("-fno-var-tracking-assignments");
|
|
for Switches ("libadalang-introspection_implementation.adb") use
|
|
Common_Ada_Cargs & Generated_Ada_Cargs & ("-fno-var-tracking-assignments");
|