diff options
| author | John Marino <marino@FreeBSD.org> | 2015-06-23 22:20:35 +0000 |
|---|---|---|
| committer | John Marino <marino@FreeBSD.org> | 2015-06-23 22:20:35 +0000 |
| commit | fc445b2e3f2fe16d96e8f4333d11b52df231a9ff (patch) | |
| tree | 314651731338885ef789fdf94361fb0e78e75437 /devel/gps | |
| parent | db109a97b6a1966a6ff296f134ae876b13f79ecf (diff) | |
| download | ports-fc445b2e3f2fe16d96e8f4333d11b52df231a9ff.tar.gz ports-fc445b2e3f2fe16d96e8f4333d11b52df231a9ff.zip | |
Notes
Diffstat (limited to 'devel/gps')
| -rw-r--r-- | devel/gps/Makefile | 115 | ||||
| -rw-r--r-- | devel/gps/distinfo | 4 | ||||
| -rw-r--r-- | devel/gps/files/patch-Makefile.in | 24 | ||||
| -rw-r--r-- | devel/gps/files/patch-browsers_src_browsers-scripts.adb | 133 | ||||
| -rw-r--r-- | devel/gps/files/patch-common_core_src_os-utils.c | 19 | ||||
| -rw-r--r-- | devel/gps/files/patch-common_tty_terminals.c | 12 | ||||
| -rw-r--r-- | devel/gps/files/patch-docs_Makefile.in | 2 | ||||
| -rw-r--r-- | devel/gps/files/patch-gnatlib_src_gnatcoll__iconv.gpr | 12 | ||||
| -rw-r--r-- | devel/gps/files/patch-gnatlib_src_gnatcoll__readline.gpr.in | 21 | ||||
| -rw-r--r-- | devel/gps/files/patch-gnatlib_src_iconv_with__iconv_iconv__support.c | 11 | ||||
| -rw-r--r-- | devel/gps/files/patch-gps_Makefile | 22 | ||||
| -rw-r--r-- | devel/gps/files/patch-shared.gpr | 47 | ||||
| -rw-r--r-- | devel/gps/files/patch-widgets_widgets.gpr | 4 | ||||
| -rw-r--r-- | devel/gps/pkg-plist | 641 |
14 files changed, 793 insertions, 274 deletions
diff --git a/devel/gps/Makefile b/devel/gps/Makefile index 5e1de7402864..6621d94012b9 100644 --- a/devel/gps/Makefile +++ b/devel/gps/Makefile @@ -2,10 +2,10 @@ # $FreeBSD$ PORTNAME= gps -PORTVERSION= 6.1.0.0 -PORTREVISION= 4 +PORTVERSION= 6.1.1.0 CATEGORIES= devel MASTER_SITES= http://downloads.dragonlace.net/src/ +DISTNAME= gps-6.1.1-src PKGNAMESUFFIX= -ide MAINTAINER= marino@FreeBSD.org @@ -16,22 +16,26 @@ LICENSE= GPLv3 BUILD_DEPENDS= gprbuild>=20140417:${PORTSDIR}/devel/gprbuild \ gnat_util>=20140422_2:${PORTSDIR}/lang/gnat_util \ xmlada>=4.4:${PORTSDIR}/textproc/xmlada \ + gnatcoll>=2015:${PORTSDIR}/devel/gnatcoll \ templates_parser>11:${PORTSDIR}/textproc/templates_parser -LIB_DEPENDS= libgmp.so:${PORTSDIR}/math/gmp \ - libgtkada.so:${PORTSDIR}/x11-toolkits/gtkada3 -RUN_DEPENDS= rsvg-convert:${PORTSDIR}/graphics/librsvg2 # See note - -GNU_CONFIGURE= yes -USES= ada gmake perl5 pkgconfig python tar:bzip2 -USE_PERL5= build -USE_GNOME= glib20 -USE_GNOME= pygobject3 -PYCOMPILE= ${PREFIX}/lib/${PYTHON_VERSION}/compileall.py -AWKREVDATE= '/Last Changed Date/ {print "\"s|unknown date|" $$4 "|\""}' -GPSVER= GPS_VERSION=${PORTVERSION} -ALL_TARGET= default -NO_MTREE= yes -SUB_FILES= gps +LIB_DEPENDS= libgtkada.so:${PORTSDIR}/x11-toolkits/gtkada3 +RUN_DEPENDS= rsvg-convert:${PORTSDIR}/graphics/librsvg2 \ + gnatinspect::${PORTSDIR}/devel/gnatcoll \ + gdb${PORTGDB}:${PORTSDIR}/devel/gdb \ + ${PYTHON_PKGNAMEPREFIX}pep8>0:${PORTSDIR}/devel/pep8 \ + ${PYTHON_PKGNAMEPREFIX}jedi>0:${PORTSDIR}/devel/py-jedi + +GNU_CONFIGURE= yes +USES= ada:run gmake perl5 pkgconfig python +USE_PERL5= build +USE_GNOME= glib20 pygobject3 +PYCOMPILE= ${PREFIX}/lib/${PYTHON_VERSION}/compileall.py +AWKREVDATE= '/Last Changed Date/ {print "\"s|unknown date|" $$4 "|\""}' +GPSVER= GPS_VERSION=${PORTVERSION} +ALL_TARGET= default +NO_MTREE= yes +SUB_FILES= gps +PORTGDB= 791 # note: librsvg2 is needed to display the svg icons in the menu. Actually # needed is lib/gdk-pixbuf-2.0/%%GTK2_VER%%/loaders/libpixbufloader-svg.so , @@ -39,23 +43,17 @@ SUB_FILES= gps # we just request the sole binary to pull in the package which effectively # accomplishes what is desired. -OPTIONS_DEFINE= READLINE SYSLOG PGSQL DEBUG DOCS EXAMPLES -OPTIONS_DEFAULT= READLINE SYSLOG +OPTIONS_DEFINE= DEBUG DOCS EXAMPLES OPTIONS_SUB= yes DOCS_BUILD_DEPENDS= sphinx-build:${PORTSDIR}/textproc/py-sphinx -SYSLOG_CONFIGURE_ENABLE=syslog CONFIGURE_TARGET= ${ARCH:S/amd64/x86_64/}-aux-${OPSYS:tl}${OSREL} CONFIGURE_ENV+= AWK=/usr/bin/awk -CONFIGURE_ARGS= --with-gmp=${PREFIX} \ - --with-gtk=3.0 \ - --with-sqlite=embedded \ - --with-python=${PREFIX} \ - --enable-pygobject \ - --disable-shared \ - --disable-pygtk +CONFIGURE_ARGS= --with-gtk=3.0 MAKE_ARGS+= PROCESSORS=${MAKE_JOBS_NUMBER} MAKE_ARGS+= PYTHON_CMD=${PYTHON_CMD} +PORTDOCS= html pdf +PORTEXAMPLES= demo python remote tutorial xml .include <bsd.port.options.mk> @@ -67,29 +65,6 @@ MAKE_ARGS+= Build=Debug MAKE_ARGS+= Build=Production .endif -.if ${PORT_OPTIONS:MREADLINE} -USES+= readline:port -CONFIGURE_ARGS+= --enable-gpl -.else -CONFIGURE_ARGS+= --disable-readline -.endif - -.if ${PORT_OPTIONS:MPGSQL} -USES+= pgsql -CONFIGURE_ARGS+= --with-postgresql=${PREFIX} -.else -CONFIGURE_ARGS+= --without-postgresql -.endif - -# Iconv option crashes GPS almost immediately. -# GNATColl needs to be examined before attempting to support Iconv again -.if 0 #${PORT_OPTIONS: MICONV} -USES+= iconv -CONFIGURE_ARGS+= --with-iconv=${ICONV_PREFIX} -.else -CONFIGURE_ARGS+= --without-iconv -.endif - post-extract: @${MV} ${WRKSRC}/templates_parser ${WRKSRC}/TP.ignore @${MV} ${WRKSRC}/Makefile.gnat ${WRKSRC}/Makefile.gnat.ignore @@ -97,31 +72,34 @@ post-extract: post-patch: @${ECHO} "GNAT_SOURCES=" > ${WRKSRC}/Makefile.gnat @${REINPLACE_CMD} -e 's/^with .*templates_parser\//with "/g' \ - ${WRKSRC}/docgen2/docgen2.gpr \ ${WRKSRC}/gnatdoc/gnatdoc.gpr \ ${WRKSRC}/vcs/vcs.gpr @${REINPLACE_CMD} -e 's|@PREFIX@|${PREFIX}|g' \ - ${WRKSRC}/gnatlib/src/gnatcoll_readline.gpr.in \ ${WRKSRC}/widgets/widgets.gpr - @${REINPLACE_CMD} -e 's| gnat/sdefault/sdefault.adb | |' \ - -e 's;freebsd;freebsd*|*-dragonfly;g' \ - ${WRKSRC}/gnatlib/configure \ - ${WRKSRC}/gnatlib/configure.in - @${REINPLACE_CMD} -e 's|gnatlib/gnat_src|distrib|' \ - ${WRKSRC}/distrib/from_impunit.pl + #@${REINPLACE_CMD} -e 's|gnatlib/gnat_src|distrib|' \ + # ${WRKSRC}/distrib/from_impunit.pl @${REINPLACE_CMD} -e 's|, "-fdump-xref"||g' \ - ${WRKSRC}/gnatlib/gnatcoll_shared.gpr.in \ ${WRKSRC}/shared.gpr - @${REINPLACE_CMD} -e "s|GPS_VERSION=.*|${GPSVER}|" \ - ${WRKSRC}/configure - @${AWK} ${AWKREVDATE} ${WRKSRC}/REVISION | ${XARGS} -I sub \ - ${SED} -i.bak -e sub ${WRKSRC}/common/core/src/config.ads.in + #@${REINPLACE_CMD} -e "s|GPS_VERSION=.*|${GPSVER}|" \ + # ${WRKSRC}/configure + #@${AWK} ${AWKREVDATE} ${WRKSRC}/REVISION | ${XARGS} -I sub \ + # ${SED} -i.bak -e sub ${WRKSRC}/common/core/src/config.ads.in @${SED} -i '' -e \ 's|= "gnat"|= "${LOCALBASE}/${ADAXX}-aux/bin/gnat"|' \ ${WRKSRC}/share/support/core/gps_utils/gnat_rules.py - @${REINPLACE_CMD} -e \ - 's|@UTILSHARE@|${LOCALBASE}/share/gnat_util|' \ - ${WRKSRC}/Makefile.in + #@${REINPLACE_CMD} -e 's|@UTILSHARE@|${LOCALBASE}/share/gnat_util|' \ + # ${WRKSRC}/Makefile.in + @${REINPLACE_CMD} -e '/gnatcoll_tools/d' ${WRKSRC}/gps/gps.gpr + @${REINPLACE_CMD} -e 's|../gnatlib/src/||' \ + ${WRKSRC}/common/comm* \ + ${WRKSRC}/spark/spark.gpr \ + ${WRKSRC}/kernel/kern*.gpr \ + ${WRKSRC}/language/language.gpr \ + ${WRKSRC}/vsearch/vsearch.gpr \ + ${WRKSRC}/python/py*.gpr + @${REINPLACE_CMD} -e '/Gdb_Command/ s|"gdb"|"gdb${PORTGDB}"|' \ + ${WRKSRC}/gvd/src/debugger-gdb_mi.adb \ + ${WRKSRC}/gvd/src/debugger-gdb.adb do-build: @${CP} ${PREFIX}/include/gnat_util/impunit.* ${WRKSRC}/distrib @@ -133,13 +111,10 @@ do-build: ${PYTHON_CMD} ${PYCOMPILE} ${WRKSRC}/share/library post-install: - ${RM} -rf ${STAGEDIR}${PREFIX}/share/doc/gps/html/users_guide/_sources - ${RM} -rf ${STAGEDIR}${PREFIX}/share/doc/gps/html/tutorial/_sources + ${RM} -rf ${STAGEDIR}${PREFIX}/share/doc/gps/html/*/_sources ${INSTALL_SCRIPT} ${WRKDIR}/gps ${STAGEDIR}${PREFIX}/bin echo "This is the GPS GPL Edition for the ${OPSYS} Ports Collection." \ > ${STAGEDIR}${PREFIX}/share/gps/about.txt ${FIND} ${STAGEDIR}${PREFIX} -type d -empty -delete - @(cd ${STAGEDIR}${PREFIX} ; \ - ${FIND} * \( -type f -or -type l \) | ${SORT} >> ${TMPPLIST}) .include <bsd.port.mk> diff --git a/devel/gps/distinfo b/devel/gps/distinfo index 5ea65a7fae3b..37e679b4195d 100644 --- a/devel/gps/distinfo +++ b/devel/gps/distinfo @@ -1,2 +1,2 @@ -SHA256 (gps-6.1.0.0.tar.bz2) = f930d89a5b69ff8a4562832b5f2902322ad002ef17633556d87f51733ef955c0 -SIZE (gps-6.1.0.0.tar.bz2) = 12034437 +SHA256 (gps-6.1.1-src.tar.gz) = 14ddd84b0e79cc4b426dc314e37e8cf66ea1c48930cdd0c06d171b6094eb325d +SIZE (gps-6.1.1-src.tar.gz) = 28924922 diff --git a/devel/gps/files/patch-Makefile.in b/devel/gps/files/patch-Makefile.in index c538b0ef83d4..c9e004806dcd 100644 --- a/devel/gps/files/patch-Makefile.in +++ b/devel/gps/files/patch-Makefile.in @@ -1,4 +1,4 @@ ---- Makefile.in.orig 2014-05-23 17:24:28 UTC +--- Makefile.in.orig 2014-11-13 18:15:57 UTC +++ Makefile.in @@ -3,16 +3,15 @@ MV = mv MKDIR = mkdir -p @@ -24,24 +24,28 @@ all default: $(MAKE) -C gps default -@@ -49,16 +48,6 @@ ifeq ($(OS),Windows_NT) +@@ -49,20 +48,6 @@ ifeq ($(OS),Windows_NT) share/plug-ins/_subversion_ \ > share/plug-ins/subversion_native_windows.py endif - $(RM) -f $(sharedir)/gps/GPS_old - $(RM) $(sharedir)/gps/library/*.py +- $(RM) $(sharedir)/gps/library/*.pyc - $(RM) $(sharedir)/gps/library/*.xml - $(RM) $(sharedir)/gps/plug-ins/*.py +- $(RM) $(sharedir)/gps/plug-ins/*.pyc - $(RM) $(sharedir)/gps/plug-ins/*.xml - $(RM) -r $(sharedir)/gps/plug-ins/spark - $(RM) $(sharedir)/gps/support/core/*.py +- $(RM) $(sharedir)/gps/support/core/*.pyc - $(RM) $(sharedir)/gps/support/ui/*.py +- $(RM) $(sharedir)/gps/support/ui/*.pyc - ${RM} ${sharedir}/gps/perspectives.xml - $(RMDIR) $(sharedir)/gps/templates # update runtime.xml before copying the plug-ins files. - (cd distrib; $(PERL) from_impunit.pl) + cd distrib; $(PERL) from_impunit.pl # update light icon set -@@ -71,12 +60,11 @@ ifeq ($(OS),Windows_NT) +@@ -75,10 +60,8 @@ ifeq ($(OS),Windows_NT) $(MV) share/plug-ins/_subversion_ share/plug-ins/subversion.py $(RM) share/plug-ins/subversion_native_windows.py endif @@ -50,13 +54,9 @@ (cd share; tar cf - library/*.py) | (cd $(sharedir)/gps; tar xf -) - (cd share; tar cf - library/GPS_old/*.py) | (cd $(sharedir)/gps; tar xf -) (cd share; tar cf - support/) | (cd $(sharedir)/gps; tar xf -) -- $(AWK) -f distrib/gnat_switches.awk < gnat/gnat_ugn.texi > $(sharedir)/gps/support/core/gnat_switches.py -+ $(AWK) -f distrib/gnat_switches.awk < @UTILSHARE@/gnat_ugn.texi \ -+ > $(sharedir)/gps/support/core/gnat_switches.py + -$(AWK) -f distrib/gnat_switches.awk < gnat/gnat_ugn.texi > $(sharedir)/gps/support/core/gnat_switches.py $(RM) $(sharedir)/gps/plug-ins/emacs.xml - $(RM) $(sharedir)/gps/plug-ins/python_doc.py - $(RM) $(sharedir)/gps/plug-ins/python_doc.pyc -@@ -103,7 +91,7 @@ ifeq ($(OS),Windows_NT) +@@ -108,11 +91,10 @@ ifeq ($(OS),Windows_NT) $(INSTALL_PROGRAM) gnatlib/src/obj/gnatinspect.exe $(bindir) $(MAKE) -C common/expect install else @@ -65,3 +65,7 @@ $(INSTALL_PROGRAM) cli/obj/gnatdoc $(bindir) $(INSTALL_PROGRAM) cli/obj/gps_cli $(bindir) $(INSTALL_PROGRAM) spark/obj/gnatspark $(bindir) +- $(INSTALL_PROGRAM) gnatlib/src/obj/gnatinspect $(bindir) + endif + + install-strip: install-common diff --git a/devel/gps/files/patch-browsers_src_browsers-scripts.adb b/devel/gps/files/patch-browsers_src_browsers-scripts.adb deleted file mode 100644 index 90bb48862b83..000000000000 --- a/devel/gps/files/patch-browsers_src_browsers-scripts.adb +++ /dev/null @@ -1,133 +0,0 @@ ---- browsers/src/browsers-scripts.adb.orig 2014-05-23 17:24:28.000000000 +0000 -+++ browsers/src/browsers-scripts.adb -@@ -70,27 +70,27 @@ package body Browsers.Scripts is - P_Font_Color : constant := 10; - P_Font_LS : constant := 11; - P_Font_Halign : constant := 12; -- P_Font_Valign : constant := 13; -- P_Arrow_From_Head : constant := 14; -- P_Arrow_From_Length : constant := 15; -- P_Arrow_From_Angle : constant := 16; -- P_Arrow_From_Stroke : constant := 17; -- P_Arrow_From_Fill : constant := 18; -- P_Arrow_From_Width : constant := 19; -- P_Arrow_To_Head : constant := 20; -- P_Arrow_To_Length : constant := 21; -- P_Arrow_To_Angle : constant := 22; -- P_Arrow_To_Stroke : constant := 23; -- P_Arrow_To_Fill : constant := 24; -- P_Arrow_To_Width : constant := 25; -- P_Symbol_From_Name : constant := 26; -- P_Symbol_From_Stroke : constant := 27; -- P_Symbol_From_Dist : constant := 28; -- P_Symbol_From_Width : constant := 29; -- P_Symbol_To_Name : constant := 30; -- P_Symbol_To_Stroke : constant := 31; -- P_Symbol_To_Dist : constant := 32; -- P_Symbol_To_Width : constant := 33; -+ P_Arrow_From_Head : constant := 13; -+ P_Arrow_From_Length : constant := 14; -+ P_Arrow_From_Angle : constant := 15; -+ P_Arrow_From_Stroke : constant := 16; -+ P_Arrow_From_Fill : constant := 17; -+ P_Arrow_From_Width : constant := 18; -+ P_Arrow_To_Head : constant := 19; -+ P_Arrow_To_Length : constant := 20; -+ P_Arrow_To_Angle : constant := 21; -+ P_Arrow_To_Stroke : constant := 22; -+ P_Arrow_To_Fill : constant := 23; -+ P_Arrow_To_Width : constant := 24; -+ P_Symbol_From_Name : constant := 25; -+ P_Symbol_From_Stroke : constant := 26; -+ P_Symbol_From_Dist : constant := 27; -+ P_Symbol_From_Width : constant := 28; -+ P_Symbol_To_Name : constant := 29; -+ P_Symbol_To_Stroke : constant := 30; -+ P_Symbol_To_Dist : constant := 31; -+ P_Symbol_To_Width : constant := 32; -+ P_Shadow_Color : constant := 33; - -- All the parameters to GPS.Browsers.Style.__init__ - - PA_Item : constant := 2; -@@ -1123,6 +1123,7 @@ package body Browsers.Scripts is - M : Margins := No_Margins; - Item : Container_Item; - X, Y : Gdouble := Gdouble'First; -+ AnchorX, AnchorY : Gdouble; - Pos : Gtkada.Style.Point; - begin - if Command = Constructor_Method then -@@ -1139,7 +1140,20 @@ package body Browsers.Scripts is - Y := Gdouble (Nth_Arg (Data, 3, Float'First)); - end if; - -- Canvas_Item (Get_Item (Inst)).Set_Position ((X, Y)); -+ AnchorX := Gdouble (Nth_Arg (Data, 4, 0.0)); -+ AnchorY := Gdouble (Nth_Arg (Data, 5, 0.0)); -+ -+ Container_Item (Get_Item (Inst)).Set_Position -+ ((X, Y), Anchor_X => AnchorX, Anchor_Y => AnchorY); -+ -+ elsif Command = "parent" then -+ Inst := Nth_Arg (Data, 1); -+ if Get_Item (Inst).Parent /= null then -+ Set_Return_Value -+ (Data, -+ Get_Instance (Python_Item_Access (Get_Item (Inst).Parent), -+ Get_Script (Data))); -+ end if; - - elsif Command = "x" then - Inst := Nth_Arg (Data, 1); -@@ -1383,9 +1397,10 @@ package body Browsers.Scripts is - Line_Spacing => Gint (Nth_Arg (Data, P_Font_LS, 0)), - Halign => Alignment'Val - (Integer'(Nth_Arg (Data, P_Font_Halign, -- Alignment'Pos (Pango_Align_Left)))), -- Valign => Gdouble (Nth_Arg (Data, P_Font_Valign, 0.0)) -- ), -+ Alignment'Pos (Pango_Align_Left))))), -+ Shadow => -+ (Color => Color_From_Param (P_Shadow_Color, Null_RGBA), -+ others => <>), - Arrow_From => - (Head => Arrow_Head'Val - (Nth_Arg (Data, P_Arrow_From_Head, Arrow_Head'Pos (None))), -@@ -1713,7 +1728,6 @@ package body Browsers.Scripts is - P_Font_Color => Param ("fontColor", True), - P_Font_LS => Param ("fontLineSpacing", True), - P_Font_Halign => Param ("fontHalign", True), -- P_Font_Valign => Param ("fontValign", True), - P_Arrow_From_Head => Param ("arrowFrom", True), - P_Arrow_From_Length => Param ("arrowFromLength", True), - P_Arrow_From_Angle => Param ("arrowFromAngle", True), -@@ -1733,7 +1747,8 @@ package body Browsers.Scripts is - P_Symbol_To_Name => Param ("symbolTo", True), - P_Symbol_To_Stroke => Param ("symbolToStroke", True), - P_Symbol_To_Dist => Param ("symbolToDist", True), -- P_Symbol_To_Width => Param ("symbolToWidth", True)), -+ P_Symbol_To_Width => Param ("symbolToWidth", True), -+ P_Shadow_Color => Param ("shadowColor", True)), - Class => Style_Class, - Handler => Style_Handler'Access); - -@@ -1904,11 +1919,18 @@ package body Browsers.Scripts is - (Kernel.Scripts, - "set_position", - Params => (Param ("x", Optional => True), -- Param ("y", Optional => True)), -+ Param ("y", Optional => True), -+ Param ("anchorx", Optional => True), -+ Param ("anchory", Optional => True)), - Class => Module.Item_Class, - Handler => Item_Handler'Access); - Register_Property - (Kernel.Scripts, -+ "parent", -+ Class => Module.Item_Class, -+ Getter => Item_Handler'Access); -+ Register_Property -+ (Kernel.Scripts, - "x", - Class => Module.Item_Class, - Getter => Item_Handler'Access); diff --git a/devel/gps/files/patch-common_core_src_os-utils.c b/devel/gps/files/patch-common_core_src_os-utils.c new file mode 100644 index 000000000000..5722a8090751 --- /dev/null +++ b/devel/gps/files/patch-common_core_src_os-utils.c @@ -0,0 +1,19 @@ +--- common/core/src/os-utils.c.orig 2014-11-13 18:15:57 UTC ++++ common/core/src/os-utils.c +@@ -23,6 +23,7 @@ + #include <stdio.h> + #include <stdlib.h> + #include <string.h> ++#include <unistd.h> + #ifdef _WIN32 + #include <windows.h> + #include <lmcons.h> +@@ -32,7 +33,7 @@ + #endif + + int +-__gps_subdirectories_count (name) ++__gps_subdirectories_count (char *name) + { + struct stat statbuf; + int ret; diff --git a/devel/gps/files/patch-common_tty_terminals.c b/devel/gps/files/patch-common_tty_terminals.c deleted file mode 100644 index 5588a61c0bda..000000000000 --- a/devel/gps/files/patch-common_tty_terminals.c +++ /dev/null @@ -1,12 +0,0 @@ ---- common/tty/terminals.c.orig 2011-09-21 06:29:53.000000000 +0000 -+++ common/tty/terminals.c -@@ -236,7 +236,9 @@ allocate_pty_desc (pty_desc **desc) { - #ifndef NLDLY - #define NLDLY 0 - #define CRDLY 0 -+#ifndef TABDLY - #define TABDLY 0 -+#endif - #define BSDLY 0 - #define VTDLY 0 - #define FFDLY 0 diff --git a/devel/gps/files/patch-docs_Makefile.in b/devel/gps/files/patch-docs_Makefile.in index 64c44b5d574f..97c771799b8b 100644 --- a/devel/gps/files/patch-docs_Makefile.in +++ b/devel/gps/files/patch-docs_Makefile.in @@ -1,4 +1,4 @@ ---- docs/Makefile.in.orig 2014-05-23 09:12:23 UTC +--- docs/Makefile.in.orig 2014-11-13 18:15:57 UTC +++ docs/Makefile.in @@ -1,10 +1,9 @@ prefix = @prefix@ diff --git a/devel/gps/files/patch-gnatlib_src_gnatcoll__iconv.gpr b/devel/gps/files/patch-gnatlib_src_gnatcoll__iconv.gpr deleted file mode 100644 index 5548af139538..000000000000 --- a/devel/gps/files/patch-gnatlib_src_gnatcoll__iconv.gpr +++ /dev/null @@ -1,12 +0,0 @@ ---- gnatlib/src/gnatcoll_iconv.gpr.orig 2014-04-10 13:47:58.000000000 +0000 -+++ gnatlib/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/gps/files/patch-gnatlib_src_gnatcoll__readline.gpr.in b/devel/gps/files/patch-gnatlib_src_gnatcoll__readline.gpr.in deleted file mode 100644 index f8566f3604b0..000000000000 --- a/devel/gps/files/patch-gnatlib_src_gnatcoll__readline.gpr.in +++ /dev/null @@ -1,21 +0,0 @@ ---- gnatlib/src/gnatcoll_readline.gpr.in.orig 2014-04-10 13:47:58.000000000 +0000 -+++ gnatlib/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/gps/files/patch-gnatlib_src_iconv_with__iconv_iconv__support.c b/devel/gps/files/patch-gnatlib_src_iconv_with__iconv_iconv__support.c deleted file mode 100644 index 13f7a686a2cc..000000000000 --- a/devel/gps/files/patch-gnatlib_src_iconv_with__iconv_iconv__support.c +++ /dev/null @@ -1,11 +0,0 @@ ---- gnatlib/src/iconv/with_iconv/iconv_support.c.orig 2013-08-21 12:16:12.000000000 +0000 -+++ gnatlib/src/iconv/with_iconv/iconv_support.c -@@ -25,7 +25,7 @@ int gnatcoll_iconv_close(iconv_t cd) { - return iconv_close (cd); - } - --#if _LIBICONV_VERSION >= 0x010D -+#if defined (__FreeBSD__) || defined (__DragonFly__) - size_t gnatcoll_iconv - (iconv_t cd, const char** inbuf, size_t *inbytesleft, char** outbuf, - size_t *outbytesleft) diff --git a/devel/gps/files/patch-gps_Makefile b/devel/gps/files/patch-gps_Makefile new file mode 100644 index 000000000000..8529a4f5323e --- /dev/null +++ b/devel/gps/files/patch-gps_Makefile @@ -0,0 +1,22 @@ +--- gps/Makefile.orig 2014-11-13 18:15:57 UTC ++++ gps/Makefile +@@ -10,9 +10,9 @@ GPRBUILD_FLAGS= + Build?=Debug + + ifeq ($(Build),Production) +- GPRBUILD_BUILD_TYPE_FLAGS=-XBuild=Production -XGnatcoll_Build=Production ++ GPRBUILD_BUILD_TYPE_FLAGS=-XBuild=Production + else +- GPRBUILD_BUILD_TYPE_FLAGS=-XBuild=Debug -XGnatcoll_Build=Debug ++ GPRBUILD_BUILD_TYPE_FLAGS=-XBuild=Debug + endif + + .PHONY: default resources do_links all clean +@@ -27,7 +27,6 @@ include ../Makefile.gnat + # NOTE: we need to build gnatcoll separately, since we cannot use + # gnat.adc (No_Tasking restriction) on all gnatcoll sources. + all: resources do_links +- $(MAKE) Gnatcoll_Build=${Build} -C ../gnatlib + $(GPRBUILD) $(GPRBUILD_FLAGS) -m -ws -P../spark/spark + $(GPRBUILD) $(GPRBUILD_FLAGS) -m -p -ws -XTP_TASKING=No_Tasking \ + $(GPRBUILD_BUILD_TYPE_FLAGS) -Pgps -largs `pkg-config gmodule-2.0 --libs` diff --git a/devel/gps/files/patch-shared.gpr b/devel/gps/files/patch-shared.gpr new file mode 100644 index 000000000000..4c283b59f1c8 --- /dev/null +++ b/devel/gps/files/patch-shared.gpr @@ -0,0 +1,47 @@ +--- shared.gpr.orig 2015-01-19 12:21:19 UTC ++++ shared.gpr +@@ -1,4 +1,6 @@ +-with "gnatlib/gnatcoll_shared"; ++with "gnatcoll_iconv"; ++with "gnatcoll_gtk"; ++with "gnatcoll_python"; + + project Shared is + +@@ -9,8 +11,7 @@ project Shared is + Build : Build_Type := External ("Build", "Production"); + + for Source_Dirs use (); +- for Object_Dir use Gnatcoll_Shared'Object_Dir; +- for Library_Dir use Gnatcoll_Shared'Library_Dir; ++ for Object_Dir use "obj"; + + type VCS_Type is ("Subversion", "Git", "Auto"); + VCS_Kind : VCS_Type := External ("PRJ_VCS", "Subversion"); +@@ -34,7 +35,7 @@ project Shared is + "-gnatwaCJe", "-gnat2012", "-gnateE"); + + for Default_Switches ("C") use +- ("-g", "-O1", "-fdump-xref") & GnatColl_Shared.Gtk_Include; ++ ("-g", "-O1"); + + when "Production" => + for Default_Switches ("Ada") use +@@ -42,7 +43,7 @@ project Shared is + "-gnatT3", -- Temporary, L403-023. + "-gnatws", "-gnat12"); + for Default_Switches ("C") use +- ("-g", "-O2") & GnatColl_Shared.Gtk_Include; ++ ("-g", "-O2"); + end case; + end Compiler; + +@@ -51,7 +52,7 @@ project Shared is + end Binder; + + package Linker is +- for Default_Switches ("Ada") use Gnatcoll_Shared.System_Linker_Flags; ++ for Default_Switches ("Ada") use (); + end Linker; + + end Shared; diff --git a/devel/gps/files/patch-widgets_widgets.gpr b/devel/gps/files/patch-widgets_widgets.gpr index 24304aa3a5d6..a7000cf6bb57 100644 --- a/devel/gps/files/patch-widgets_widgets.gpr +++ b/devel/gps/files/patch-widgets_widgets.gpr @@ -1,4 +1,4 @@ ---- widgets/widgets.gpr.orig 2013-03-05 14:31:25.000000000 +0000 +--- widgets/widgets.gpr.orig 2014-11-13 18:15:57 UTC +++ widgets/widgets.gpr @@ -5,7 +5,10 @@ with "../shared"; project Widgets is @@ -8,7 +8,7 @@ + for Source_Dirs use ("src", "@PREFIX@/include/gtk-3.0", + "@PREFIX@/include/glib-2.0", "@PREFIX@/include/pango-1.0", + "@PREFIX@/include/cairo", "@PREFIX@/include/gdk-pixbuf-2.0", -+ "@PREFIX@/include/atk-1.0"); ++ "@PREFIX@/include/atk-1.0", "@PREFIX@/lib/glib-2.0/include"); for Object_Dir use Shared'Object_Dir; package Compiler renames Shared.Compiler; diff --git a/devel/gps/pkg-plist b/devel/gps/pkg-plist new file mode 100644 index 000000000000..710e1ead27b5 --- /dev/null +++ b/devel/gps/pkg-plist @@ -0,0 +1,641 @@ +bin/gnatdoc +bin/gnatspark +bin/gps +bin/gps_cli +bin/gps_exe +share/gps/about.txt +share/gps/activity_log.tmplt +share/gps/default.gpr +share/gps/gnatdoc/html/compile.sh +share/gps/gnatdoc/html/static/blank.html +share/gps/gnatdoc/html/static/gnatdoc.css +share/gps/gnatdoc/html/static/gnatdoc.js +share/gps/gnatdoc/html/static/index.html +share/gps/gnatdoc/html/static/inheritance_index.html +share/gps/gnatdoc/html/templates/documentation.html.tmpl +share/gps/gnatdoc/html/templates/documentation.js.tmpl +share/gps/gnatdoc/html/templates/documentation_index.js.tmpl +share/gps/gnatdoc/html/templates/entities_categories_index.js.tmpl +share/gps/gnatdoc/html/templates/entities_category.html.tmpl +share/gps/gnatdoc/html/templates/entities_category.js.tmpl +share/gps/gnatdoc/html/templates/index.js.tmpl +share/gps/gnatdoc/html/templates/inheritance_index.js.tmpl +share/gps/gnatdoc/html/templates/source_file.html.tmpl +share/gps/gnatdoc/html/templates/source_file.js.tmpl +share/gps/gnatdoc/html/templates/source_file_index.js.tmpl +share/gps/gnatdoc/simple/entities.tmpl +share/gps/gnatdoc/simple/files_index.tmpl +share/gps/gnatdoc/simple/index.tmpl +share/gps/gnatdoc/simple/prj_index.tmpl +share/gps/gnatdoc/simple/src.tmpl +share/gps/gnatdoc/simple/support/Makefile +share/gps/gnatdoc/simple/support/conf.py +share/gps/gnatdoc/simple/support/make.bat +share/gps/gps-Adwaita (Dark).css +share/gps/gps-Adwaita.css +share/gps/gps-gtk-win32-xp.css +share/gps/gps-gtk-win32.css +share/gps/gps-splash.png +share/gps/gps.css +share/gps/icons/dark/16px/box.png +share/gps/icons/dark/16px/build_main_16.png +share/gps/icons/dark/16px/cleanup_16.png +share/gps/icons/dark/16px/clear_entry_16.png +share/gps/icons/dark/16px/compile_16.png +share/gps/icons/dark/16px/compute_xref_16.png +share/gps/icons/dark/16px/custom_build_16.png +share/gps/icons/dark/16px/debug_break.png +share/gps/icons/dark/16px/debug_indicator.png +share/gps/icons/dark/16px/entities/circle.png +share/gps/icons/dark/16px/entities/circle_p.png +share/gps/icons/dark/16px/entities/circle_ps.png +share/gps/icons/dark/16px/entities/circle_s.png +share/gps/icons/dark/16px/entities/circle_x.png +share/gps/icons/dark/16px/entities/circle_xs.png +share/gps/icons/dark/16px/entities/diamond.png +share/gps/icons/dark/16px/entities/diamond_p.png +share/gps/icons/dark/16px/entities/diamond_ps.png +share/gps/icons/dark/16px/entities/diamond_s.png +share/gps/icons/dark/16px/entities/diamond_x.png +share/gps/icons/dark/16px/entities/diamond_x_blue.png +share/gps/icons/dark/16px/entities/diamond_xs.png +share/gps/icons/dark/16px/entities/dot.png +share/gps/icons/dark/16px/entities/dot_p.png +share/gps/icons/dark/16px/entities/dot_ps.png +share/gps/icons/dark/16px/entities/dot_s.png +share/gps/icons/dark/16px/entities/dot_x.png +share/gps/icons/dark/16px/entities/dot_xs.png +share/gps/icons/dark/16px/entities/square.png +share/gps/icons/dark/16px/entities/square_p.png +share/gps/icons/dark/16px/entities/square_ps.png +share/gps/icons/dark/16px/entities/square_s.png +share/gps/icons/dark/16px/entities/square_x.png +share/gps/icons/dark/16px/entities/square_xs.png +share/gps/icons/dark/16px/entities/triangle.png +share/gps/icons/dark/16px/entities/triangle_p.png +share/gps/icons/dark/16px/entities/triangle_ps.png +share/gps/icons/dark/16px/entities/triangle_s.png +share/gps/icons/dark/16px/entities/triangle_x.png +share/gps/icons/dark/16px/entities/triangle_xs.png +share/gps/icons/dark/16px/error.png +share/gps/icons/dark/16px/file.png +share/gps/icons/dark/16px/file_altered.png +share/gps/icons/dark/16px/file_error.png +share/gps/icons/dark/16px/file_pencil.png +share/gps/icons/dark/16px/file_warning.png +share/gps/icons/dark/16px/finish_16.png +share/gps/icons/dark/16px/folder_closed.png +share/gps/icons/dark/16px/folder_e_closed.png +share/gps/icons/dark/16px/folder_e_open.png +share/gps/icons/dark/16px/folder_o_closed.png +share/gps/icons/dark/16px/folder_o_open.png +share/gps/icons/dark/16px/folder_open.png +share/gps/icons/dark/16px/gps_16.png +share/gps/icons/dark/16px/negate.png +share/gps/icons/dark/16px/newfile_16.png +share/gps/icons/dark/16px/newfile_b_16.png +share/gps/icons/dark/16px/next_16.png +share/gps/icons/dark/16px/play_16.png +share/gps/icons/dark/16px/project_box.png +share/gps/icons/dark/16px/project_box_altered.png +share/gps/icons/dark/16px/project_box_error.png +share/gps/icons/dark/16px/project_box_open.png +share/gps/icons/dark/16px/project_box_open_altered.png +share/gps/icons/dark/16px/project_box_pencil.png +share/gps/icons/dark/16px/project_box_warning.png +share/gps/icons/dark/16px/project_root_box.png +share/gps/icons/dark/16px/project_runtime.png +share/gps/icons/dark/16px/regexp.png +share/gps/icons/dark/16px/semantic_check_16.png +share/gps/icons/dark/16px/stack_down_16.png +share/gps/icons/dark/16px/stack_up_16.png +share/gps/icons/dark/16px/step_16.png +share/gps/icons/dark/16px/stop_16.png +share/gps/icons/dark/16px/sync_to_local.png +share/gps/icons/dark/16px/sync_to_remote.png +share/gps/icons/dark/16px/syntax_check_16.png +share/gps/icons/dark/16px/warning.png +share/gps/icons/dark/18px/build_main_18.png +share/gps/icons/dark/18px/cleanup_18.png +share/gps/icons/dark/18px/compile_18.png +share/gps/icons/dark/18px/compute_xref_18.png +share/gps/icons/dark/18px/custom_build_18.png +share/gps/icons/dark/18px/finish_18.png +share/gps/icons/dark/18px/newfile_18.png +share/gps/icons/dark/18px/next_18.png +share/gps/icons/dark/18px/play_18.png +share/gps/icons/dark/18px/semantic_check_18.png +share/gps/icons/dark/18px/stack_down_18.png +share/gps/icons/dark/18px/stack_up_18.png +share/gps/icons/dark/18px/step_18.png +share/gps/icons/dark/18px/stop_18.png +share/gps/icons/dark/18px/syntax_check_18.png +share/gps/icons/dark/20px/vcs-added.png +share/gps/icons/dark/20px/vcs-has-conflicts.png +share/gps/icons/dark/20px/vcs-modified.png +share/gps/icons/dark/20px/vcs-needs-merge.png +share/gps/icons/dark/20px/vcs-needs-update.png +share/gps/icons/dark/20px/vcs-not-registered.png +share/gps/icons/dark/20px/vcs-removed.png +share/gps/icons/dark/20px/vcs-unknown.png +share/gps/icons/dark/20px/vcs-up-to-date.png +share/gps/icons/dark/24px/build_main_24.png +share/gps/icons/dark/24px/cleanup_24.png +share/gps/icons/dark/24px/compile_24.png +share/gps/icons/dark/24px/compute_xref_24.png +share/gps/icons/dark/24px/custom_build_24.png +share/gps/icons/dark/24px/finish_24.png +share/gps/icons/dark/24px/newfile_24.png +share/gps/icons/dark/24px/next_24.png +share/gps/icons/dark/24px/play_24.png +share/gps/icons/dark/24px/semantic_check_24.png +share/gps/icons/dark/24px/stack_down_24.png +share/gps/icons/dark/24px/stack_up_24.png +share/gps/icons/dark/24px/step_24.png +share/gps/icons/dark/24px/stop_24.png +share/gps/icons/dark/24px/syntax_check_24.png +share/gps/icons/dark/32px/gps_32.png +share/gps/icons/dark/48px/gps_48.png +share/gps/icons/dark/9px/build_error.png +share/gps/icons/dark/9px/build_error_fixable.png +share/gps/icons/dark/9px/build_style.png +share/gps/icons/dark/9px/build_style_fixable.png +share/gps/icons/dark/9px/build_warning.png +share/gps/icons/dark/9px/build_warning_fixable.png +share/gps/icons/dark/9px/collapse_12.png +share/gps/icons/dark/9px/executed_code.png +share/gps/icons/dark/9px/expand_12.png +share/gps/icons/dark/9px/line_has_code.png +share/gps/icons/dark/9px/line_might_have_code.png +share/gps/icons/dark/9px/non_executed_code.png +share/gps/icons/dark/9px/partially_covered_code.png +share/gps/icons/dark/9px/remove_unselected_12.png +share/gps/icons/dark/9px/toggle_links_12.png +share/gps/icons/dark/9px/wrench.png +share/gps/icons/dark/9px/wrench_multi.png +share/gps/icons/dark/other/adacore_logo.png +share/gps/icons/dark/other/button_guide.png +share/gps/icons/dark/other/button_guide_over.png +share/gps/icons/dark/other/button_overview.png +share/gps/icons/dark/other/button_overview_over.png +share/gps/icons/dark/other/button_tutorial.png +share/gps/icons/dark/other/button_tutorial_over.png +share/gps/icons/dark/other/get_started.png +share/gps/icons/dark/other/welcome_header.png +share/gps/icons/dark/svg/build.svg +share/gps/icons/dark/svg/buildall.svg +share/gps/icons/dark/svg/buildcustom.svg +share/gps/icons/dark/svg/buildmain.svg +share/gps/icons/dark/svg/circle.svg +share/gps/icons/dark/svg/circle_s.svg +share/gps/icons/dark/svg/circle_x.svg +share/gps/icons/dark/svg/circle_xs.svg +share/gps/icons/dark/svg/clean-12.svg +share/gps/icons/dark/svg/clean.svg +share/gps/icons/dark/svg/clear_entry.svg +share/gps/icons/dark/svg/close.svg +share/gps/icons/dark/svg/compile.svg +share/gps/icons/dark/svg/copy.svg +share/gps/icons/dark/svg/cut.svg +share/gps/icons/dark/svg/diamond.svg +share/gps/icons/dark/svg/diamond_s.svg +share/gps/icons/dark/svg/diamond_x.svg +share/gps/icons/dark/svg/diamond_x_blue.svg +share/gps/icons/dark/svg/diamond_xs.svg +share/gps/icons/dark/svg/document.svg +share/gps/icons/dark/svg/dot.svg +share/gps/icons/dark/svg/dot_s.svg +share/gps/icons/dark/svg/dot_x.svg +share/gps/icons/dark/svg/dot_xs.svg +share/gps/icons/dark/svg/double_arrow.svg +share/gps/icons/dark/svg/edit.svg +share/gps/icons/dark/svg/environment.svg +share/gps/icons/dark/svg/error.svg +share/gps/icons/dark/svg/folder-12.svg +share/gps/icons/dark/svg/folder.svg +share/gps/icons/dark/svg/gnatcheck.svg +share/gps/icons/dark/svg/gnatmetric.svg +share/gps/icons/dark/svg/gnatprove-path.svg +share/gps/icons/dark/svg/gnattest.svg +share/gps/icons/dark/svg/gps-fold-block.svg +share/gps/icons/dark/svg/gps-unfold-block.svg +share/gps/icons/dark/svg/info.svg +share/gps/icons/dark/svg/left.svg +share/gps/icons/dark/svg/lock-12.svg +share/gps/icons/dark/svg/lock.svg +share/gps/icons/dark/svg/menu-12.svg +share/gps/icons/dark/svg/menu.svg +share/gps/icons/dark/svg/messages.svg +share/gps/icons/dark/svg/minus.svg +share/gps/icons/dark/svg/newdocument.svg +share/gps/icons/dark/svg/paste.svg +share/gps/icons/dark/svg/plus.svg +share/gps/icons/dark/svg/power.svg +share/gps/icons/dark/svg/print.svg +share/gps/icons/dark/svg/project.svg +share/gps/icons/dark/svg/redo.svg +share/gps/icons/dark/svg/refresh.svg +share/gps/icons/dark/svg/right.svg +share/gps/icons/dark/svg/run.svg +share/gps/icons/dark/svg/run_blue.svg +share/gps/icons/dark/svg/run_blue_d.svg +share/gps/icons/dark/svg/run_green.svg +share/gps/icons/dark/svg/run_green_d.svg +share/gps/icons/dark/svg/save-12.svg +share/gps/icons/dark/svg/save.svg +share/gps/icons/dark/svg/search-and-menu.svg +share/gps/icons/dark/svg/search.svg +share/gps/icons/dark/svg/settings.svg +share/gps/icons/dark/svg/square.svg +share/gps/icons/dark/svg/square_s.svg +share/gps/icons/dark/svg/square_x.svg +share/gps/icons/dark/svg/square_xs.svg +share/gps/icons/dark/svg/triangle.svg +share/gps/icons/dark/svg/triangle_s.svg +share/gps/icons/dark/svg/triangle_x.svg +share/gps/icons/dark/svg/triangle_xs.svg +share/gps/icons/dark/svg/undo.svg +share/gps/icons/dark/svg/unlock-12.svg +share/gps/icons/dark/svg/unlock.svg +share/gps/icons/dark/svg/warning.svg +share/gps/icons/dark/svg/zip.svg +share/gps/icons/dark/svg/zoom.svg +share/gps/icons/dark/svg/zoomout.svg +share/gps/icons/light/svg/build.svg +share/gps/icons/light/svg/buildall.svg +share/gps/icons/light/svg/buildcustom.svg +share/gps/icons/light/svg/buildmain.svg +share/gps/icons/light/svg/circle.svg +share/gps/icons/light/svg/circle_s.svg +share/gps/icons/light/svg/circle_x.svg +share/gps/icons/light/svg/circle_xs.svg +share/gps/icons/light/svg/clean-12.svg +share/gps/icons/light/svg/clean.svg +share/gps/icons/light/svg/clear_entry.svg +share/gps/icons/light/svg/close.svg +share/gps/icons/light/svg/compile.svg +share/gps/icons/light/svg/copy.svg +share/gps/icons/light/svg/cut.svg +share/gps/icons/light/svg/diamond.svg +share/gps/icons/light/svg/diamond_s.svg +share/gps/icons/light/svg/diamond_x.svg +share/gps/icons/light/svg/diamond_x_blue.svg +share/gps/icons/light/svg/diamond_xs.svg +share/gps/icons/light/svg/document.svg +share/gps/icons/light/svg/dot.svg +share/gps/icons/light/svg/dot_s.svg +share/gps/icons/light/svg/dot_x.svg +share/gps/icons/light/svg/dot_xs.svg +share/gps/icons/light/svg/double_arrow.svg +share/gps/icons/light/svg/edit.svg +share/gps/icons/light/svg/environment.svg +share/gps/icons/light/svg/error.svg +share/gps/icons/light/svg/folder-12.svg +share/gps/icons/light/svg/folder.svg +share/gps/icons/light/svg/gnatcheck.svg +share/gps/icons/light/svg/gnatmetric.svg +share/gps/icons/light/svg/gnatprove-path.svg +share/gps/icons/light/svg/gnattest.svg +share/gps/icons/light/svg/gps-fold-block.svg +share/gps/icons/light/svg/gps-unfold-block.svg +share/gps/icons/light/svg/info.svg +share/gps/icons/light/svg/left.svg +share/gps/icons/light/svg/lock-12.svg +share/gps/icons/light/svg/lock.svg +share/gps/icons/light/svg/menu-12.svg +share/gps/icons/light/svg/menu.svg +share/gps/icons/light/svg/messages.svg +share/gps/icons/light/svg/minus.svg +share/gps/icons/light/svg/newdocument.svg +share/gps/icons/light/svg/paste.svg +share/gps/icons/light/svg/plus.svg +share/gps/icons/light/svg/power.svg +share/gps/icons/light/svg/print.svg +share/gps/icons/light/svg/project.svg +share/gps/icons/light/svg/redo.svg +share/gps/icons/light/svg/refresh.svg +share/gps/icons/light/svg/right.svg +share/gps/icons/light/svg/run.svg +share/gps/icons/light/svg/run_blue.svg +share/gps/icons/light/svg/run_blue_d.svg +share/gps/icons/light/svg/run_green.svg +share/gps/icons/light/svg/run_green_d.svg +share/gps/icons/light/svg/save-12.svg +share/gps/icons/light/svg/save.svg +share/gps/icons/light/svg/search-and-menu.svg +share/gps/icons/light/svg/search.svg +share/gps/icons/light/svg/settings.svg +share/gps/icons/light/svg/square.svg +share/gps/icons/light/svg/square_s.svg +share/gps/icons/light/svg/square_x.svg +share/gps/icons/light/svg/square_xs.svg +share/gps/icons/light/svg/triangle.svg +share/gps/icons/light/svg/triangle_s.svg +share/gps/icons/light/svg/triangle_x.svg +share/gps/icons/light/svg/triangle_xs.svg +share/gps/icons/light/svg/undo.svg +share/gps/icons/light/svg/unlock-12.svg +share/gps/icons/light/svg/unlock.svg +share/gps/icons/light/svg/warning.svg +share/gps/icons/light/svg/zip.svg +share/gps/icons/light/svg/zoom.svg +share/gps/icons/light/svg/zoomout.svg +share/gps/key_themes/default.xml +share/gps/key_themes/emacs.xml +share/gps/key_themes/include/common.xml +share/gps/library/addr2line.py +share/gps/library/auto_changelog.py +share/gps/library/autoformat.py +share/gps/library/autognatpp.py +share/gps/library/clang_support.py +share/gps/library/copy_paste.py +share/gps/library/copy_paste_toolbar.py +share/gps/library/cov_export.py +share/gps/library/create_missing_dirs.py +share/gps/library/createfile.py +share/gps/library/debugger.py +share/gps/library/dependencies.py +share/gps/library/eclipse.py +share/gps/library/emacs.py +share/gps/library/enter.py +share/gps/library/filedeps.py +share/gps/library/filepos.py +share/gps/library/first_subtype.py +share/gps/library/formatfile.py +share/gps/library/gnatfind.py +share/gps/library/gnatpp_switches.py +share/gps/library/gnatr.py +share/gps/library/ispell.py +share/gps/library/local_history.py +share/gps/library/occurrences.py +share/gps/library/open_file.py +share/gps/library/parasail.py +share/gps/library/ppc.py +share/gps/library/prevent_project_edition.py +share/gps/library/remote_rsh.py +share/gps/library/save_on_compile.py +share/gps/library/separate.py +share/gps/library/simple_project.py +share/gps/library/skeleton.py +share/gps/library/treemove.py +share/gps/library/unicode.py +share/gps/library/unused_entities.py +share/gps/library/vi.py +share/gps/library/vim.py +share/gps/menus.xml +share/gps/perspectives6.xml +share/gps/plug-ins/ada_support.py +share/gps/plug-ins/ada_support.pyc +share/gps/plug-ins/align.py +share/gps/plug-ins/align.pyc +share/gps/plug-ins/auto_highlight_occurrences.py +share/gps/plug-ins/auto_highlight_occurrences.pyc +share/gps/plug-ins/block_completion.py +share/gps/plug-ins/block_completion.pyc +share/gps/plug-ins/board_support.py +share/gps/plug-ins/board_support.pyc +share/gps/plug-ins/c_support.py +share/gps/plug-ins/c_support.pyc +share/gps/plug-ins/changelog.py +share/gps/plug-ins/changelog.pyc +share/gps/plug-ins/clearcase.py +share/gps/plug-ins/clearcase.pyc +share/gps/plug-ins/codepeer.py +share/gps/plug-ins/codepeer.pyc +share/gps/plug-ins/csharp.py +share/gps/plug-ins/csharp.pyc +share/gps/plug-ins/cvs.py +share/gps/plug-ins/cvs.pyc +share/gps/plug-ins/dispatching.py +share/gps/plug-ins/dispatching.pyc +share/gps/plug-ins/editors.py +share/gps/plug-ins/editors.pyc +share/gps/plug-ins/expanded_code.py +share/gps/plug-ins/expanded_code.pyc +share/gps/plug-ins/gcov.py +share/gps/plug-ins/gcov.pyc +share/gps/plug-ins/git.py +share/gps/plug-ins/git.pyc +share/gps/plug-ins/gnatcheck.py +share/gps/plug-ins/gnatcheck.pyc +share/gps/plug-ins/gnatcov.py +share/gps/plug-ins/gnatcov.pyc +share/gps/plug-ins/gnatdist.py +share/gps/plug-ins/gnatdist.pyc +share/gps/plug-ins/gnatdoc.py +share/gps/plug-ins/gnatdoc.pyc +share/gps/plug-ins/gnatname.py +share/gps/plug-ins/gnatname.pyc +share/gps/plug-ins/gnatpp.py +share/gps/plug-ins/gnatpp.pyc +share/gps/plug-ins/gnatpsta.py +share/gps/plug-ins/gnatpsta.pyc +share/gps/plug-ins/gnatstack.py +share/gps/plug-ins/gnatstack.pyc +share/gps/plug-ins/gnatstub.py +share/gps/plug-ins/gnatstub.pyc +share/gps/plug-ins/gnattest.py +share/gps/plug-ins/gnattest.pyc +share/gps/plug-ins/gpr.py +share/gps/plug-ins/gpr.pyc +share/gps/plug-ins/images/tip_all_occurrences.png +share/gps/plug-ins/images/tip_build_menu.png +share/gps/plug-ins/images/tip_insert_spaces_with_tab.png +share/gps/plug-ins/images/tip_jump_to_first_location.png +share/gps/plug-ins/images/tip_keyboard_macro.png +share/gps/plug-ins/images/tip_makefile_support.png +share/gps/plug-ins/images/tip_multi_language_builder.png +share/gps/plug-ins/images/tip_multiple_views.png +share/gps/plug-ins/images/tip_notebook_tabs_position.png +share/gps/plug-ins/images/tip_os_shell.png +share/gps/plug-ins/images/tip_task_manager.png +share/gps/plug-ins/isearch.py +share/gps/plug-ins/isearch.pyc +share/gps/plug-ins/jedi_support.py +share/gps/plug-ins/jedi_support.pyc +share/gps/plug-ins/listvars.py +share/gps/plug-ins/listvars.pyc +share/gps/plug-ins/makefile.py +share/gps/plug-ins/makefile.pyc +share/gps/plug-ins/matlab_support.py +share/gps/plug-ins/matlab_support.pyc +share/gps/plug-ins/mercurial.py +share/gps/plug-ins/mercurial.pyc +share/gps/plug-ins/methods.py +share/gps/plug-ins/methods.pyc +share/gps/plug-ins/modeling.py +share/gps/plug-ins/modeling.pyc +share/gps/plug-ins/pep8_integration.py +share/gps/plug-ins/pep8_integration.pyc +share/gps/plug-ins/pipe.py +share/gps/plug-ins/pipe.pyc +share/gps/plug-ins/python_support.py +share/gps/plug-ins/python_support.pyc +share/gps/plug-ins/rectangles.py +share/gps/plug-ins/rectangles.pyc +share/gps/plug-ins/shell.py +share/gps/plug-ins/shell.pyc +share/gps/plug-ins/sort_selection.py +share/gps/plug-ins/sort_selection.pyc +share/gps/plug-ins/spark.py +share/gps/plug-ins/spark.pyc +share/gps/plug-ins/spark2014.py +share/gps/plug-ins/spark2014.pyc +share/gps/plug-ins/subversion.py +share/gps/plug-ins/subversion.pyc +share/gps/plug-ins/tab.py +share/gps/plug-ins/tab.pyc +share/gps/plug-ins/tip_of_the_day.py +share/gps/plug-ins/tip_of_the_day.pyc +share/gps/plug-ins/url.py +share/gps/plug-ins/url.pyc +share/gps/plug-ins/xml_support.py +share/gps/plug-ins/xml_support.pyc +share/gps/plug-ins/zoom.py +share/gps/plug-ins/zoom.pyc +share/gps/predefined_ada.xml +share/gps/readonly.gpr +share/gps/show_coverage.xsl +share/gps/support/core/GPS_help.py +share/gps/support/core/GPS_old/__init__.py +share/gps/support/core/__init__.py +share/gps/support/core/aliases.py +share/gps/support/core/auto_load.py +share/gps/support/core/build.py +share/gps/support/core/color_utils.py +share/gps/support/core/completion.py +share/gps/support/core/console_utils.py +share/gps/support/core/constructs.py +share/gps/support/core/constructs.pyc +share/gps/support/core/cross_references.py +share/gps/support/core/customFiles.xsd +share/gps/support/core/extensions/__init__.py +share/gps/support/core/extensions/__init__.pyc +share/gps/support/core/extensions/private/__init__.py +share/gps/support/core/extensions/private/__init__.pyc +share/gps/support/core/extensions/private/xml.py +share/gps/support/core/extensions/private/xml.pyc +share/gps/support/core/gnat_switches.py +share/gps/support/core/gps_utils/__init__.py +share/gps/support/core/gps_utils/__init__.pyc +share/gps/support/core/gps_utils/console_process.py +share/gps/support/core/gps_utils/console_process.pyc +share/gps/support/core/gps_utils/gnat_rules.py +share/gps/support/core/gps_utils/gnatcheck_default.py +share/gps/support/core/gps_utils/gnatcheck_rules_editor.py +share/gps/support/core/gps_utils/highlighter.py +share/gps/support/core/gps_utils/highlighter.pyc +share/gps/support/core/gps_utils/promises.py +share/gps/support/core/gps_utils/switches.py +share/gps/support/core/gps_utils/workflow.py +share/gps/support/core/languages.py +share/gps/support/core/modules.py +share/gps/support/core/modules.pyc +share/gps/support/core/navigation_utils.py +share/gps/support/core/os_utils.py +share/gps/support/core/projects.py +share/gps/support/core/protocols.py +share/gps/support/core/protocols.py.in +share/gps/support/core/runtime.py +share/gps/support/core/search.py +share/gps/support/core/text_utils.py +share/gps/support/core/tool_output.py +share/gps/support/core/toolchains.py +share/gps/support/core/vcs.py +share/gps/support/ui/GPS_doc/Browsers.py +share/gps/support/ui/GPS_doc/Browsers.pyc +share/gps/support/ui/GPS_doc/__init__.py +share/gps/support/ui/GPS_doc/__init__.pyc +share/gps/support/ui/c_highlighter.py +share/gps/support/ui/colorschemes.py +share/gps/support/ui/colorschemes.pyc +share/gps/support/ui/console.py +share/gps/support/ui/gnatmetric.py +share/gps/support/ui/gpsbrowsers.py +share/gps/support/ui/highlighter/__init__.py +share/gps/support/ui/highlighter/__init__.pyc +share/gps/support/ui/highlighter/common.py +share/gps/support/ui/highlighter/common.pyc +share/gps/support/ui/highlighter/engine.py +share/gps/support/ui/highlighter/engine.pyc +share/gps/support/ui/highlighter/interface.py +share/gps/support/ui/highlighter/interface.pyc +share/gps/support/ui/icons.py +share/gps/support/ui/locations_view_utils.py +share/gps/support/ui/multi_cursors.py +share/gps/support/ui/pygps/__init__.py +share/gps/support/ui/pygps/__init__.pyc +share/gps/support/ui/pygps/notebook.py +share/gps/support/ui/pygps/project.py +share/gps/support/ui/pygps/tree.py +share/gps/support/ui/python_highlighter.py +share/gps/support/ui/reloadcss.py +share/gps/support/ui/task_manager.py +share/gps/templates/ajis_hello/@_project_name_@.gpr +share/gps/templates/ajis_hello/Makefile +share/gps/templates/ajis_hello/ajis_hello.gpt +share/gps/templates/ajis_hello/src_ada/hello.adb +share/gps/templates/ajis_hello/src_ada/hello.ads +share/gps/templates/ajis_hello/src_java/com/adacore/example/@_Main_Name_@.java +share/gps/templates/aws_simple_web_server/@_project_name_@.gpr +share/gps/templates/aws_simple_web_server/simple_web_server.gpt +share/gps/templates/aws_simple_web_server/src/@_project_name_@-callbacks.adb +share/gps/templates/aws_simple_web_server/src/@_project_name_@-callbacks.ads +share/gps/templates/aws_simple_web_server/src/@_project_name_@-main.adb +share/gps/templates/aws_simple_web_server/src/@_project_name_@.ads +share/gps/templates/aws_web_server/@_project_name_@.gpr +share/gps/templates/aws_web_server/css/style.css +share/gps/templates/aws_web_server/img/gps_logo.png +share/gps/templates/aws_web_server/src/@_project_name_@-dispatchers.adb +share/gps/templates/aws_web_server/src/@_project_name_@-dispatchers.ads +share/gps/templates/aws_web_server/src/@_project_name_@-main.adb +share/gps/templates/aws_web_server/src/@_project_name_@.ads +share/gps/templates/aws_web_server/tmplt/main.thtml +share/gps/templates/aws_web_server/web_server.gpt +share/gps/templates/aws_web_server_blocks/@_project_name_@.gpr +share/gps/templates/aws_web_server_blocks/README +share/gps/templates/aws_web_server_blocks/css/style.css +share/gps/templates/aws_web_server_blocks/gen/templates.tada +share/gps/templates/aws_web_server_blocks/img/gps_logo.png +share/gps/templates/aws_web_server_blocks/js/ajax_api.tjs +share/gps/templates/aws_web_server_blocks/js/aws.tjs +share/gps/templates/aws_web_server_blocks/js/aws_kernel.tjs +share/gps/templates/aws_web_server_blocks/js/behaviour.js +share/gps/templates/aws_web_server_blocks/js/prototype.js +share/gps/templates/aws_web_server_blocks/js/scriptaculous.js +share/gps/templates/aws_web_server_blocks/makefile +share/gps/templates/aws_web_server_blocks/open_readme.py +share/gps/templates/aws_web_server_blocks/src/@_project_name_@-ajax.adb +share/gps/templates/aws_web_server_blocks/src/@_project_name_@-ajax.ads +share/gps/templates/aws_web_server_blocks/src/@_project_name_@-dispatchers.adb +share/gps/templates/aws_web_server_blocks/src/@_project_name_@-dispatchers.ads +share/gps/templates/aws_web_server_blocks/src/@_project_name_@-main.adb +share/gps/templates/aws_web_server_blocks/src/@_project_name_@-web_blocks.adb +share/gps/templates/aws_web_server_blocks/src/@_project_name_@-web_blocks.ads +share/gps/templates/aws_web_server_blocks/src/@_project_name_@.ads +share/gps/templates/aws_web_server_blocks/tmplt/main.thtml +share/gps/templates/aws_web_server_blocks/tmplt/r_widget_counter.txml +share/gps/templates/aws_web_server_blocks/tmplt/widget_counter.thtml +share/gps/templates/aws_web_server_blocks/web_server_blocks.gpt +share/gps/templates/gtkada_minimal/@_project_name_@.gpr +share/gps/templates/gtkada_minimal/gtkada_minimal.gpt +share/gps/templates/gtkada_minimal/src/@_main_name_@.adb +share/gps/templates/simple_project/@_project_name_@.gpr +share/gps/templates/simple_project/simple_project.gpt +share/gps/templates/simple_project/src/@_main_name_@.adb +share/gps/templates/stm32f_leds/@_project_name_@.gpr +share/gps/templates/stm32f_leds/src/@_main_name_@.adb +share/gps/templates/stm32f_leds/src/button.adb +share/gps/templates/stm32f_leds/src/button.ads +share/gps/templates/stm32f_leds/src/driver.adb +share/gps/templates/stm32f_leds/src/driver.ads +share/gps/templates/stm32f_leds/src/last_chance_handler.adb +share/gps/templates/stm32f_leds/src/last_chance_handler.ads +share/gps/templates/stm32f_leds/src/leds.adb +share/gps/templates/stm32f_leds/src/leds.ads +share/gps/templates/stm32f_leds/src/registers.ads +share/gps/templates/stm32f_leds/src/stm32f4-gpio.ads +share/gps/templates/stm32f_leds/src/stm32f4-reset_clock_control.ads +share/gps/templates/stm32f_leds/src/stm32f4-sysconfig_control.ads +share/gps/templates/stm32f_leds/src/stm32f4.ads +share/gps/templates/stm32f_leds/stm32f_leds.gpt |