gnat 2012 (compiler + IDE) #15095

wants to merge 2 commits into from

7 participants



I started working on a formula to install the GNAT Ada compiler.
It may not be ready yet, but I supposed a pull request was a good way to get some feedback...

The formula works for me, but I still have the following issues:

  • It also installs the IDE, because I couldn't find a way to download it separately... Should I move it to a separate formula, or is it ok ?
  • It also installs a custom gcc version (since GNAT is gcc-based) in /usr/local/bin, which may conflict with both MacOS version and other formulas... Is it ok, or should I try to build it from sources using the system gcc ? Or maybe not installing it to /usr/local/bin and adding PATH configuration instructions (which is what their install script does actually) ?

I also plan to add formulas for other libraries soon (ASIS, AUnit, GNATColl, SPARK and XMLAda).

Any comment ?


Looks like I can get separate tarballs for compiler and IDE sources, but not for binaries.
Also, I need a working gnat install to compile gnat...

Should all of this move to a separate repository like homebrew-dupes ?


iirc previous versions of GNAT made a directory called /usr/local/ada-$(VERSION); maybe making it a bottle-only formula would be a good way to go about doing something similar?


Should all of this move to a separate repository like homebrew-dupes ?

Seems like the most logical approach is to integrate this into the gcc formula in homebrew-dupes since GNAT is a component of GCC.


Thank you both for the insights.

I looked at both the qt formula and the corresponding bottle to understand how it works, but I'm still not sure to understand what controls the binary generation, and I didn't find so much documentation... (will look further)

I also found the following gcc formulae that could include GNAT as a component:

I'll try 4.7 first, and eventually fallback to 4.5 (since it's the version used for the binary distribution).

Homebrew member

The binaries are currently manually generated (mostly by me) by running brew install qt --build-bottle && brew bottle qt


What about the "gnat needs gnat" issue?

I mean, if the gcc formula downloads and uses a totally different gcc stack to build when given an --enable-ada option, couldn't this lead to unexpected issue with other gcc components?


What's the status here? We can't allow in a formula with a caveat about "messing up gcc".


I'm not sure how to fix this, and I don't have time to work on it at the moment, so unless someone knows the right way to package gnat for homebrew, you can close this pull request.


Passing on this for now, sorry.

@adamv adamv closed this Jan 6, 2013
@xu-cheng xu-cheng locked and limited conversation to collaborators Feb 16, 2016
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.