gnat 11.1.0: new formula

[paperchalice]

• Have you followed the guidelines for contributing?
• Have you checked that there aren't other open pull requests for the same formula update/change?
• Have you built your formula locally with brew install --build-from-source <formula>, where <formula> is the name of the formula you're submitting?
• Is your test running fine brew test <formula>, where <formula> is the name of the formula you're submitting?
• Does your build pass brew audit --strict <formula> (after doing brew install <formula>)?

---

GNAT use gcc as it compilation driver
add zstd to support lto code compression

[carlocab]

Can we remove the files that conflict with gcc, so that this doesn't conflict with gcc? That's basically what libgccjit does.

[paperchalice]

GNAT invokes gcc to compile ada source code so that is inevitable.

[carlocab]

Can it be persuaded to invoke gcc from the gcc formula? libgccjit also invokes gcc.

[paperchalice]

If use gcc from gcc formula

% gnat make --GCC=gcc-11 hello.adb
gcc-11 -c hello.adb
gcc-11: error: hello.adb: Ada compiler not installed on this system
gnatmake: "hello.adb" compilation error

[paperchalice]

specs.h in gcc formula doesn't include gcc/ada/gcc-interface/lang-specs.h so it can't handle ada source file.

[carlocab]

Is enabling C necessary to build Ada?

[paperchalice]

Ada depends on C

[carlocab]

Sure, but that doesn't mean I need to build a C compiler just to build an Ada compiler. Why can't I build an Ada compiler while still using my already existing C compiler?

[paperchalice]

Ada part of GNAT need use some gcc's C code.

[paperchalice]

--program-suffix option conflict with GNAT, GNAT need all program without suffix to work correctly.

[fxcoudert]

add zstd to support lto code compression

This should be added to GCC itself, as it is not specific to Ada.

--program-suffix option conflict with GNAT, GNAT need all program without suffix to work correctly

That's going to make it difficult to work with the main GCC formula.

[paperchalice]

add zstd to support lto code compression

This should be added to GCC itself, as it is not specific to Ada.

--program-suffix option conflict with GNAT, GNAT need all program without suffix to work correctly

That's going to make it difficult to work with the main GCC formula.

If keep --program-suffix, test will become

system bin/"gnatmake-#{version_suffix}", "--GCC=gcc-#{version_suffix}",
      "--GNATLINK=gnatlink-#{version_suffix} --GCC=gcc-#{version_suffix}", "hello.adb"

which means user need pass more arguments.

[paperchalice]

Re-adding the --program-suffix option.

[SMillerDev]

@Rylan12 we have new syntax for this now right?

[Rylan12]

Yes but we need to wait for a new tag for it to be used in Homebrew/core.

Once that's been made, it should be:

Suggested change

	pour_bottle? do
	on_macos do
	reason "The bottle needs the Xcode CLT to be installed."
	satisfy { MacOS::CLT.installed? }
	end
	end
	pour_bottle? only_if: :clt_installed

No need to wait for the new syntax, though. If desired this can be merged now and I'll update it to the new syntax when I do the rest of the formulae.

[paperchalice]

Use new pour_bottle? syntax.

[github-actions]

This pull request has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs.