| Port details |
- gnat13 GNAT (GNU Ada) compiler
- 13.3.0_1 lang
 =1      13.3.0Version of this port present on the latest quarterly branch. - Maintainer: ada@FreeBSD.org
- Port Added: 2024-02-28 17:42:05
- Last Update: 2026-07-18 14:08:16
- Commit Hash: 27a3df7
- People watching this port, also watch:: vtk9, SparseBitSet, py312-cysignals, python
- License: GPLv2 GPLv3+ GPLv3RLE+ LGPL21 LGPL3
- WWW:
- https://www.gnu.org/software/gnat/
- Description:
- GNAT is a free, high-quality, complete compiler for Ada, integrated into the
GCC compiler system; the front-end and run-time are written in Ada. GNAT
supports Ada ISO Standards from 1985 to 2022.
Ada was designed for embedded and real-time systems, its features include:
* Strong static typing
* Modular programming (via the package)
* Encapsulation
* Readability
* Optional run-time checking
* Concurrency (via tasks and protected objects), and message passing, as
constructs in the language itself
* Generics
Ada is designed for "Programming in the large", it suits rapid development, and
directly supports structured, object-oriented, generic, distributed and
concurrent programming paradigms. Ada is considered a Design Programming
Language, as a result of the expressive abstractions and features that informed
it's design, and provided to the user. Its expressiveness allows users to
clearly represent design solutions modeled on their problem domain, in
accessible language.
  ¦  ¦  ¦  ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - USE_RC_SUBR (Service Scripts)
- no SUBR information found for this port
- 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 = 1766922135
SHA256 (gcc-13.3.0.tar.xz) = 0845e9621c9543a13f484e94584a49ffc0129970e9914624235fc1d061a0c083
SIZE (gcc-13.3.0.tar.xz) = 87909952
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.26 : 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.3.0_1:
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:
|
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
13.3.0_1
18 Jul 2026 14:08:16
 |
Thierry Thomas (thierry)
Author: Alastair Hogge |
lang/gnat13: libgomp support; sync with GNAT-15
The GNAT-15 addition to the Ports Tree included some improvements to how
the pkg-plist is maintained, updated the pkg-descr, expanded the
pkg-message, and more. Sync GNAT-13 with those modifications.
* Add xz:threads option to ${TAR} to make use of multi-threaded
compression
* Add GNU OpenMP libraries. This is required for GNATColl Bindings
* Add GNAT and GNAT_SO_VERSION to ${PLIST_SUB} to remove hard-coded
version dependent information.
* Complete ${LICENSE} block
* Expand pkg-message and make UCL compliant
* Modernise and update ${COMMENT}, ${WWW} and pkg-descr
* Delegate maintainership to ada@
PR: 296512 |
13.3.0
10 Jun 2026 16:12:31
|
Thierry Thomas (thierry) |
lang/gnat1?: gettext is always required
Ignore the portlint warning and always depends on gettext.
(See PR 277508)
PR: 295966
Reported by: Robert William Vesterman |
13.3.0
07 Jun 2026 10:56:52
|
Thierry Thomas (thierry)
Author: Alastair Hogge |
lang/gnat1[2-4]: Restore check-phase
lang/gnat12,13, and 14:
* After PR 294657, restore the testing target check-phase, move the if
conditional on ${UID} != 0 below the GNAT Ports' internal _ marked
variables, and drop bsd.port.options.mk, and terminate the Port with
bsd.port.post.mk over bsd.port.mk
* Add fix for rpath (PR 292708)
* Move ${PIE_UNSAFE} to the correct block (portclippy)
* Move gettext-runtime from ${USES} to ${NLS_USES}
* Regroup internal variables and sort
* Remove ${EXTRACT_CMD} from aarch64 specific section syncing with the update
to the Ports Mk infrastructure (D57295) which by default now uses
LC_ALL=en_US.UTF-8 in the environment
* Sort ${GNU_CONFIGURE_PREFIX}
* Specific to GNAT-12, follow GNAT-13 and 14's use of ${MASTER_SITE_GCC}
in ${MASTER_SITES}; sort the architecture specific ${PLIST_SUB} entries
PR: 295872
Co-authored-by: Marcin Cieślak <saper@saper.info>
Reported by: Sulev-Madis Silber |
13.3.0
22 Apr 2026 11:18:41
|
Thierry Thomas (thierry)
Author: Roger Pau Monné |
lang/gnat1?: fix build with GNU strip
After D55509 $STRIP_CMD has been set to GNU strip for these ports, and in some
cases this breaks, because GNU strip will refuse to strip non-writable files,
while LLVM strip is happy to (attempt to) strip them.
PR: 294657
Reported by: kib@FreeBSD.org
Reviewed by: kib@FreeBSD.org
Phabricator: D55509
MFC after: 8 days |
13.3.0
11 Feb 2026 16:51:43
|
Thierry Thomas (thierry) |
lang/gnat1.: fix fetching without previous asset
MFC after: 8 days |
13.3.0
08 Jan 2026 19:11:35
|
Thierry Thomas (thierry) |
lang/gnat13: fix fetching for aarch64 on 16-CURRENT
Pre-built asset not yet available for this platform. |
13.3.0
28 Dec 2025 15:35:37
|
Thierry Thomas (thierry) |
lang/gnat13: upgrade to 13.3.0 |
13.2.0
28 Dec 2025 15:35:36
|
Thierry Thomas (thierry) |
lang/gnat13: refresh the bootstraping assets |
13.2.0
17 Oct 2025 14:02:08
|
Thierry Thomas (thierry) |
lang/gnat13: fix distfiles for 16 / amd64 |
13.2.0
07 Oct 2025 16:04:57
|
Thierry Thomas (thierry) |
lang/gnat13: adding an asset for GNAT-12 on FreeBSD-16 / amd64 |
13.2.0
16 Jun 2025 15:44:46
|
Thierry Thomas (thierry) |
lang/gnat1?: fix EXTRACT_CMD on arm64
Patch borrowed from
https://cgit.freebsd.org/ports/commit/?id=5b4cadb23cbc2db23d7e2a40c16abd3e862fcf62
PR: 286895
Reported by: agh (at) riseup.net |
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. |
As an Amazon Associate I earn from qualifying purchases.