diff options
Diffstat (limited to 'comfignat.gpr.gp')
| -rw-r--r-- | comfignat.gpr.gp | 17 |
1 files changed, 15 insertions, 2 deletions
diff --git a/comfignat.gpr.gp b/comfignat.gpr.gp index e334f00..6e5d7a8 100644 --- a/comfignat.gpr.gp +++ b/comfignat.gpr.gp @@ -151,6 +151,13 @@ abstract project Comfignat is Libdir := Exec_Prefix & "/lib"; #end if; + -- ALI files are under a library-specific subdirectory of Alidir. + #if Alidir'Defined then + Alidir := $Alidir; + #else + Alidir := Libdir; + #end if; + -- GNAT project files are under GPRdir. #if GPRdir'Defined then GPRdir := $GPRdir; @@ -268,12 +275,18 @@ abstract project Comfignat is #end if; -- Binary libraries shall be installed in Stage_Libdir. - -- ALI files shall be installed in a library-specific subdirectory of - -- Stage_Libdir. #if Stage_Libdir'Defined then Stage_Libdir := $Stage_Libdir; #else Stage_Libdir := Stagedir & Libdir; #end if; + -- ALI files shall be installed under a library-specific subdirectory of + -- Stage_Alidir. + #if Stage_Alidir'Defined then + Stage_Alidir := $Stage_Alidir; + #else + Stage_Alidir := Stagedir & Alidir; + #end if; + end Comfignat; |