diff options
Diffstat (limited to 'devel/gnatcoll')
| -rw-r--r-- | devel/gnatcoll/Makefile | 95 | ||||
| -rw-r--r-- | devel/gnatcoll/distinfo | 5 | ||||
| -rw-r--r-- | devel/gnatcoll/files/patch-Makefile | 40 | ||||
| -rw-r--r-- | devel/gnatcoll/files/patch-configure | 11 | ||||
| -rw-r--r-- | devel/gnatcoll/files/patch-src_gnatcoll__iconv.gpr | 12 | ||||
| -rw-r--r-- | devel/gnatcoll/files/patch-src_gnatcoll__readline.gpr.in | 21 | ||||
| -rw-r--r-- | devel/gnatcoll/files/patch-src_iconv_with__iconv_iconv__support.c | 20 | ||||
| -rw-r--r-- | devel/gnatcoll/pkg-descr | 24 | ||||
| -rw-r--r-- | devel/gnatcoll/pkg-plist | 417 |
9 files changed, 0 insertions, 645 deletions
diff --git a/devel/gnatcoll/Makefile b/devel/gnatcoll/Makefile deleted file mode 100644 index 7d3ef9d598ea..000000000000 --- a/devel/gnatcoll/Makefile +++ /dev/null @@ -1,95 +0,0 @@ -# Created by: John Marino <marino@FreeBSD.org> -# $FreeBSD$ - -PORTNAME= gnatcoll -PORTVERSION= 2016 # branch: gpl-for-gps-2016 -PORTREVISION= 4 -CATEGORIES= devel - -MAINTAINER= ports@FreeBSD.org -COMMENT= GNAT Component Collection from Adacore - -LICENSE= GPLv3 -LICENSE_FILE= ${WRKSRC}/COPYING3 - -BROKEN= unfetchable -DEPRECATED= Unfetchable, unmaintained -EXPIRATION_DATE= 2019-10-16 - -BUILD_DEPENDS= gprbuild:devel/gprbuild \ - gnat_util>=20140422:lang/gnat_util -LIB_DEPENDS= libgtkada.so:x11-toolkits/gtkada3 \ - libgmp.so:math/gmp -RUN_DEPENDS= gnat_util>=20140422:lang/gnat_util - -USE_GITHUB= yes -GH_ACCOUNT= AdaCore -GH_PROJECT= gprbuild:libgpr -GH_TAGNAME= 858f72c a2e9066:libgpr - -USES= ada gmake pkgconfig python:2.7 shebangfix -SHEBANG_FILES= src/dborm.py -USE_GNOME= pygobject3 - -PYCOMPILE= ${PREFIX}/lib/${PYTHON_VERSION}/compileall.py -GNU_CONFIGURE= yes -ALL_TARGET= all -PORTDOCS= * -PORTEXAMPLES= * - -MAKE_ARGS= PROCESSORS=${MAKE_JOBS_NUMBER} \ - Gnatcoll_Build=Production - -OPTIONS_DEFINE= READLINE SYSLOG PGSQL DOCS EXAMPLES -OPTIONS_DEFAULT= READLINE SYSLOG -OPTIONS_SUB= yes - -DOCS_BUILD_DEPENDS= sphinx-build-${PYTHON_VER}:textproc/py-sphinx@${PY_FLAVOR} -DOCS_BINARY_ALIAS= sphinx-build=sphinx-build-${PYTHON_VER} -DOCS_ALL_TARGET= docs -SYSLOG_CONFIGURE_ENABLE= syslog - -CONFIGURE_TARGET= ${ARCH:S/amd64/x86_64/}-aux-${OPSYS:tl}${OSREL} -CONFIGURE_ARGS= --with-gmp=${PREFIX} \ - --with-sqlite=embedded \ - --with-python_exec=${PYTHON_CMD} \ - --with-gtk=3.0 \ - --without-iconv \ - --enable-pygobject \ - --enable-projects \ - --disable-shared \ - --disable-pygtk - -READLINE_USES= readline:port -READLINE_CONFIGURE_ON= --enable-gpl -READLINE_CONFIGURE_OFF= --disable-readline - -PGSQL_USES= pgsql -PGSQL_CONFIGURE_ON= --with-postgresql=${PREFIX} -PGSQL_CONFIGURE_OFF= --without-postgresql - -post-patch: - @${REINPLACE_CMD} -e "s|@PREFIX@|${PREFIX}|g" \ - ${WRKSRC}/src/gnatcoll_readline.gpr.in - @${REINPLACE_CMD} -e 's|with "gpr"|with "${WRKSRC_libgpr}/gpr/gpr"|' \ - ${WRKSRC}/src/gnatcoll__libgpr.gpr - -pre-build: - (cd ${WRKSRC_libgpr}/gpr && ${SETENV} ${MAKE_ENV} \ - gprbuild -p -P gpr); - -do-build: - (cd ${WRKSRC} && ${SETENV} ${MAKE_ENV} \ - ${MAKE_CMD} ${MAKE_ARGS} ${ALL_TARGET}) - -post-install: - ${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/gnatcoll_db2ada - ${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/gnatinspect - ${RM} -r ${STAGEDIR}${DOCSDIR}/html/_sources - ${RM} -r ${STAGEDIR}${PREFIX}/share/gps - ${RM} -r ${STAGEDIR}${EXAMPLESDIR}/library - -post-install-EXAMPLES-off: - ${RM} -r ${STAGEDIR}${EXAMPLESDIR} - -.include <bsd.port.mk> diff --git a/devel/gnatcoll/distinfo b/devel/gnatcoll/distinfo deleted file mode 100644 index b4b9135d6a23..000000000000 --- a/devel/gnatcoll/distinfo +++ /dev/null @@ -1,5 +0,0 @@ -TIMESTAMP = 1465650872 -SHA256 (AdaCore-gnatcoll-2016-858f72c_GH0.tar.gz) = 18e3470eacad2e445d34621a2ed7a24a32548dc3210d9aa5ae774a58e623d746 -SIZE (AdaCore-gnatcoll-2016-858f72c_GH0.tar.gz) = 4369484 -SHA256 (AdaCore-gprbuild-a2e9066_GH0.tar.gz) = 6f35607ef16e81aa76bb0e5a78bf89d0d54ce691fda50517d50e18540db8aaa5 -SIZE (AdaCore-gprbuild-a2e9066_GH0.tar.gz) = 4254762 diff --git a/devel/gnatcoll/files/patch-Makefile b/devel/gnatcoll/files/patch-Makefile deleted file mode 100644 index 1d35ff0a535d..000000000000 --- a/devel/gnatcoll/files/patch-Makefile +++ /dev/null @@ -1,40 +0,0 @@ ---- Makefile.orig 2016-05-12 07:45:17 UTC -+++ Makefile -@@ -51,7 +51,7 @@ endif - ####################################################################### - # install - --GPRINST_OPTS=-p -f --prefix=${prefix} --install-name=gnatcoll \ -+GPRINST_OPTS=-p -f --prefix=$(DESTDIR)${prefix} --install-name=gnatcoll \ - --exec-subdir=${bindir} --project-subdir=lib/gnat \ - --build-var=LIBRARY_TYPE --build-name=$(@F) -XLIBRARY_TYPE=$(@F) - -@@ -71,9 +71,9 @@ endif - ${GPRINSTALL} --mode=usage ${GPRINST_OPTS} -Psrc/gnatcoll_tools - - install_gps_plugin: force -- mkdir -p $(prefix)/share/gps/plug-ins -+ mkdir -p $(DESTDIR)$(prefix)/share/gps/plug-ins - (cd distrib/ ; tar cf - gnatcoll) | \ -- (cd $(prefix)/share/gps/plug-ins ; tar xf -) -+ (cd $(DESTDIR)$(prefix)/share/gps/plug-ins ; tar xf -) - - # Regenerate part of the sources. Unfortunately, this can be run only after - # we have build GNATCOLL, and then its tools, even though GNATCOLL itself -@@ -108,7 +108,7 @@ ifeq ($(OS),Windows_NT) - -cd $(SQLITE_DIR); gcc -O2 -DSQLITE_OMIT_LOAD_EXTENSION -D__EXTENSIONS__ -o sqlite3_for_gps shell.c sqlite3.c - else - # If we fail to compile, never mind. Some tests will simply be disabled -- -cd $(SQLITE_DIR); gcc -O2 -DSQLITE_OMIT_LOAD_EXTENSION -D__EXTENSIONS__ -o sqlite3_for_gps shell.c sqlite3.c -lpthread -ldl -+ -cd $(SQLITE_DIR); gcc -O2 -DSQLITE_OMIT_LOAD_EXTENSION -D__EXTENSIONS__ -o sqlite3_for_gps shell.c sqlite3.c -lpthread - endif - - ## Only works after installation, so we should install to a local directory -@@ -149,6 +149,6 @@ clean: clean_library/static clean_librar - -${MAKE} -C examples $@ - - docs: -- ${MAKE} -C docs html latexpdf -+ ${MAKE} -C docs html - - force: diff --git a/devel/gnatcoll/files/patch-configure b/devel/gnatcoll/files/patch-configure deleted file mode 100644 index 981de53a3b57..000000000000 --- a/devel/gnatcoll/files/patch-configure +++ /dev/null @@ -1,11 +0,0 @@ ---- configure.orig 2016-05-19 14:39:16 UTC -+++ configure -@@ -3910,7 +3910,7 @@ $as_echo_n "checking if we can link with - ia64-*hp-hpux11* ) - PYTHON_LIBS="-ldld -ldl -lm -Wl,-E ${PYTHON_LIBS}" - ;; -- *-freebsd* ) -+ *-freebsd* | *-dragonfly* ) - PYTHON_LIBS="-lm -lutil ${PYTHON_LIBS}" - ;; - esac diff --git a/devel/gnatcoll/files/patch-src_gnatcoll__iconv.gpr b/devel/gnatcoll/files/patch-src_gnatcoll__iconv.gpr deleted file mode 100644 index 8452f9324ee9..000000000000 --- a/devel/gnatcoll/files/patch-src_gnatcoll__iconv.gpr +++ /dev/null @@ -1,12 +0,0 @@ ---- src/gnatcoll_iconv.gpr.orig 2015-04-30 10:51:45 UTC -+++ src/gnatcoll_iconv.gpr -@@ -27,7 +27,8 @@ project GnatColl_Iconv is - package Compiler is - for Switches ("Ada") use GnatColl_Shared.Compiler'Switches ("Ada"); - for Switches ("C") use GnatColl_Shared.Compiler'Switches ("C") -- & GnatColl_Shared.Iconv_Include; -+ & ("-nostdinc") & GnatColl_Shared.Iconv_Include -+ & ("-I/usr/include"); - end Compiler; - - package Builder renames GnatColl_Shared.Builder; diff --git a/devel/gnatcoll/files/patch-src_gnatcoll__readline.gpr.in b/devel/gnatcoll/files/patch-src_gnatcoll__readline.gpr.in deleted file mode 100644 index 10e0014f4bed..000000000000 --- a/devel/gnatcoll/files/patch-src_gnatcoll__readline.gpr.in +++ /dev/null @@ -1,21 +0,0 @@ ---- src/gnatcoll_readline.gpr.in.orig 2015-04-30 10:51:45 UTC -+++ src/gnatcoll_readline.gpr.in -@@ -6,7 +6,7 @@ project GnatColl_Readline is - when "yes" => - for Languages use ("Ada"); - for Source_Dirs use ("readline", "readline/with_readline"); -- for Library_Options use ("-lreadline"); -+ for Library_Options use ("-L@PREFIX@/lib", "-lreadline"); - when "no" => - for Source_Dirs use ("readline", "readline/no_readline"); - end case; -@@ -26,7 +26,8 @@ project GnatColl_Readline is - package Linker is - -- When linking an executable - case Gnatcoll_Shared.Readline is -- when "yes" => for Linker_Options use ("-lreadline"); -+ when "yes" => for Linker_Options use ("-rpath=@PREFIX@/lib", -+ "-L@PREFIX@/lib", "-lreadline"); - when "no" => null; - end case; - end Linker; diff --git a/devel/gnatcoll/files/patch-src_iconv_with__iconv_iconv__support.c b/devel/gnatcoll/files/patch-src_iconv_with__iconv_iconv__support.c deleted file mode 100644 index 94d11d041656..000000000000 --- a/devel/gnatcoll/files/patch-src_iconv_with__iconv_iconv__support.c +++ /dev/null @@ -1,20 +0,0 @@ ---- src/iconv/with_iconv/iconv_support.c.orig 2015-04-30 10:51:47 UTC -+++ src/iconv/with_iconv/iconv_support.c -@@ -6,6 +6,7 @@ - #include <iconv.h> - #include <errno.h> - #include <locale.h> -+#include <sys/param.h> - - const int gnatcoll_errno_einval = EINVAL; - const int gnatcoll_errno_e2big = E2BIG; -@@ -25,7 +26,8 @@ int gnatcoll_iconv_close(iconv_t cd) { - return iconv_close (cd); - } - --#if _LIBICONV_VERSION >= 0x010D -+#if defined (__DragonFly__) || \ -+ (defined (__FreeBSD__) && __FreeBSD_version < 1001514) - size_t gnatcoll_iconv - (iconv_t cd, const char** inbuf, size_t *inbytesleft, char** outbuf, - size_t *outbytesleft) diff --git a/devel/gnatcoll/pkg-descr b/devel/gnatcoll/pkg-descr deleted file mode 100644 index aa1e0369f156..000000000000 --- a/devel/gnatcoll/pkg-descr +++ /dev/null @@ -1,24 +0,0 @@ -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. - -The GNATColl components complement the predefined Ada and GNAT libraries -and deal with a range of common programming issues including string and -text processing, memory management, and file handling. Several of the -components are especially useful in enterprise applications. - -* Scripts: Embedding script languages * Traces: Logging information -* Memory: Monitoring memory usage * Mmap: Reading and writing files -* Boyer-Moore: Searching strings * Paragraph filling: Formatting text -* Templates: Generating text * Email: Processing email messages -* Ravenscar: Patterns for multitasking * VFS: Manipulating files -* Storage Pools: Controlling memory mgmt * Tribooleans: Three-state logic -* Geometry: Primitive geometric ops * Refcount: Reference counting -* Projects: Manipulating ``gpr`` files * Config: Parsing configuration files -* Pools: Controlling access to resources * JSON: JavaScript Object Notation -* SQL: Database interface - -WWW: http://libre.adacore.com/tools/gnat-component-collection diff --git a/devel/gnatcoll/pkg-plist b/devel/gnatcoll/pkg-plist deleted file mode 100644 index c57960f1bea8..000000000000 --- a/devel/gnatcoll/pkg-plist +++ /dev/null @@ -1,417 +0,0 @@ -%%DATADIR%%/dborm.py -%%PGSQL%%include/gnatcoll/gnatcoll_postgres.static/gnatcoll-sql-postgres-gnade.adb -%%PGSQL%%include/gnatcoll/gnatcoll_postgres.static/gnatcoll-sql-postgres-gnade.ads -%%PGSQL%%include/gnatcoll/gnatcoll_postgres.static/postgres_support.c -%%PGSQL%%lib/gnatcoll/gnatcoll_postgres.static/gnatcoll-sql-postgres-gnade.ali -bin/gnatcoll_db2ada -bin/gnatinspect -include/gnatcoll/gnatcoll.static/getRSS.c -include/gnatcoll/gnatcoll.static/gnatcoll-any_types.adb -include/gnatcoll/gnatcoll.static/gnatcoll-any_types.ads -include/gnatcoll/gnatcoll.static/gnatcoll-arg_lists.adb -include/gnatcoll/gnatcoll.static/gnatcoll-arg_lists.ads -include/gnatcoll/gnatcoll.static/gnatcoll-atomic.ads -include/gnatcoll/gnatcoll.static/gnatcoll-atomic__intrinsic.ada -include/gnatcoll/gnatcoll.static/gnatcoll-boyer_moore.adb -include/gnatcoll/gnatcoll.static/gnatcoll-boyer_moore.ads -include/gnatcoll/gnatcoll.static/gnatcoll-config.adb -include/gnatcoll/gnatcoll.static/gnatcoll-config.ads -include/gnatcoll/gnatcoll.static/gnatcoll-email-mailboxes.adb -include/gnatcoll/gnatcoll.static/gnatcoll-email-mailboxes.ads -include/gnatcoll/gnatcoll.static/gnatcoll-email-parser.adb -include/gnatcoll/gnatcoll.static/gnatcoll-email-parser.ads -include/gnatcoll/gnatcoll.static/gnatcoll-email-utils.adb -include/gnatcoll/gnatcoll.static/gnatcoll-email-utils.ads -include/gnatcoll/gnatcoll.static/gnatcoll-email.adb -include/gnatcoll/gnatcoll.static/gnatcoll-email.ads -include/gnatcoll/gnatcoll.static/gnatcoll-geometry.adb -include/gnatcoll/gnatcoll.static/gnatcoll-geometry.ads -include/gnatcoll/gnatcoll.static/gnatcoll-io-native-codec__unix.adb -include/gnatcoll/gnatcoll.static/gnatcoll-io-native.adb -include/gnatcoll/gnatcoll.static/gnatcoll-io-native.ads -include/gnatcoll/gnatcoll.static/gnatcoll-io-remote-unix.adb -include/gnatcoll/gnatcoll.static/gnatcoll-io-remote-unix.ads -include/gnatcoll/gnatcoll.static/gnatcoll-io-remote-windows.adb -include/gnatcoll/gnatcoll.static/gnatcoll-io-remote-windows.ads -include/gnatcoll/gnatcoll.static/gnatcoll-io-remote.adb -include/gnatcoll/gnatcoll.static/gnatcoll-io-remote.ads -include/gnatcoll/gnatcoll.static/gnatcoll-io.adb -include/gnatcoll/gnatcoll.static/gnatcoll-io.ads -include/gnatcoll/gnatcoll.static/gnatcoll-json-utility.adb -include/gnatcoll/gnatcoll.static/gnatcoll-json-utility.ads -include/gnatcoll/gnatcoll.static/gnatcoll-json.adb -include/gnatcoll/gnatcoll.static/gnatcoll-json.ads -include/gnatcoll/gnatcoll.static/gnatcoll-memory.adb -include/gnatcoll/gnatcoll.static/gnatcoll-memory.ads -include/gnatcoll/gnatcoll.static/gnatcoll-mmap-system__unix.adb -include/gnatcoll/gnatcoll.static/gnatcoll-mmap-system__unix.ads -include/gnatcoll/gnatcoll.static/gnatcoll-mmap.adb -include/gnatcoll/gnatcoll.static/gnatcoll-mmap.ads -include/gnatcoll/gnatcoll.static/gnatcoll-paragraph_filling-badnesses.adb -include/gnatcoll/gnatcoll.static/gnatcoll-paragraph_filling-badnesses.ads -include/gnatcoll/gnatcoll.static/gnatcoll-paragraph_filling-words.adb -include/gnatcoll/gnatcoll.static/gnatcoll-paragraph_filling-words.ads -include/gnatcoll/gnatcoll.static/gnatcoll-paragraph_filling.adb -include/gnatcoll/gnatcoll.static/gnatcoll-paragraph_filling.ads -include/gnatcoll/gnatcoll.static/gnatcoll-path.adb -include/gnatcoll/gnatcoll.static/gnatcoll-path.ads -include/gnatcoll/gnatcoll.static/gnatcoll-pools.adb -include/gnatcoll/gnatcoll.static/gnatcoll-pools.ads -include/gnatcoll/gnatcoll.static/gnatcoll-projects-aux.adb -include/gnatcoll/gnatcoll.static/gnatcoll-projects-aux.ads -include/gnatcoll/gnatcoll.static/gnatcoll-projects-krunch.adb -include/gnatcoll/gnatcoll.static/gnatcoll-projects-krunch.ads -include/gnatcoll/gnatcoll.static/gnatcoll-projects-normalize.adb -include/gnatcoll/gnatcoll.static/gnatcoll-projects-normalize.ads -include/gnatcoll/gnatcoll.static/gnatcoll-projects.adb -include/gnatcoll/gnatcoll.static/gnatcoll-projects.ads -include/gnatcoll/gnatcoll.static/gnatcoll-ravenscar-multiple_queue_cyclic_server.adb -include/gnatcoll/gnatcoll.static/gnatcoll-ravenscar-multiple_queue_cyclic_server.ads -include/gnatcoll/gnatcoll.static/gnatcoll-ravenscar-multiple_queue_sporadic_server.adb -include/gnatcoll/gnatcoll.static/gnatcoll-ravenscar-multiple_queue_sporadic_server.ads -include/gnatcoll/gnatcoll.static/gnatcoll-ravenscar-simple_cyclic_task.adb -include/gnatcoll/gnatcoll.static/gnatcoll-ravenscar-simple_cyclic_task.ads -include/gnatcoll/gnatcoll.static/gnatcoll-ravenscar-simple_sporadic_task.adb -include/gnatcoll/gnatcoll.static/gnatcoll-ravenscar-simple_sporadic_task.ads -include/gnatcoll/gnatcoll.static/gnatcoll-ravenscar-sporadic_server.adb -include/gnatcoll/gnatcoll.static/gnatcoll-ravenscar-sporadic_server.ads -include/gnatcoll/gnatcoll.static/gnatcoll-ravenscar-sporadic_server_with_callback.adb -include/gnatcoll/gnatcoll.static/gnatcoll-ravenscar-sporadic_server_with_callback.ads -include/gnatcoll/gnatcoll.static/gnatcoll-ravenscar-timed_out_sporadic_server.adb -include/gnatcoll/gnatcoll.static/gnatcoll-ravenscar-timed_out_sporadic_server.ads -include/gnatcoll/gnatcoll.static/gnatcoll-ravenscar-timers-one_shot_timer.adb -include/gnatcoll/gnatcoll.static/gnatcoll-ravenscar-timers-one_shot_timer.ads -include/gnatcoll/gnatcoll.static/gnatcoll-ravenscar-timers.ads -include/gnatcoll/gnatcoll.static/gnatcoll-ravenscar-utils.adb -include/gnatcoll/gnatcoll.static/gnatcoll-ravenscar-utils.ads -include/gnatcoll/gnatcoll.static/gnatcoll-ravenscar.ads -include/gnatcoll/gnatcoll.static/gnatcoll-refcount-weakref.adb -include/gnatcoll/gnatcoll.static/gnatcoll-refcount-weakref.ads -include/gnatcoll/gnatcoll.static/gnatcoll-refcount.adb -include/gnatcoll/gnatcoll.static/gnatcoll-refcount.ads -include/gnatcoll/gnatcoll.static/gnatcoll-remote-db.adb -include/gnatcoll/gnatcoll.static/gnatcoll-remote-db.ads -include/gnatcoll/gnatcoll.static/gnatcoll-remote.ads -include/gnatcoll/gnatcoll.static/gnatcoll-scripts-files.adb -include/gnatcoll/gnatcoll.static/gnatcoll-scripts-files.ads -include/gnatcoll/gnatcoll.static/gnatcoll-scripts-impl.adb -include/gnatcoll/gnatcoll.static/gnatcoll-scripts-impl.ads -include/gnatcoll/gnatcoll.static/gnatcoll-scripts-projects.adb -include/gnatcoll/gnatcoll.static/gnatcoll-scripts-projects.ads -include/gnatcoll/gnatcoll.static/gnatcoll-scripts-shell.adb -include/gnatcoll/gnatcoll.static/gnatcoll-scripts-shell.ads -include/gnatcoll/gnatcoll.static/gnatcoll-scripts-utils.adb -include/gnatcoll/gnatcoll.static/gnatcoll-scripts-utils.ads -include/gnatcoll/gnatcoll.static/gnatcoll-scripts.adb -include/gnatcoll/gnatcoll.static/gnatcoll-scripts.ads -include/gnatcoll/gnatcoll.static/gnatcoll-sql-exec-tasking.adb -include/gnatcoll/gnatcoll.static/gnatcoll-sql-exec-tasking.ads -include/gnatcoll/gnatcoll.static/gnatcoll-sql-exec.adb -include/gnatcoll/gnatcoll.static/gnatcoll-sql-exec.ads -include/gnatcoll/gnatcoll.static/gnatcoll-sql-exec_private.adb -include/gnatcoll/gnatcoll.static/gnatcoll-sql-exec_private.ads -include/gnatcoll/gnatcoll.static/gnatcoll-sql-inspect.adb -include/gnatcoll/gnatcoll.static/gnatcoll-sql-inspect.ads -include/gnatcoll/gnatcoll.static/gnatcoll-sql-orm-impl.adb -include/gnatcoll/gnatcoll.static/gnatcoll-sql-orm-impl.ads -include/gnatcoll/gnatcoll.static/gnatcoll-sql-orm.adb -include/gnatcoll/gnatcoll.static/gnatcoll-sql-orm.ads -include/gnatcoll/gnatcoll.static/gnatcoll-sql-sessions.adb -include/gnatcoll/gnatcoll.static/gnatcoll-sql-sessions.ads -include/gnatcoll/gnatcoll.static/gnatcoll-sql.adb -include/gnatcoll/gnatcoll.static/gnatcoll-sql.ads -include/gnatcoll/gnatcoll.static/gnatcoll-sql_impl.adb -include/gnatcoll/gnatcoll.static/gnatcoll-sql_impl.ads -include/gnatcoll/gnatcoll.static/gnatcoll-storage_pools-alignment.adb -include/gnatcoll/gnatcoll.static/gnatcoll-storage_pools-alignment.ads -include/gnatcoll/gnatcoll.static/gnatcoll-storage_pools-headers.adb -include/gnatcoll/gnatcoll.static/gnatcoll-storage_pools-headers.ads -include/gnatcoll/gnatcoll.static/gnatcoll-storage_pools.ads -include/gnatcoll/gnatcoll.static/gnatcoll-symbols.adb -include/gnatcoll/gnatcoll.static/gnatcoll-symbols.ads -include/gnatcoll/gnatcoll.static/gnatcoll-templates.adb -include/gnatcoll/gnatcoll.static/gnatcoll-templates.ads -include/gnatcoll/gnatcoll.static/gnatcoll-terminal.adb -include/gnatcoll/gnatcoll.static/gnatcoll-terminal.ads -include/gnatcoll/gnatcoll.static/gnatcoll-traces-syslog.adb -include/gnatcoll/gnatcoll.static/gnatcoll-traces-syslog.ads -include/gnatcoll/gnatcoll.static/gnatcoll-traces.adb -include/gnatcoll/gnatcoll.static/gnatcoll-traces.ads -include/gnatcoll/gnatcoll.static/gnatcoll-tribooleans.adb -include/gnatcoll/gnatcoll.static/gnatcoll-tribooleans.ads -include/gnatcoll/gnatcoll.static/gnatcoll-utils.adb -include/gnatcoll/gnatcoll.static/gnatcoll-utils.ads -include/gnatcoll/gnatcoll.static/gnatcoll-vfs.adb -include/gnatcoll/gnatcoll.static/gnatcoll-vfs.ads -include/gnatcoll/gnatcoll.static/gnatcoll-vfs_types.ads -include/gnatcoll/gnatcoll.static/gnatcoll-vfs_utils.adb -include/gnatcoll/gnatcoll.static/gnatcoll-vfs_utils.ads -include/gnatcoll/gnatcoll.static/gnatcoll.ads -include/gnatcoll/gnatcoll.static/gnatcoll_support.c -include/gnatcoll/gnatcoll.static/link_max.c -include/gnatcoll/gnatcoll.static/objlist_file.c -include/gnatcoll/gnatcoll.static/run_path_option.c -include/gnatcoll/gnatcoll.static/separate_run_path_option.c -include/gnatcoll/gnatcoll.static/set_std_prefix.c -include/gnatcoll/gnatcoll.static/terminals.c -include/gnatcoll/gnatcoll.static/update_path.c -include/gnatcoll/gnatcoll_gmp.static/gmp_support.c -include/gnatcoll/gnatcoll_gmp.static/gnatcoll-gmp-integers-io.adb -include/gnatcoll/gnatcoll_gmp.static/gnatcoll-gmp-integers-io.ads -include/gnatcoll/gnatcoll_gmp.static/gnatcoll-gmp-integers-misc.adb -include/gnatcoll/gnatcoll_gmp.static/gnatcoll-gmp-integers-misc.ads -include/gnatcoll/gnatcoll_gmp.static/gnatcoll-gmp-integers-number_theoretic.adb -include/gnatcoll/gnatcoll_gmp.static/gnatcoll-gmp-integers-number_theoretic.ads -include/gnatcoll/gnatcoll_gmp.static/gnatcoll-gmp-integers-random.adb -include/gnatcoll/gnatcoll_gmp.static/gnatcoll-gmp-integers-random.ads -include/gnatcoll/gnatcoll_gmp.static/gnatcoll-gmp-integers-root_extraction.adb -include/gnatcoll/gnatcoll_gmp.static/gnatcoll-gmp-integers-root_extraction.ads -include/gnatcoll/gnatcoll_gmp.static/gnatcoll-gmp-integers.adb -include/gnatcoll/gnatcoll_gmp.static/gnatcoll-gmp-integers.ads -include/gnatcoll/gnatcoll_gmp.static/gnatcoll-gmp-lib.ads -include/gnatcoll/gnatcoll_gmp.static/gnatcoll-gmp-mpz_even_p.c -include/gnatcoll/gnatcoll_gmp.static/gnatcoll-gmp-mpz_odd_p.c -include/gnatcoll/gnatcoll_gmp.static/gnatcoll-gmp-mpz_sign.c -include/gnatcoll/gnatcoll_gmp.static/gnatcoll-gmp-random_state.adb -include/gnatcoll/gnatcoll_gmp.static/gnatcoll-gmp-random_state.ads -include/gnatcoll/gnatcoll_gmp.static/gnatcoll-gmp.ads -include/gnatcoll/gnatcoll_gtk.static/gnatcoll-scripts-gtkada.adb -include/gnatcoll/gnatcoll_gtk.static/gnatcoll-scripts-gtkada.ads -include/gnatcoll/gnatcoll_gtk.static/gnatcoll-scripts-python-gtkada.adb -include/gnatcoll/gnatcoll_gtk.static/gnatcoll-scripts-python-gtkada.ads -include/gnatcoll/gnatcoll_gtk.static/gnatcoll-vfs-gtkada.adb -include/gnatcoll/gnatcoll_gtk.static/gnatcoll-vfs-gtkada.ads -include/gnatcoll/gnatcoll_gtk.static/python_support_gtk.c -include/gnatcoll/gnatcoll_iconv.static/gnatcoll-iconv.adb -include/gnatcoll/gnatcoll_iconv.static/gnatcoll-iconv.ads -include/gnatcoll/gnatcoll_iconv.static/iconv_support.c -include/gnatcoll/gnatcoll_postgres.static/gnatcoll-sql-postgres-builder.adb -include/gnatcoll/gnatcoll_postgres.static/gnatcoll-sql-postgres-builder.ads -include/gnatcoll/gnatcoll_postgres.static/gnatcoll-sql-postgres.adb -include/gnatcoll/gnatcoll_postgres.static/gnatcoll-sql-postgres.ads -include/gnatcoll/gnatcoll_python.static/gnatcoll-any_types-python.adb -include/gnatcoll/gnatcoll_python.static/gnatcoll-any_types-python.ads -include/gnatcoll/gnatcoll_python.static/gnatcoll-python.adb -include/gnatcoll/gnatcoll_python.static/gnatcoll-python.ads -include/gnatcoll/gnatcoll_python.static/gnatcoll-scripts-python.adb -include/gnatcoll/gnatcoll_python.static/gnatcoll-scripts-python.ads -include/gnatcoll/gnatcoll_python.static/python_support.c -include/gnatcoll/gnatcoll_readline.static/gnatcoll-readline.adb -include/gnatcoll/gnatcoll_readline.static/gnatcoll-readline.ads -include/gnatcoll/gnatcoll_sqlite.static/gnatcoll-sql-sqlite-builder.adb -include/gnatcoll/gnatcoll_sqlite.static/gnatcoll-sql-sqlite-builder.ads -include/gnatcoll/gnatcoll_sqlite.static/gnatcoll-sql-sqlite-gnade.adb -include/gnatcoll/gnatcoll_sqlite.static/gnatcoll-sql-sqlite-gnade.ads -include/gnatcoll/gnatcoll_sqlite.static/gnatcoll-sql-sqlite.adb -include/gnatcoll/gnatcoll_sqlite.static/gnatcoll-sql-sqlite.ads -include/gnatcoll/gnatcoll_sqlite.static/gnatcoll-xref-database.adb -include/gnatcoll/gnatcoll_sqlite.static/gnatcoll-xref-database.ads -include/gnatcoll/gnatcoll_sqlite.static/gnatcoll-xref-database_names.ads -include/gnatcoll/gnatcoll_sqlite.static/gnatcoll-xref.adb -include/gnatcoll/gnatcoll_sqlite.static/gnatcoll-xref.ads -include/gnatcoll/gnatcoll_sqlite.static/shell.c -include/gnatcoll/gnatcoll_sqlite.static/sqlite3.c -include/gnatcoll/gnatcoll_sqlite.static/sqlite3.h -include/gnatcoll/gnatcoll_sqlite.static/sqlite3ext.h -include/gnatcoll/gpr.static/gpr-ali.adb -include/gnatcoll/gpr.static/gpr-ali.ads -include/gnatcoll/gpr.static/gpr-attr-pm.adb -include/gnatcoll/gpr.static/gpr-attr-pm.ads -include/gnatcoll/gpr.static/gpr-attr.adb -include/gnatcoll/gpr.static/gpr-attr.ads -include/gnatcoll/gpr.static/gpr-com.ads -include/gnatcoll/gpr.static/gpr-conf.adb -include/gnatcoll/gpr.static/gpr-conf.ads -include/gnatcoll/gpr.static/gpr-cset.adb -include/gnatcoll/gpr.static/gpr-cset.ads -include/gnatcoll/gpr.static/gpr-debug.adb -include/gnatcoll/gpr.static/gpr-debug.ads -include/gnatcoll/gpr.static/gpr-dect.adb -include/gnatcoll/gpr.static/gpr-dect.ads -include/gnatcoll/gpr.static/gpr-env.adb -include/gnatcoll/gpr.static/gpr-env.ads -include/gnatcoll/gpr.static/gpr-err-scanner.adb -include/gnatcoll/gpr.static/gpr-err.adb -include/gnatcoll/gpr.static/gpr-err.ads -include/gnatcoll/gpr.static/gpr-erroutc.adb -include/gnatcoll/gpr.static/gpr-erroutc.ads -include/gnatcoll/gpr.static/gpr-ext.adb -include/gnatcoll/gpr.static/gpr-ext.ads -include/gnatcoll/gpr.static/gpr-names.adb -include/gnatcoll/gpr.static/gpr-names.ads -include/gnatcoll/gpr.static/gpr-nmsc.adb -include/gnatcoll/gpr.static/gpr-nmsc.ads -include/gnatcoll/gpr.static/gpr-opt.ads -include/gnatcoll/gpr.static/gpr-osint.adb -include/gnatcoll/gpr.static/gpr-osint.ads -include/gnatcoll/gpr.static/gpr-output.adb -include/gnatcoll/gpr.static/gpr-output.ads -include/gnatcoll/gpr.static/gpr-part.adb -include/gnatcoll/gpr.static/gpr-part.ads -include/gnatcoll/gpr.static/gpr-pp.adb -include/gnatcoll/gpr.static/gpr-pp.ads -include/gnatcoll/gpr.static/gpr-proc.adb -include/gnatcoll/gpr.static/gpr-proc.ads -include/gnatcoll/gpr.static/gpr-scans.adb -include/gnatcoll/gpr.static/gpr-scans.ads -include/gnatcoll/gpr.static/gpr-sinput.adb -include/gnatcoll/gpr.static/gpr-sinput.ads -include/gnatcoll/gpr.static/gpr-snames.adb -include/gnatcoll/gpr.static/gpr-snames.ads -include/gnatcoll/gpr.static/gpr-stamps.adb -include/gnatcoll/gpr.static/gpr-strt.adb -include/gnatcoll/gpr.static/gpr-strt.ads -include/gnatcoll/gpr.static/gpr-tempdir.adb -include/gnatcoll/gpr.static/gpr-tempdir.ads -include/gnatcoll/gpr.static/gpr-tree.adb -include/gnatcoll/gpr.static/gpr-tree.ads -include/gnatcoll/gpr.static/gpr-util.adb -include/gnatcoll/gpr.static/gpr-util.ads -include/gnatcoll/gpr.static/gpr.adb -include/gnatcoll/gpr.static/gpr.ads -lib/gnat/gnatcoll.gpr -lib/gnat/gnatcoll_full.gpr -lib/gnat/gnatcoll_gmp.gpr -lib/gnat/gnatcoll_gtk.gpr -lib/gnat/gnatcoll_iconv.gpr -lib/gnat/gnatcoll_postgres.gpr -lib/gnat/gnatcoll_python.gpr -lib/gnat/gnatcoll_readline.gpr -lib/gnat/gnatcoll_sqlite.gpr -lib/gnat/gpr.gpr -lib/gnat/manifests/gnatcoll -lib/gnatcoll/gnatcoll.static/gnatcoll-any_types.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-arg_lists.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-atomic__intrinsic.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-boyer_moore.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-config.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-email-mailboxes.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-email-parser.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-email-utils.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-email.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-geometry.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-io-native.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-io-remote-unix.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-io-remote-windows.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-io-remote.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-io.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-json-utility.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-json.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-memory.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-mmap-system__unix.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-mmap.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-paragraph_filling-badnesses.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-paragraph_filling-words.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-paragraph_filling.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-path.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-pools.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-projects-aux.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-projects-krunch.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-projects-normalize.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-projects.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-ravenscar-multiple_queue_cyclic_server.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-ravenscar-multiple_queue_sporadic_server.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-ravenscar-simple_cyclic_task.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-ravenscar-simple_sporadic_task.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-ravenscar-sporadic_server.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-ravenscar-sporadic_server_with_callback.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-ravenscar-timed_out_sporadic_server.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-ravenscar-timers-one_shot_timer.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-ravenscar-timers.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-ravenscar-utils.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-ravenscar.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-refcount-weakref.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-refcount.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-remote-db.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-remote.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-scripts-files.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-scripts-impl.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-scripts-projects.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-scripts-shell.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-scripts-utils.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-scripts.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-sql-exec-tasking.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-sql-exec.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-sql-exec_private.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-sql-inspect.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-sql-orm-impl.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-sql-orm.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-sql-sessions.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-sql.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-sql_impl.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-storage_pools-alignment.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-storage_pools-headers.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-storage_pools.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-symbols.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-templates.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-terminal.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-traces-syslog.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-traces.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-tribooleans.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-utils.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-vfs.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-vfs_types.ali -lib/gnatcoll/gnatcoll.static/gnatcoll-vfs_utils.ali -lib/gnatcoll/gnatcoll.static/gnatcoll.ali -lib/gnatcoll/gnatcoll.static/libgnatcoll.a -lib/gnatcoll/gnatcoll_gmp.static/gnatcoll-gmp-integers-io.ali -lib/gnatcoll/gnatcoll_gmp.static/gnatcoll-gmp-integers-misc.ali -lib/gnatcoll/gnatcoll_gmp.static/gnatcoll-gmp-integers-number_theoretic.ali -lib/gnatcoll/gnatcoll_gmp.static/gnatcoll-gmp-integers-random.ali -lib/gnatcoll/gnatcoll_gmp.static/gnatcoll-gmp-integers-root_extraction.ali -lib/gnatcoll/gnatcoll_gmp.static/gnatcoll-gmp-integers.ali -lib/gnatcoll/gnatcoll_gmp.static/gnatcoll-gmp-lib.ali -lib/gnatcoll/gnatcoll_gmp.static/gnatcoll-gmp-random_state.ali -lib/gnatcoll/gnatcoll_gmp.static/gnatcoll-gmp.ali -lib/gnatcoll/gnatcoll_gmp.static/libgnatcoll_gmp.a -lib/gnatcoll/gnatcoll_gtk.static/gnatcoll-scripts-gtkada.ali -lib/gnatcoll/gnatcoll_gtk.static/gnatcoll-scripts-python-gtkada.ali -lib/gnatcoll/gnatcoll_gtk.static/gnatcoll-vfs-gtkada.ali -lib/gnatcoll/gnatcoll_gtk.static/libgnatcoll_gtk.a -lib/gnatcoll/gnatcoll_iconv.static/gnatcoll-iconv.ali -lib/gnatcoll/gnatcoll_iconv.static/libgnatcoll_iconv.a -lib/gnatcoll/gnatcoll_postgres.static/gnatcoll-sql-postgres-builder.ali -lib/gnatcoll/gnatcoll_postgres.static/gnatcoll-sql-postgres.ali -lib/gnatcoll/gnatcoll_postgres.static/libgnatcoll_postgres.a -lib/gnatcoll/gnatcoll_python.static/gnatcoll-any_types-python.ali -lib/gnatcoll/gnatcoll_python.static/gnatcoll-python.ali -lib/gnatcoll/gnatcoll_python.static/gnatcoll-scripts-python.ali -lib/gnatcoll/gnatcoll_python.static/libgnatcoll_python.a -lib/gnatcoll/gnatcoll_readline.static/gnatcoll-readline.ali -lib/gnatcoll/gnatcoll_readline.static/libgnatcoll_readline.a -lib/gnatcoll/gnatcoll_sqlite.static/gnatcoll-sql-sqlite-builder.ali -lib/gnatcoll/gnatcoll_sqlite.static/gnatcoll-sql-sqlite-gnade.ali -lib/gnatcoll/gnatcoll_sqlite.static/gnatcoll-sql-sqlite.ali -lib/gnatcoll/gnatcoll_sqlite.static/gnatcoll-xref-database.ali -lib/gnatcoll/gnatcoll_sqlite.static/gnatcoll-xref-database_names.ali -lib/gnatcoll/gnatcoll_sqlite.static/gnatcoll-xref.ali -lib/gnatcoll/gnatcoll_sqlite.static/libgnatcoll_sqlite.a -lib/gnatcoll/gpr.static/gpr-ali.ali -lib/gnatcoll/gpr.static/gpr-attr-pm.ali -lib/gnatcoll/gpr.static/gpr-attr.ali -lib/gnatcoll/gpr.static/gpr-com.ali -lib/gnatcoll/gpr.static/gpr-conf.ali -lib/gnatcoll/gpr.static/gpr-cset.ali -lib/gnatcoll/gpr.static/gpr-debug.ali -lib/gnatcoll/gpr.static/gpr-dect.ali -lib/gnatcoll/gpr.static/gpr-env.ali -lib/gnatcoll/gpr.static/gpr-err.ali -lib/gnatcoll/gpr.static/gpr-erroutc.ali -lib/gnatcoll/gpr.static/gpr-ext.ali -lib/gnatcoll/gpr.static/gpr-names.ali -lib/gnatcoll/gpr.static/gpr-nmsc.ali -lib/gnatcoll/gpr.static/gpr-opt.ali -lib/gnatcoll/gpr.static/gpr-osint.ali -lib/gnatcoll/gpr.static/gpr-output.ali -lib/gnatcoll/gpr.static/gpr-part.ali -lib/gnatcoll/gpr.static/gpr-pp.ali -lib/gnatcoll/gpr.static/gpr-proc.ali -lib/gnatcoll/gpr.static/gpr-scans.ali -lib/gnatcoll/gpr.static/gpr-sinput.ali -lib/gnatcoll/gpr.static/gpr-snames.ali -lib/gnatcoll/gpr.static/gpr-strt.ali -lib/gnatcoll/gpr.static/gpr-tempdir.ali -lib/gnatcoll/gpr.static/gpr-tree.ali -lib/gnatcoll/gpr.static/gpr-util.ali -lib/gnatcoll/gpr.static/gpr.ali -lib/gnatcoll/gpr.static/libgpr.a |