You've already forked SPARK_memory
mirror of
https://github.com/AdaCore/SPARK_memory.git
synced 2026-02-12 13:03:17 -08:00
10 lines
156 B
Plaintext
10 lines
156 B
Plaintext
project Prj is
|
|
|
|
for Source_Dirs use ("src");
|
|
for Object_Dir use "obj";
|
|
for Main use ("memory_main");
|
|
for Languages use ("Ada", "C");
|
|
|
|
end Prj;
|
|
|