gnatbdd/src/gnatbdd.gpr

13 lines
300 B
Plaintext

with "gnatcoll";
library project Gnatbdd is
for Source_Dirs use ("bdd/");
for Object_Dir use "../obj";
for Library_Name use "gnatbdd";
for Library_Kind use "static";
for Library_Dir use "../obj/lib";
for Library_Version use "lib" & Project'Library_Name & ".so.1.0";
end Gnatbdd;