| Port details |
- gnat13 GNAT Ada compiler
- 13.2.0 lang
 =2      13.2.0Version of this port present on the latest quarterly branch. - Maintainer: thierry@FreeBSD.org
- Port Added: 2024-02-28 17:42:05
- Last Update: 2024-12-13 08:22:27
- Commit Hash: b22bf97
- People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py39-PyOpenGL, p5-Sane
- License: GPLv2 GPLv3 GPLv3RLE
- WWW:
- https://www.adacore.com/community
- Description:
- This is an Ada compiler, from GCC-13.
Since Ada support must be built by an Ada-capable compiler, only platforms for
which a bootstrap compiler is available can build it.
It is based on release versions of the Free Software Foundation's GNU Compiler
Collection. It uses the GCC Runtime Library Exception, so the resulting
binaries have no licensing requirements. Binaries produced by the AUX compiler
should be legally handled the same as binaries produced by any FSF compiler.
It offers continuous improvements to the Ada 2022 standard since GCC 11.
  ¦  ¦  ¦  ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/lang/gnat13/ && make install clean
- To add the package, run one of these commands:
- pkg install lang/gnat13
- pkg install gnat13
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: gnat13
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1708188304
SHA256 (gcc-13.2.0.tar.xz) = e275e76442a6067341a27f04c5c6b83d8613144004c0413528863dc6b5c743da
SIZE (gcc-13.2.0.tar.xz) = 87858592
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- bison : devel/bison
- gettext-runtime>=0.22_1 : devel/gettext-runtime
- gmake>=4.4.1 : devel/gmake
- as : devel/binutils
- Runtime dependencies:
-
- as : devel/binutils
- Library dependencies:
-
- libgmp.so : math/gmp
- libisl.so : devel/isl
- libmpc.so : math/mpc
- libmpfr.so : math/mpfr
- libintl.so : devel/gettext-runtime
- There are no ports dependent upon this port
Configuration Options:- ===> The following configuration options are available for gnat13-13.2.0:
ASSETS=off: Build an asset for future bootstrap on the target platform
MULTILIB=on: Build support for 32-bit and 64-bit targets
NLS=on: Native Language Support
====> Options available for the radio BOOTSTRAP: you can only select none or one of them
GNAT12=off: Bootstrap from lang/gnat12
PREVASSET=on: Bootstrap from the previous asset (if available)
===> Use 'make config' to modify these settings
- Options name:
- lang_gnat13
- USES:
- bison gettext-runtime gmake iconv libtool localbase tar:xz
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Number of commits found: 5
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
13.2.0
13 Dec 2024 08:22:27
 |
Dima Panov (fluffy) |
lang/gnat13: mark as PIE_UNSAFE (+)
Reported by: bulk -t
Approved by: portmgr (blanket)
Sponsored by: Future Crew, LLC |
13.2.0
23 May 2024 15:47:09
|
Thierry Thomas (thierry)
Author: Olivier Certner |
lang/gnat13: fix on systems without 32-bit libraries
Same patch than GNAT12.
PR: 279143
Reported by: agh (at) riseup.net |
13.2.0
18 Mar 2024 20:32:22
|
Thierry Thomas (thierry) |
lang/gnat1?: force the usage of gettext
It appears that gettext is required even when NLS is disabled (surely
because the compiler used for bootstrap has been built with NLS).
No bump of PORTREVISION needed.
PR: 277508
Reported by: bob (at) vesterman.com |
13.2.0
28 Feb 2024 17:41:00
|
Thierry Thomas (thierry) |
lang/gnat13: new port, GNAT Ada compiler from GCC-13 |
12.2.0_7
28 Feb 2024 17:41:00
|
Thierry Thomas (thierry) |
lang/gnat13: repocopy from lang/gnat12
Preparing the upgrade of GCC_DEFAULT. |
Number of commits found: 5
|
As an Amazon Associate I earn from qualifying purchases.