devel/gnatcoll-bindings-gmp 26.0.0 FreeBSD

GNATColl interface to GNU Multiple Precision arithmetic library

System: FreeBSD
Repository: FreeBSD ports
Maintainer: [email protected]
Port added: 2026-07-18
Last update: 2026-07-18
Commit: 86d48e8836
License: GPLv3+, GPLv3RLE+
Categories: devel, lang, math, science
Package size: 90.1 KiB, 812.6 KiB installed

Description

GNATColl Bindings Ada Packages provides bindings to programming and scripting languages, libraries, and system services.

This package is an interface to the GNU Multiple Precision (GMP) arithmetic library.

In the other systems

The newest version among them is 26.0.0, as upstream numbers it.

System

Port

Version

Vulnerabilities

Status

Maintainer

Last update

FreeBSD

devel/gnatcoll-bindings-gmp

26.0.0 newest

none known

[email protected]

2026-07-18

GhostBSD

devel/gnatcoll-bindings-gmp

26.0.0 newest

no data

[email protected]

Version history 1

26.0.0 2026-07-18 86d48e8836

Upstream's version as each commit to the port's Makefile set it, or as this site first saw it in the system's packages; the tree's own revisions are not versions here.

Install

Binary package:

pkg install gnatcoll-bindings-gmp

From the ports tree:

cd /usr/ports/devel/gnatcoll-bindings-gmp/ && make install clean

To depend on this port in another port's Makefile:

RUN_DEPENDS=	gnatcoll-bindings-gmp>0:devel/gnatcoll-bindings-gmp
LIB_DEPENDS=	libgnatcoll_gmp.so:devel/gnatcoll-bindings-gmp

Packages

The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.

Repository	aarch64	amd64	armv6	armv7	i386
FreeBSD:14:latest	26.0.0	26.0.0	-	-	-
FreeBSD:14:quarterly	26.0.0	26.0.0	n/a	-	-
FreeBSD:15:latest	26.0.0	26.0.0	n/a	-	-
FreeBSD:15:quarterly	26.0.0	26.0.0	n/a	n/a	n/a
FreeBSD:16:latest	26.0.0	26.0.0	n/a	n/a	n/a
FreeBSD:16:quarterly	n/a	n/a	n/a	n/a	n/a

Dependency graph

Ports that need it on the left, what it needs to run on the right; at most 8 of each. "Dependencies" below lists them all.

graph LR
  me["devel/gnatcoll-bindings-gmp"]
  u0["devel/gnatcoll-bindings"] --> me
  me --> d0["archivers/liblz4"]
  me --> d1["archivers/zstd"]
  me --> d2["devel/binutils"]
  me --> d3["devel/gettext-runtime"]
  me --> d4["devel/gnatcoll-core"]
  me --> d5["devel/isl"]
  me --> d6["lang/gcc12"]
  me --> d7["lang/gnat12"]
  me -.-> dmore(["4 more"])
  classDef this fill:#ab2b28,color:#ffffff,stroke:#ab2b28
  class me this

Dependencies

As this port's Makefile names them.

Build 1

gprbuild>0 : devel/gprbuild

Library 2

libgmp.so : math/gmp
libgnatcoll_minimal.so : devel/gnatcoll-core

The full lists below include those, and their dependencies in turn.

Build dependencies 13

Run dependencies 12

Required by 1

devel/gnatcoll-bindings

Configuration

Options name: devel_gnatcoll-bindings

Option

Default

Description

EXAMPLES

off

Build and/or install examples

USES: ada:run
Service scripts: none

Files

pkg-plist 62

