|Commit History - (may be incomplete: see SVNWeb link above for full details)
|24 Jun 2015 13:32:42
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
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:
* x11-toolkits/gtkada3(Only the first 15 lines of the commit message are shown above )
|20 Oct 2014 16:04:14
- Convert ports of devel/ to USES=python
Approved by: portmgr (implicit)
|16 Oct 2014 10:36:15
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
Update the default version of GCC in the Ports Collection from GCC 4.7.4
to GCC 4.8.3.
Part II, Bump PORTREVISIONs.
Tested by: antoine (-exp runs)
Approved by: portmgr (implicit)
|05 Jun 2014 18:20:50
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
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
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
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
devel/gnatcoll: Fix disable iconv non-default option (typo)
|22 May 2014 11:13:02
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 )