Files
gnatstudio/plugins.gpr
Andry Ogorodnik a6dbc5e8a7 PB02-019 (1/3) Correcting for Documentation_Dir attribute
Also obsolete attribute was removed from IDE package

Change-Id: I432e142960d5f2398db9e88e305473afebcaeea3
2016-11-11 17:48:01 +01:00

27 lines
735 B
Plaintext

with "shared";
project Plugins is
for Languages use ("XML", "Python", "CSS");
for Source_Dirs use
("share", "share/plug-ins/**", "share/support/**", "share/library/**");
package Naming is
for Implementation_Suffix ("Python") use ".py";
for Implementation_Suffix ("XML") use ".xml";
for Implementation_Suffix ("CSS") use ".css";
end Naming;
package Compiler is
for Driver ("Python") use "";
for Driver ("XML") use "";
for Driver ("CSS") use "";
for Object_File_Suffix ("python") use ".pyc";
for Object_File_Suffix ("xml") use "-";
for Object_File_Suffix ("css") use "-";
end Compiler;
package Documentation renames Shared.Documentation;
end Plugins;