include/gnatcoll-bindings/gmp/gmp_support.c
include/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-io.adb
include/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-io.ads
include/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-misc.adb
include/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-misc.ads
include/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-number_theoretic.adb
include/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-number_theoretic.ads
include/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-random.adb
include/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-random.ads
include/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-root_extraction.adb
include/gnatcoll-bindings/gmp/gnatcoll-gmp-integers-root_extraction.ads
include/gnatcoll-bindings/gmp/gnatcoll-gmp-integers.adb
include/gnatcoll-bindings/gmp/gnatcoll-gmp-integers.ads
include/gnatcoll-bindings/gmp/gnatcoll-gmp-lib.ads
include/gnatcoll-bindings/gmp/gnatcoll-gmp-mpz_even_p.c
include/gnatcoll-bindings/gmp/gnatcoll-gmp-mpz_odd_p.c
include/gnatcoll-bindings/gmp/gnatcoll-gmp-mpz_sign.c
include/gnatcoll-bindings/gmp/gnatcoll-gmp-random_state.adb
include/gnatcoll-bindings/gmp/gnatcoll-gmp-random_state.ads
include/gnatcoll-bindings/gmp/gnatcoll-gmp-rational_numbers.adb
include/gnatcoll-bindings/gmp/gnatcoll-gmp-rational_numbers.ads
include/gnatcoll-bindings/gmp/gnatcoll-gmp.ads
lib/gnatcoll-bindings/gmp/relocatable/libgnatcoll_gmp.so
lib/gnatcoll-bindings/gmp/relocatable/libgnatcoll_gmp.so.
lib/gnatcoll-bindings/gmp/static-pic/libgnatcoll_gmp.a
lib/gnatcoll-bindings/gmp/static/libgnatcoll_gmp.a
lib/libgnatcoll_gmp.so
lib/libgnatcoll_gmp.so.
libdata/gnatcoll-bindings/gmp/relocatable/gnatcoll-gmp-integers-io.ali
libdata/gnatcoll-bindings/gmp/relocatable/gnatcoll-gmp-integers-misc.ali
libdata/gnatcoll-bindings/gmp/relocatable/gnatcoll-gmp-integers-number_theoretic.ali
libdata/gnatcoll-bindings/gmp/relocatable/gnatcoll-gmp-integers-random.ali
libdata/gnatcoll-bindings/gmp/relocatable/gnatcoll-gmp-integers-root_extraction.ali
libdata/gnatcoll-bindings/gmp/relocatable/gnatcoll-gmp-integers.ali
libdata/gnatcoll-bindings/gmp/relocatable/gnatcoll-gmp-lib.ali
libdata/gnatcoll-bindings/gmp/relocatable/gnatcoll-gmp-random_state.ali
libdata/gnatcoll-bindings/gmp/relocatable/gnatcoll-gmp-rational_numbers.ali
libdata/gnatcoll-bindings/gmp/relocatable/gnatcoll-gmp.ali
libdata/gnatcoll-bindings/gmp/static-pic/gnatcoll-gmp-integers-io.ali
libdata/gnatcoll-bindings/gmp/static-pic/gnatcoll-gmp-integers-misc.ali
libdata/gnatcoll-bindings/gmp/static-pic/gnatcoll-gmp-integers-number_theoretic.ali
libdata/gnatcoll-bindings/gmp/static-pic/gnatcoll-gmp-integers-random.ali
libdata/gnatcoll-bindings/gmp/static-pic/gnatcoll-gmp-integers-root_extraction.ali
libdata/gnatcoll-bindings/gmp/static-pic/gnatcoll-gmp-integers.ali
libdata/gnatcoll-bindings/gmp/static-pic/gnatcoll-gmp-lib.ali
libdata/gnatcoll-bindings/gmp/static-pic/gnatcoll-gmp-random_state.ali
libdata/gnatcoll-bindings/gmp/static-pic/gnatcoll-gmp-rational_numbers.ali
libdata/gnatcoll-bindings/gmp/static-pic/gnatcoll-gmp.ali
libdata/gnatcoll-bindings/gmp/static/gnatcoll-gmp-integers-io.ali
libdata/gnatcoll-bindings/gmp/static/gnatcoll-gmp-integers-misc.ali
libdata/gnatcoll-bindings/gmp/static/gnatcoll-gmp-integers-number_theoretic.ali
libdata/gnatcoll-bindings/gmp/static/gnatcoll-gmp-integers-random.ali
libdata/gnatcoll-bindings/gmp/static/gnatcoll-gmp-integers-root_extraction.ali
libdata/gnatcoll-bindings/gmp/static/gnatcoll-gmp-integers.ali
libdata/gnatcoll-bindings/gmp/static/gnatcoll-gmp-lib.ali
libdata/gnatcoll-bindings/gmp/static/gnatcoll-gmp-random_state.ali
libdata/gnatcoll-bindings/gmp/static/gnatcoll-gmp-rational_numbers.ali
libdata/gnatcoll-bindings/gmp/static/gnatcoll-gmp.ali
share/examples/gnatcoll/gmp/gmp_examples.gpr
share/examples/gnatcoll/gmp/isprime.adb
share/examples/gnatcoll/gmp/square_triangular_numbers.adb
share/gpr/gnatcoll_gmp.gpr

distinfo 1

File

Size

SHA256

AdaCore-gnatcoll-bindings-v26.0.0_GH0.tar.gz

331403

ba9c877a66069b4a32f362b7a45ac2510e287963b505629646955984c50882b5

Commit history 1

Date Commit Credits Log message

2026-07-18

86d48e8836

Alastair Hogge

devel/gnatcoll-bindings*: New Port, GNATColl Bindings

A set of Ada libraries related to the GNATColl reusable components, providing interfaces to other languages, system services, or other libraries. Supported languages: C++ and Python-3 Supported libraries: iconv, lzma, OpenMP, readline, syslog, and zlib https://github.com/AdaCore/gnatcoll-bindings PR: 296499

Description

In the other systems

Version history 1

Install

Packages

Dependency graph

Dependencies

Build 1

Library 2

Related ports

Configuration

Files

Commit history 1