FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

Port details
gnatcoll GNAT Component Collection from Adacore
2016 devel on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: marino@FreeBSD.org search for ports maintained by this maintainer
Port Added: 22 May 2014 11:13:19
License: GPLv3
The reusable library known as the GNAT Component Collection (GNATColl)
is based on one main principle: general-purpose packages that are part of
the GNAT technology should also be available to user application code.
The compiler front end, the GNAT Programming Studio (GPS) Interactive
Development Environment, and the GNAT Tracker web-based interface all
served as sources for the components.

The GNATColl components complement the predefined Ada and GNAT libraries
and deal with a range of common programming issues including string and
text processing, memory management, and file handling. Several of the
components are especially useful in enterprise applications.

* Scripts: Embedding script languages     * Traces: Logging information
* Memory: Monitoring memory usage         * Mmap: Reading and writing files
* Boyer-Moore: Searching strings          * Paragraph filling: Formatting text
* Templates: Generating text              * Email: Processing email messages
* Ravenscar: Patterns for multitasking    * VFS: Manipulating files
* Storage Pools: Controlling memory mgmt  * Tribooleans: Three-state logic
* Geometry: Primitive geometric ops       * Refcount: Reference counting
* Projects: Manipulating ``gpr`` files    * Config: Parsing configuration files
* Pools: Controlling access to resources  * JSON: JavaScript Object Notation
* SQL: Database interface

WWW: http://libre.adacore.com/tools/gnat-component-collection
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/devel/gnatcoll/ && make install clean
To add the package: pkg install gnatcoll

PKGNAME: gnatcoll

distinfo:

TIMESTAMP = 1465650872
SHA256 (AdaCore-gnatcoll-2016-858f72c_GH0.tar.gz) = 18e3470eacad2e445d34621a2ed7a24a32548dc3210d9aa5ae774a58e623d746
SIZE (AdaCore-gnatcoll-2016-858f72c_GH0.tar.gz) = 4369484
SHA256 (AdaCore-gprbuild-a2e9066_GH0.tar.gz) = 6f35607ef16e81aa76bb0e5a78bf89d0d54ce691fda50517d50e18540db8aaa5
SIZE (AdaCore-gprbuild-a2e9066_GH0.tar.gz) = 4254762


NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies:
  1. gprbuild : devel/gprbuild
  2. gnat_util>=20140422 : lang/gnat_util
  3. sphinx-build : textproc/py-sphinx
  4. ada : lang/gcc6-aux
  5. gmake : devel/gmake
  6. pkgconf>=0.9.10 : devel/pkgconf
  7. python2.7 : lang/python27
  8. py2?-gobject3>=0 : devel/py-gobject3
Runtime dependencies:
  1. gnat_util>=20140422 : lang/gnat_util
  2. python2.7 : lang/python27
  3. py2?-gobject3>=0 : devel/py-gobject3
Library dependencies:
  1. libgtkada.so : x11-toolkits/gtkada3
  2. libgmp.so : math/gmp
  3. libreadline.so.6 : devel/readline
  4. libglib-2.0.so : devel/glib20

This port is required by:

for Build * - deleted ports are only shown under the This port is required by section. It was harder to do for the Required section. Perhaps later...
Configuration Options
===> The following configuration options are available for gnatcoll-2016:
     DOCS=on: Build and/or install documentation
     EXAMPLES=on: Build and/or install examples
     PGSQL=off: PostgreSQL database support
     READLINE=on: Command line editing via libreadline
     SYSLOG=on: Syslog logging support
===> Use 'make config' to modify these settings

USES:
ada gmake pkgconfig python readline:port gnome

Master Sites:
  1. https://codeload.github.com/AdaCore/gnatcoll/tar.gz/858f72c?dummy=/

Number of commits found: 14

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
11 Jun 2016 18:41:54
Original commit files touched by this commit  2016
Revision:416739
marino search for other commits by this committer
devel/gps: Upgrade to 2016 release (plus 2 dependencies)

x11-toolkits/gtkada3: Upgrade version 3.8.3.2 => 3.14.2
devel/gnatcoll:       Upgrade version    2015 => 2016
devel/gps:            Upgrade version 6.1.1.0 => 2016

