summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ada/libadalang-tools: require static libadalangTupone Alfredo4 days1-1/+1
* dev-ada/libgpr: block net-libs/grpcTupone Alfredo2018-08-041-1/+2
* dev-ada/gnatcoll-db: fix install when there is no libraryTupone Alfredo2018-08-031-1/+1
* dev-lang/gnat-gpl: bootstrap by default.Tupone Alfredo2018-07-301-1/+1
* dev-ml/ocplib-simplex: StabilizingTupone Alfredo2018-07-271-2/+2
* dev-ada/gps: respect ADAFLAGS/CFLAGSTupone Alfredo2018-07-262-16/+46
* dev-ada/gnatmem: for C use the related gcc compilerTupone Alfredo2018-07-211-1/+8
* dev-ada/aws: use ADAFLAGS for all ada filesTupone Alfredo2018-07-191-2/+1
* dev-ada/aunit: Build verboseTupone Alfredo2018-07-181-1/+1
* sci-mathematics/cvc4: Add cvc4 to the treeTupone Alfredo2018-07-183-0/+42
* dev-lang/spark: Fix path for gnatlsTupone Alfredo2018-07-151-0/+1
* dev-lang/spark: Version bump to 2018Tupone Alfredo2018-07-152-0/+63
* sci-mathematics/why3-for-spark: Version bump to 2018Tupone Alfredo2018-07-133-0/+101
* dev-ada/gps: Version bump to 2018Tupone Alfredo2018-07-123-0/+167
* dev-ada/libadalang-tools: Add libadalang-tools to treeTupone Alfredo2018-07-083-0/+45
* dev-ada/libadalang: Build shared/static libraryTupone Alfredo2018-07-082-5/+16
* dev-ada/asis: Rename a file conflicting with libadalang-toolTupone Alfredo2018-07-081-0/+1
* dev-ada/gnatcoll-bindings: Allow selection of static via LIBRARY_TYPETupone Alfredo2018-07-071-0/+6
* dev-ada/gprbuild: Fix "-r and -pie may not be used together" errorTupone Alfredo2018-07-071-0/+4
* dev-ada/libadalang: Bump to 2018Tupone Alfredo2018-07-054-0/+73
* dev-ada/langkit: Add 2018 versionTupone Alfredo2018-07-043-0/+70
* dev-ada/gtkada: Version bump to 2018Tupone Alfredo2018-07-023-0/+72
* dev-ada/aws: Version bump to 2018Tupone Alfredo2018-07-023-0/+53
* dev-ada/libgpr: Merge dependencyTupone Alfredo2018-07-011-3/+1
* dev-ada/xmlada: Merge dependencyTupone Alfredo2018-07-011-3/+1
* dev-ada/gnatsymbolize: Add to treeTupone Alfredo2018-07-013-0/+44
* dev-ada/asis: Simplify dependencyTupone Alfredo2018-07-011-7/+4
* dev-ada/gnatmem: Add 2018 versionTupone Alfredo2018-07-013-0/+44
* dev-ada/gnatcoll-db: Enable gnat_2017 usageTupone Alfredo2018-06-301-1/+1
* dev-ada/gnatcoll-core: Better block against dev-ada/gnatcollTupone Alfredo2018-06-301-3/+3
* dev-ada/libgpr: Allows using a gprbuild for gnat_2016Tupone Alfredo2018-06-301-1/+3
* dev-ada/xmlada: Allow compiling with gnat_2016Tupone Alfredo2018-06-301-2/+4
* dev-ada/gprbuild: Unable to compile xmlada with gnat_2016Tupone Alfredo2018-06-301-1/+1
* dev-ada/gnatcoll-bindings: Fix used C compilerTupone Alfredo2018-06-291-1/+6
* dev-ada/gnatcoll-db: Fix dependency on gnatcoll-bindingsTupone Alfredo2018-06-291-0/+1
* dev-ada/xmlada: xmlada-2018 does not work with gnat_2016Tupone Alfredo2018-06-281-1/+1
* dev-ada/aunit: Remove ada manifestsTupone Alfredo2018-06-281-0/+1
* dev-ada/gnatcoll-db: Remove ada manifestsTupone Alfredo2018-06-281-6/+5
* dev-ada/gnatcoll-bindings: Remove ada manifestsTupone Alfredo2018-06-281-9/+5
* dev-ada/gnatcoll-core: Remove ada manifestsTupone Alfredo2018-06-281-3/+4
* dev-ada/libgpr: Remove ada manifestsTupone Alfredo2018-06-281-0/+1
* dev-ada/xmlada: Remove ada manifestsTupone Alfredo2018-06-281-0/+1
* dev-ada/gnatcoll-core: Good for gnat_2017 tooTupone Alfredo2018-06-281-6/+10
* dev-ada/libgpr: Fix dependencyTupone Alfredo2018-06-281-3/+4
* dev-ada/xmlada: Fix and simplify installTupone Alfredo2018-06-281-28/+14
* dev-lang/spark: Fix build.Tupone Alfredo2018-06-261-4/+4
* dev-ada/gnatcoll: Fix dependency on dev-ada/libgprTupone Alfredo2018-06-261-1/+1
* dev-lang/gnat-gpl: Fix blocking slotTupone Alfredo2018-06-251-1/+1
* dev-ada/gnatcoll-db: Adapt to gnat-gpl-2018 changesTupone Alfredo2018-06-251-2/+2
* dev-ada/libgpr: Adapt to gnat-gpl-2018 changesTupone Alfredo2018-06-251-1/+1