| non port: lang/adacontrol/pkg-plist |
|
SVNWeb
|
Number of commits found: 6 |
|
Mon, 28 Feb 2022
|
[ 21:34 Rene Ladan (rene)  ]    8e2a89b (Only the first 10 of 234 ports in this commit are shown above.  )
cleanup: Remove ports depending on expired lang/gcc6-aux
Keep ports-mgmt/synth and dependencies (including lang/gcc6-aux itself)
for now as synth is the only Ada port still maintained and might be
somewhat high-profile.
Removed ports:
archivers/zip-ada
cad/ghdl
databases/adabase
databases/apq
databases/apq-mysql
databases/apq-odbc
databases/apq-pgsql
devel/ada-util (Only the first 15 lines of the commit message are shown above )
|
|
Tue, 15 Nov 2016
|
[ 23:25 marino ]  
lang/adacontrol: Upgrade version 1.17r3 => 1.18r9
The big feature for adacontrol 1.18 is the direct support of .gpr project
files. Unfortunately, the project support requires devel/gnatcoll, a heavy
dependency. Thus, a PROJECT option was created which is "OFF" by default to
maintain the relatively lean dependency requirements. If project support is
vital, reconfigure the build with the PROJECT option.
|
|
Thu, 16 Oct 2014
|
[ 11:53 marino ]
Remove @dirrm from 10 of my lang ports
The majority of these ports had generated plists, not static ones.
|
|
Thu, 7 Aug 2014
|
[ 20:47 marino ]
lang/adacontrol: Upgrade version 1.16r10 => 1.16r11
|
|
Fri, 14 Mar 2014
|
[ 08:36 marino ]
lang/adacontrol: Reaction to gcc-aux upgrade to gcc49
While the version remains the same, AdaControl comes with two flavors of
distfiles: "old" and "new". The "old" distfile was appropriate for
gcc47-aux, but the "new" one is required for the gcc49-based ada compiler.
This change updates the distfile to be used to build adacontrol.
|
|
Sun, 21 Jul 2013
|
[ 14:26 marino ]
Add new port: lang/adacontrol
Adacontrol is a tool that analyzes language constructs in Ada programs. It
can be used as a standalone tool, or integrated into other tools. An
example of integration can be seen with the upcoming devel/ahven port.
Approved by: bapt (mentor)
|
Number of commits found: 6 |
As an Amazon Associate I earn from qualifying purchases.