This upgrade appears to work flawlessly on DragonFly, but
on FreeBSD the PR list below regarding navigation to code
error is unfortunately still valid.

PR:	202317
30 Apr 2016 06:44:28
Original commit files touched by this commit  2015_2
Revision:414332
marino search for other commits by this committer
Change Ada Framework foundation from gcc5-aux to gcc6-aux

GCC 6.1 was released this week.  The Ada Framework in FreeBSD ports has
been based on GCC 5.3 GNAT although GCC 6.x has been supported for awhile
via the ADA_DEFAULT option in make.conf.

Now that GCC 6 has been officially released, switch to it by default.
People can maintain the old foundation by putting "ADA_DEFAULT=5" in
/etc/make.conf.

Libraries built by one GNAT are unusable by another, so almost every Ada
port has been bumped as a result.  Noticable exceptions are dns/ironsides
which fails to build on gcc6 (thus USES=ada:5 is set) and cad/ghdl which
needs additional testing as it may require gcc5 on FreeBSD (DragonFly
uses the LLVM backend only).
01 Apr 2016 14:00:57
Original commit files touched by this commit  2015_1
Revision:412346
mat search for other commits by this committer
Remove ${PORTSDIR}/ from dependencies, categories d, e, f, and g.

With hat:	portmgr
Sponsored by:	Absolight
24 Jun 2015 13:32:42
Original commit files touched by this commit  2015_1
Revision:390479
marino search for other commits by this committer
Add new file lang/spark  (will become run-depends for GPS)

SPARK 2014 is a programming language and a set of verification tools
designed to meet the needs of high-assurance software development. SPARK
is based on Ada 2012, both subsetting the language to remove features that
defy verification, but also extending the system of contracts and aspects
to support modular, formal verification.

The new aspects support abstraction and refinement and facilitate deep
static analysis to be performed including information-flow analysis and
formal verification of an implementation against a specification.

SPARK is a much larger and more flexible language than its predecessor
SPARK 2005. The language can be configured to suit a number of application
domains and standards, from server-class high-assurance systems (such as
air-traffic management applications), to embedded, hard real-time,
critical systems (such as avionic systems complying with DO-178C Level A).

A major feature of SPARK is the support for a mixture of proof and other
verification methods such as testing, which facilitates the use of unit
proof in place of unit testing; an approach now formalized in DO-178C and
the DO-333 formal methods supplement. Certain units may be formally proven
and other units validated through testing.
23 Jun 2015 22:20:35
Original commit files touched by this commit  2015
Revision:390464  Sanity Test Failure
marino search for other commits by this committer
Ada Framework: Switch to gcc5-aux, upgrade 6 packages at once

The transition from gcc-aux to gcc5-aux in the Ada framework has been
blocked by the inability to build gtkada3 and, once resolved, GPS (due
to tight locking with compiler).

A few days ago, Adacore made their annual release of their main libre
products, include GPS.  However, some products were tightly coupled with
the recent compilers, so in order to upgrade, the compiler had to be
switched and dependencies require many ports to be upgraded at once:

  * lang/asis
  * devel/gnatcoll
  * devel/gps
  * x11-toolkits/gtkada3
(Only the first 15 lines of the commit message are shown above View all of this commit message)
20 Oct 2014 16:04:14
Original commit files touched by this commit  2014_4
Revision:371280
mva search for other commits by this committer
- Convert ports of devel/ to USES=python

Approved by:	portmgr (implicit)
16 Oct 2014 10:36:15
Original commit files touched by this commit  2014_4
Revision:370993
marino search for other commits by this committer
marino 12 devel ports: Remove @dirrm, tend install commands, plus

The main purpose of this commit is to remove @dirrm from the pkg-plist of
some of my ports in devel category.  While here, also:
  * Unmask some commands
  * Use parenthesis on compound commands for multi-job support
  * Add a license in one case
  * USES=python conversion in one case
  * Add WWW and reformat description in one case
  * Respect 80-columns
