1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
-- The part of the kernel that depends on the GUI
with "gtkada";
with "kernel_core";
with "../shared";
with "../widgets/widgets";
with "../language/language_ui";
with "../gnatcoll_extras/gnatcoll_extras";
with "../refactoring/core/refactoring_core";
with "../toolchains_editor/core/toolchains_core";
with "xmlada";
with "../libclang/libclang";
project Kernel is
for Source_Dirs use ("src", "generated");
for Object_Dir use Shared'Object_Dir;
package Compiler renames Shared.Compiler;
end Kernel;
|
