aboutsummaryrefslogtreecommitdiff
path: root/lang/adacontrol
Commit message (Collapse)AuthorAgeFilesLines
* Bump PORTREVISIONs of all users of math/mpc that we just updated toGerald Pfeifer2018-03-101-0/+1
| | | | | | | version 1.1.0 (via revision 464079). Notes: svn path=/head/; revision=464084
* Return ports maintained by John Marino to the pool, he is no longer interested.Rene Ladan2017-04-211-1/+1
| | | | | | | Submitted by: Mark Millard via private e-mail Notes: svn path=/head/; revision=439129
* Return the ports mistakenly reset to ports@ in r433856 to John Marino.Rene Ladan2017-02-151-1/+1
| | | | | | | | | | | 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. Notes: svn path=/head/; revision=434195
* Return ports maintained by John Marino to the pool, see r433827 for detailsRene Ladan2017-02-111-1/+1
| | | | Notes: svn path=/head/; revision=433856
* lang/adacontrol: Upgrade version 1.17r3 => 1.18r9John Marino2016-11-153-11/+25
| | | | | | | | | | | 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. Notes: svn path=/head/; revision=426188
* lang/asis: Upgrade version 2015 => 2016John Marino2016-06-101-1/+1
| | | | | | | Bump ports that depend on ASIS as well. Notes: svn path=/head/; revision=416646
* Change Ada Framework foundation from gcc5-aux to gcc6-auxJohn Marino2016-04-301-1/+1
| | | | | | | | | | | | | | | | | | | 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). Notes: svn path=/head/; revision=414332
* Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.Mathieu Arnold2016-04-011-1/+1
| | | | | | | | With hat: portmgr Sponsored by: Absolight Notes: svn path=/head/; revision=412347
* lang/adacontrol: distfile was re-rolledJohn Marino2015-11-152-2/+4
| | | | | | | | | | | The upstream distfile was changed. Most of the changes were regenerated documentation, but a build file (gpr) was also updated. The changes are legitimate (but should have been provided r4) Introduce DIST_SUBDIR now that adacontrol joined the reroll club. Notes: svn path=/head/; revision=401702
* lang/adacontrol: Upgrade version 1.16r11 => 1.17r3John Marino2015-11-072-3/+3
| | | | Notes: svn path=/head/; revision=400980
* Typos, whitespace and capitalization fixes (G-P).Jimmy Olgeni2015-09-201-1/+1
| | | | Notes: svn path=/head/; revision=397461
* - Switch to options helpersDmitry Marakasov2015-08-261-4/+2
| | | | | | | | | - While here, add some NO_ARCHes Approved by: portmgr blanket Notes: svn path=/head/; revision=395395
* Remove @dirrm from 10 of my lang portsJohn Marino2014-10-161-5/+0
| | | | | | | The majority of these ports had generated plists, not static ones. Notes: svn path=/head/; revision=371003
* lang/adacontrol: Upgrade version 1.16r10 => 1.16r11John Marino2014-08-073-4/+3
| | | | Notes: svn path=/head/; revision=364321
* lang/adacontrol: Upgrade version 1.15r5 => 1.16r10John Marino2014-04-132-7/+5
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Rule changes according to HISTORY file since version 1.15r5: New rules: ---------- positional_associations (took over style (positional_association)) type_usage unit_pattern unsafe_elaboration Changes to existing rules: -------------------------- No_Operator_Usage: added observed relational Changed syntax Filtering on indexing in addition to logical operators Style (Multiple_Elements): separated keywords from other subrules (Casing_Identifier, original): Check closing identifier, allow multiple casing options. Positional_Association: removed, now subrule of Positional_Associations. Parameter_Order, Formal_Parameter_Order: modes are separated by "|". Multiple_Element: checks proper presentation of "end", "for ... loop" With_Clauses: Handle correctly case of with clauses required due to a use clause or pragma Elaborate for the same package in the context clauses. Use_Clauses Added subrules type, type_global, type_local. Array_Declarations: Slightly changed the syntax of the component subrule. Case_Statements: Added subrule values_if_others Declarations: Added subrules box_defaulted_formal_function, name_defaulted_formal_function, box_defaulted_formal_procedure, name_defaulted_formal_procedure, null_defaulted_formal_procedure, non_ravenscar_task, access_constrained_array_type, access_unconstrained_array_type, access_def_discriminated_type, access_nondef_discriminated_type, access_unknown_discriminated_type, access_formal_type, access_language_type, equality_operator Better placement of some messages Dependencies: Added subrules public_child, private_child Expressions: Added subrules in, not_in, static_membership, and_array, and_logical, and_binary, or_array, or_logical, or_binary, xor_array, xor_logical, xor_binary, upward_conversion, downward_conversion, extension_aggregate, extendable_aggregate, array_positional_others, array_named_others, unconverted_fixed_multiplying_op Subrule Mixed_Operators considers membership tests and short circuit forms Local_Hiding: Added modifiers Not_Identical_Renaming, Not_Different_Families Global_References: Added subrules read, written Multiple_Assignments: The rule has been renamed to "Assignments" Added subrule sliding. Added criterion total. Naming_Convention: Added specific patterns by object and functions type names and categories Added subrules regular_static_constant, regular_nonstatic_constant Object declarations: Added subrule type. Parameter_Declarations: Added subrules tagged_parameters, class_wide_parameters. Added callables dispatching_function, dispatching_parameter Reduceable_Scope: Don't suggest moving declarations to a task specification Representation_Clauses: Added subrule no_bit_order_layout Statements: Added subrules named_exit, exit_plain_loop, simple_block, unnamed_simple_block, redispatching_call. Normalized behaviour of subrule exit. Notes: svn path=/head/; revision=351199
* lang/adacontrol: Reaction to gcc-aux upgrade to gcc49John Marino2014-03-144-50/+23
| | | | | | | | | | 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. Notes: svn path=/head/; revision=348171
* Tie libgnat_util.a to libasisJohn Marino2014-03-131-2/+1
| | | | | | | | | | Rather than specify gnat_util every time ASIS is a dependency, set it as a library dependency for ASIS. LIB_DEPENDS doesn't work because it is a static library, so just manually add libgnat_util.a to BUILD_DEPENDS and RUN_DEPENDS, then adjust 3 ports accordingly. Notes: svn path=/head/; revision=348143
* lang/adacontrol: Define LICENSE (GPLv2 + GMGPL)John Marino2014-02-151-0/+4
| | | | Notes: svn path=/head/; revision=344420
* lang/adacontrol: Convert to stagingJohn Marino2013-11-101-15/+10
| | | | Notes: svn path=/head/; revision=333403
* Add NO_STAGE all over the place in preparation for the staging support (cat: ↵Baptiste Daroussin2013-09-201-0/+1
| | | | | | | lang) Notes: svn path=/head/; revision=327741
* Add new port: lang/adacontrolJohn Marino2013-07-215-0/+115
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) Notes: svn path=/head/; revision=323392
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-13 17:31:26 +0000