10 Sep 2014 20:50:37
Original commit files touched by this commit  2014_4
Revision:367888
gerald search for other commits by this committer
Update the default version of GCC in the Ports Collection from GCC 4.7.4
to GCC 4.8.3.

Part II, Bump PORTREVISIONs.

PR:		192025
Tested by:	antoine (-exp runs)
Approved by:	portmgr (implicit)
05 Jun 2014 18:20:50
Original commit files touched by this commit  2014_3
Revision:356675
marino search for other commits by this committer
devel/gnatcoll: LDFLAGS+= -lm (Fixes build on DF)

FreeBSD linker pulls in libmath indirectly, so this is a no-op on
standard configuration FreeBSD (all releases), but fixes DragonFly.
24 May 2014 21:31:01
Original commit files touched by this commit  2014_3
Revision:355092
marino search for other commits by this committer
devel/gnatcoll4: Rename gnatinspect and toggle off iconv option default

The GNAT Programming Studio wants to use gnatinspect, so it needs to
build it.  At the same time, gnatinspect also belongs to gnatcoll.
Resolve a filename conflict by renaming it to gnatinspect-xref when
it's build by gnatcoll.

Also turn off iconv support by default.  It causes GPS to crash
almost immediately and the issue is likely within the gnatcoll code.
Until this is investigated and hopefully fixed, keep it off by default.

Also, devel/gnatcoll will not be a dependency of GPS for two reasons:
GPS is so fluid that it really needs the embedded version to guarantee
that it can be built, and secondly devel/gnatcoll and devel/gps could
easily need different build options.  So that leaves devel/gnatcoll as
purely a standalone development library.
23 May 2014 08:10:27
Original commit files touched by this commit  2014_2
Revision:354919
marino search for other commits by this committer
devel/gnatcoll: Don't install gps files to avoid conflict with gps

The embedded gnatcoll in GPS wants to install the GPS support files and
it is better that the embedded gnatcoll does it.

While here, bring in iconv warning fix and also allow python 3 as a
valid python option (I assume it is without actually testing it).
22 May 2014 21:44:52
Original commit files touched by this commit  2014_1
Revision:354892
marino search for other commits by this committer
lang/gnat_util: Add set_std_prefix and update_path symbols

Rather than require each user of libgnat_util to link in set_std_prefix
and update_path functions, let's assume each user needs the same version
of these functions and just add them directly to the library.

Adjust gnatcoll accordingly -- hack no longer necessary.
22 May 2014 11:32:15
Original commit files touched by this commit  2014
Revision:354826
marino search for other commits by this committer
devel/gnatcoll: Fix disable iconv non-default option (typo)
22 May 2014 11:13:02
Original commit files touched by this commit  2014
Revision:354824
marino search for other commits by this committer
Add new Ada port: devel/gnatcoll

These components are a major building block of the GNAT Programming
Studio.  As the package description below states, it can also be used
generically.  This splits GNATColl out prior to GPS version upgrade.

    =================================================================

The reusable library known as the GNAT Component Collection (GNATColl)
is based on one main principle: general-purpose packages that are part of
the GNAT technology should also be available to user application code.
The compiler front end, the GNAT Programming Studio (GPS) Interactive
Development Environment, and the GNAT Tracker web-based interface all
served as sources for the components.
(Only the first 15 lines of the commit message are shown above View all of this commit message)

Number of commits found: 14

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
eogAug 22
p5-PathTools*Aug 22
p5-XSLoader*Aug 22
perl5-devel*Aug 22
perl5-devel*Aug 22
perl5-devel*Aug 22
perl5.18*Aug 22
perl5.18*Aug 22
perl5.18*Aug 22
perl5.20*Aug 22
perl5.20*Aug 22
perl5.20*Aug 22
perl5.20*Aug 22
perl5.22*Aug 22
perl5.22*Aug 22

57 vulnerabilities affecting 92 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 26177
Broken 93
Deprecated 144
Ignore 362
Forbidden 0
Restricted 199
No CDROM 83
Vulnerable 65
Expired 16
Set to expire 130
Interactive 0
new 24 hours 1
new 48 hours15
new 7 days26
new fortnight44
new month118

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2014 Dan Langille. All rights reserved.