summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller32 hours4-4/+4
* dev-ada/langkit: remove unused patch(es)Michael Mair-Keimberger7 days1-10/+0
* dev-ada/ada_libfswatch: fix SAlfredo Tupone2022-01-022-3/+3
* dev-ada/ada_language_server: install a missing libraryAlfredo Tupone2022-01-021-1/+7
* dev-ada/ada_language_server: Language Server for Ada/SPARKAlfredo Tupone2021-12-313-0/+67
* dev-ada/ada_libfswatch: fix ObsoleteUriAlfredo Tupone2021-12-302-4/+7
* dev-ada/ada_libfswatch: ada binding to libfswatchAlfredo Tupone2021-12-304-0/+72
* dev-ada/libadalang-tools: respect ADAFLAGSAlfredo Tupone2021-12-281-2/+4
* dev-ada/libadalang-tools: install libraries, tooAlfredo Tupone2021-12-283-35/+71
* dev-ada/VSS: fix testAlfredo Tupone2021-12-281-2/+16
* dev-ada/libadalang-tools: only gnat_2021Alfredo Tupone2021-12-271-1/+1
* dev-ada/VSS: A high level string and text processing libraryAlfredo Tupone2021-12-273-0/+33
* dev-ada/spawn: fix dependencyAlfredo Tupone2021-12-271-1/+2
* dev-ada/gtkada: drop uninstall phaseAlfredo Tupone2021-12-273-0/+15
* dev-ada/spawn: simple API to spawn processesAlfredo Tupone2021-12-263-0/+127
* dev-ada/gtkada: add static-pic generationAlfredo Tupone2021-12-262-3/+7
* dev-ada/libadalang: use LDFLAGSAlfredo Tupone2021-12-241-1/+2
* dev-ada/libadalang: build examplesAlfredo Tupone2021-12-242-11/+22
* dev-ada/libadalang: respect MAKEOPTSAlfredo Tupone2021-12-231-1/+2
* dev-ada/gnatcoll-db: build somethingAlfredo Tupone2021-12-231-0/+2
* dev-ada/libadalang: more verbose during testAlfredo Tupone2021-12-231-1/+1
* dev-ada/libadalang: fix installAlfredo Tupone2021-12-231-0/+1
* dev-ada/libadalang: fix test dependencyAlfredo Tupone2021-12-231-1/+1
* dev-ada/gprbuild: use AR or NM env insteadAlfredo Tupone2021-12-235-18/+10
* dev-ada/gprbuild: use chost-arAlfredo Tupone2021-12-224-0/+24
* dev-ada/libadalang: fix building with gnat-gpl-2020Alfredo Tupone2021-12-221-1/+3
* dev-ada/langkit: add ada dependencyAlfredo Tupone2021-12-221-2/+5
* dev-ada/libgpr: does not work with gnat-gpl-2020Alfredo Tupone2021-12-221-1/+1
* dev-ada/gprbuild: use ${CHOST}-nmAlfredo Tupone2021-12-214-1/+106
* dev-ada/libadalang: fix DEPAlfredo Tupone2021-12-211-4/+4
* dev-ada/langkit: fix failing testAlfredo Tupone2021-12-201-1/+2
* dev-ada/gtkada: add the installAlfredo Tupone2021-12-202-3/+6
* dev-ada/xmlada: x86 stable wrt bug #800527Agostino Sarubbo2021-12-191-1/+1
* dev-ada/libgpr: x86 stable wrt bug #800527Agostino Sarubbo2021-12-191-1/+1
* dev-ada/gtkada: x86 stable wrt bug #800527Agostino Sarubbo2021-12-191-1/+1
* dev-ada/gprbuild: x86 stable wrt bug #800527Agostino Sarubbo2021-12-191-1/+1
* dev-ada/gnatsymbolize: x86 stable wrt bug #800527Agostino Sarubbo2021-12-191-1/+1
* dev-ada/gnatmem: x86 stable wrt bug #800527Agostino Sarubbo2021-12-191-1/+1
* dev-ada/gnatcoll-core: x86 stable wrt bug #800527Agostino Sarubbo2021-12-191-1/+1
* dev-ada/gnatcoll-bindings: x86 stable wrt bug #800527Agostino Sarubbo2021-12-191-1/+1
* dev-ada/aws: x86 stable wrt bug #800527Agostino Sarubbo2021-12-191-1/+1
* dev-ada/aunit: x86 stable wrt bug #800527Agostino Sarubbo2021-12-191-1/+1
* dev-ada/gnatcoll-core: build somethingAlfredo Tupone2021-12-191-2/+2
* dev-ada/libadalang-tools: rebuild if slot changedAlfredo Tupone2021-12-191-1/+1
* dev-ada/langkit: build somethingAlfredo Tupone2021-12-192-70/+3
* dev-ada/libadalang: use subslotAlfredo Tupone2021-12-191-3/+4
* dev-ada/gnatcoll-bindings: build somethingAlfredo Tupone2021-12-191-3/+4
* dev-ada/gnatcoll-core: build somethingAlfredo Tupone2021-12-191-5/+5
* dev-ada/gnatcoll-bindings: using trampolineAlfredo Tupone2021-12-192-0/+4
* dev-ada/gnatcoll-bindings: fix rm when asked to build nothingAlfredo Tupone2021-12-182-2/+2