diff options
Diffstat (limited to 'comfignat.gpr.gp')
| -rw-r--r-- | comfignat.gpr.gp | 9 | 
1 files changed, 8 insertions, 1 deletions
| diff --git a/comfignat.gpr.gp b/comfignat.gpr.gp index d5bcd78..3b0c950 100644 --- a/comfignat.gpr.gp +++ b/comfignat.gpr.gp @@ -204,11 +204,18 @@ abstract project Comfignat is     -- generated files are placed.     -- +   -- Various generated files are kept in Builddir. +   #if Builddir'Defined then +      Builddir := $Builddir; +   #else +      Builddir := "."; +   #end if; +     -- Intermediate files produced during the build shall be kept in Objdir.     #if Objdir'Defined then        Objdir := $Objdir;     #else -      Objdir := "build"; +      Objdir := Builddir & "/obj";     #end if;     #if Directories_Project'Defined then |