search

AdaCore / gprbuild

GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
Other
65 stars 21 forks source link

Build_Type = Gnatpro ?? #53

Closed paherbst closed 5 years ago

paherbst commented 5 years ago

I'm assuming this repo is for the GPL version of gprbuild.

However, gpr/src/gpr-version.ads has this line Build_Type : constant Gnat_Build_Type := Gnatpro;

Why isn't this GPL?

t-14 commented 5 years ago

This repo is for all versions. We don't have separate repositories for Pro and Community editions, the sources are just patched on the fly depending on which version we are building (same for version and date BTW). Consider gpr-version.ads as a compilable template rather than real source.

simonjwright commented 5 years ago

the sources are just patched on the fly

I was expecting to see some trace of this in this repo, but not - I suppose it’s some external tool/set of tools?

t-14 commented 5 years ago

Yes, it's our nightly scripts that do this.