notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
This referral link gives you 10% off a account and gives me a discount on my Fastmail account.

Get notified when packages are built

A new feature has been added. FreshPorts already tracks package built by the FreeBSD project. This information is displayed on each port page. You can now get an email when FreshPorts notices a new package is available for something on one of your watch lists. However, you must opt into that. Click on Report Subscriptions on the right, and New Package Notification box, and click on Update.

Finally, under Watch Lists, click on ABI Package Subscriptions to select your ABI (e.g. FreeBSD:14:amd64) & package set (latest/quarterly) combination for a given watch list. This is what FreshPorts will look for.

non port: devel/gnatcoll/Makefile

Number of commits found: 23

Sunday, 15 Sep 2019
17:28 antoine search for other commits by this committer
Deprecate a few ports
Original commitRevision:512125 
Sunday, 4 Aug 2019
10:02 antoine search for other commits by this committer
Mark BROKEN: unfetchable
Original commitRevision:508088 
Tuesday, 9 Apr 2019
14:04 sunpoet search for other commits by this committer
Update devel/readline to 8.0

- Bump PORTREVISION of dependent ports for shlib change

PR:		236156
Exp-run by:	antoine
Original commitRevision:498476 
Saturday, 5 Jan 2019
16:05 antoine search for other commits by this committer
devel/gnatcoll is not compatible with python3

PR:		234633
Original commitRevision:489351 
Saturday, 10 Mar 2018
17:46 gerald search for other commits by this committer
Bump PORTREVISIONs of all users of math/mpc that we just updated to
version 1.1.0 (via revision 464079).
Original commitRevision:464084 
Wednesday, 30 Aug 2017
11:28 amdmi3 search for other commits by this committer
- Fix shebangs
- Switch to options helpers
Original commitRevision:448971 
Tuesday, 27 Jun 2017
13:46 sunpoet search for other commits by this committer
Update devel/readline to 7.0 patch 3

- Bump PORTREVISION for shlib change

Differential Revision:
PR:		219947
Exp-run by:	antoine
Original commitRevision:444463 
Friday, 21 Apr 2017
20:25 rene search for other commits by this committer
Return ports maintained by John Marino to the pool, he is no longer interested.

Submitted by:	Mark Millard via private e-mail
Original commitRevision:439129 
Wednesday, 15 Feb 2017
21:33 rene search for other commits by this committer
Return the ports mistakenly reset to ports@ in r433856 to John Marino.

The mistake was completely on my part, I somehow connected the dots the
wrong way in my head.

The only exceptions (for now) are archivers/zstd and ports-mgmt/synth
which were already picked up by new volunteers in the mean time.
Original commitRevision:434195 
Saturday, 11 Feb 2017
12:42 rene search for other commits by this committer
Return ports maintained by John Marino to the pool, see r433827 for details
Original commitRevision:433856 
Saturday, 11 Jun 2016
18:41 marino search for other commits by this committer
devel/gps: Upgrade to 2016 release (plus 2 dependencies)

x11-toolkits/gtkada3: Upgrade version => 3.14.2
devel/gnatcoll:       Upgrade version    2015 => 2016
devel/gps:            Upgrade version => 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
Original commitRevision:416739 
Saturday, 30 Apr 2016
06:44 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

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).
Original commitRevision:414332 
Friday, 1 Apr 2016
14:00 mat search for other commits by this committer
Remove ${PORTSDIR}/ from dependencies, categories d, e, f, and g.

With hat:	portmgr
Sponsored by:	Absolight
Original commitRevision:412346 
Wednesday, 24 Jun 2015
13:32 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.
Original commitRevision:390479 
Tuesday, 23 Jun 2015
22:20 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
  * www/aws
  * www/aws-demos

While the version upgrades were modest in most cases (gps, gtkada3), the
amount of work put into each port was significant.  There are too many
improvements to mention here.  A few include the removal of dynamic
package lists and incorporating gnatcoll into gps to avoid building it
twice.  A private "exp-run" was done all on all 50+ Ada ports to ensure
they still build.

Also, a new argument was added to Uses/, "run", that pulls in the
GNAT compiler as a run depends.  This was necessary for GPS that will
not launch correctly without the compiler in place.
Original commitRevision:390464 
Monday, 20 Oct 2014
16:04 mva search for other commits by this committer
- Convert ports of devel/ to USES=python

Approved by:	portmgr (implicit)
Original commitRevision:371280 
Wednesday, 10 Sep 2014
20:50 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.


PR:		192025
Tested by:	antoine (-exp runs)
Approved by:	portmgr (implicit)
Original commitRevision:367888 
Thursday, 5 Jun 2014
18:20 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.
Original commitRevision:356675 
Saturday, 24 May 2014
21:31 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.
Original commitRevision:355092 
Friday, 23 May 2014
08:10 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).
Original commitRevision:354919 
Thursday, 22 May 2014
21:44 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.
Original commitRevision:354892 
11:32 marino search for other commits by this committer
devel/gnatcoll: Fix disable iconv non-default option (typo)
Original commitRevision:354826 
11:13 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)
Original commitRevision:354824 

Number of commits found: 23