forked from JTakefman/jtakefman_honours_project_300171459
-
Notifications
You must be signed in to change notification settings - Fork 0
/
ada_riscv_renode.gpr
35 lines (27 loc) · 1022 Bytes
/
ada_riscv_renode.gpr
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
abstract project Ada_Riscv_Renode extends all "config/ada_riscv_renode_config.gpr" is
OBJECT_DIR := "obj/" & Ada_Riscv_Renode_Config.Build_Profile;
EXEC_DIR := "bin";
for Create_Missing_Dirs use "True";
for Languages use ("Ada", "Asm", "C");
for Target use "riscv64-elf";
for Runtime ("Ada") use "light-rv32i";
package Compiler is
for Default_Switches ("Ada") use Ada_Riscv_Renode_Config.Ada_Compiler_Switches &
("-march=rv32imc_zicsr", "-mabi=ilp32");
for Default_Switches ("Asm") use
("-march=rv32imc_zicsr", "-mabi=ilp32");
for Default_Switches ("C") use
("-march=rv32imc_zicsr", "-mabi=ilp32");
end Compiler;
package Binder is
for Switches ("Ada") use ("-Es"); -- Symbolic traceback
end Binder;
package Install is
for Artifacts (".") use ("share");
end Install;
package Linker is
for Switches ("Ada") use
("-Wl,-print-memory-usage",
"-Wl,-gc-sections");
end Linker;
end Ada_Riscv_Renode;