1 # Buildsheet autogenerated by ravenadm tool -- Do not edit.
8 SDESC[standard]= GNAT Programming Studio - IDE for Ada plus
9 HOMEPAGE= https://www.adacore.com/gnatpro/toolsuite/gps/
10 CONTACT= John_Marino[draco@marino.st]
13 SITES[main]= http://downloads.dragonlace.net/src/
14 DISTFILE[1]= gps-gpl-2018-20180524-src.tar.gz:main
15 DISTFILE[2]= libadalang-tools-gpl-2018-20180524-src.tar.gz:main
17 SPKGS[standard]= complete
22 OPTIONS_AVAILABLE= DEBUG
23 OPTIONS_STANDARD= DEBUG
25 BUILD_DEPENDS= gnat-util:single:standard
26 gnatcoll-db:complete:standard
27 gnatcoll-bindings:python:standard
28 BUILDRUN_DEPENDS= fontconfig:primary:standard
29 freetype:primary:standard
30 clang:compiler:standard
31 gtkada:primary:standard
32 python-pygobject:primary:python_used
33 libadalang:single:python_used
34 RUN_DEPENDS= librsvg:primary:standard
36 python-pep8:single:python_used
37 python-jedi:single:python_used
38 EXRUN[primary]= gcc8:complete:standard
40 USES= gprbuild:buildrun gettext-tools gmake pkgconfig zlib
41 perl:build python:py27 shebangfix iconv
42 GNOME_COMPONENTS= gtk3 cairo gdkpixbuf
45 DISTNAME= gps-gpl-2018-src
47 LICENSE= GPLv3+:primary
48 LICENSE_TERMS= primary:{{WRKDIR}}/TERMS
49 LICENSE_FILE= GPLv3+:{{WRKSRC}}/COPYING3
50 LICENSE_AWK= TERMS:"^$$"
51 LICENSE_SOURCE= TERMS:{{WRKSRC}}/gps/src/gps-main.adb
54 SHEBANG_FILES= share/support/core/gps_utils/internal/dialogs.py
55 share/plug-ins/spark2014.py
58 CONFIGURE_ARGS= --with-gtk=3.0
59 --with-clang={{LOCALBASE}}/lib
60 CONFIGURE_ENV= AWK=/usr/bin/awk
63 MAKE_ARGS= PROCESSORS={{MAKE_JOBS_NUMBER}}
64 PYTHON_CMD={{PYTHON_CMD}}
67 SUB_LIST= ADA_PATH={{PREFIX}}/toolchain/gcc8/bin
69 [DEBUG].MAKEFILE_ON= WITH_DEBUG=yes
70 [DEBUG].MAKE_ARGS_OFF= Build=Production
71 [DEBUG].MAKE_ARGS_ON= Build=Debug
74 ${RM} ${WRKSRC}/share/plug-ins/*.orig
75 ${ECHO} "GNAT_SOURCES=" > ${WRKSRC}/Makefile.gnat
76 ${REINPLACE_CMD} -e 's|@PREFIX@|${PREFIX}|g' \
77 ${WRKSRC}/gps/gps.gpr \
78 ${WRKSRC}/gnatdoc/gnatdoc.gpr \
79 ${WRKSRC}/widgets/widgets.gpr
80 ${REINPLACE_CMD} -e '/Gdb_Command/ s|"gdb"|"${PREFIX}/bin/gdb"|' \
81 ${WRKSRC}/gvd/src/debugger-base_gdb-gdb_mi.adb \
82 ${WRKSRC}/gvd/src/debugger-base_gdb-gdb_cli.adb
83 ${REINPLACE_CMD} -i'' -e 's|ISO-8859|ISO8859|' \
84 ${WRKSRC}/kernel/src/gps-kernel-charsets.adb \
85 ${WRKSRC}/share/support/core/os_utils.py \
87 ${REINPLACE_CMD} -e 's|iso-8859|ISO8859|' \
88 ${WRKSRC}/cli/src/gps-cli_scripts.adb \
89 ${WRKSRC}/cli/src/gnatdoc_main.adb
91 -e 's|-lclang|-Wl,-rpath,${LOCALBASE}/lib -lclang|' \
93 ${REINPLACE_CMD} -e 's/relocatable/static/g' \
94 -e '/GPRBUILD_BUILD_TYPE_FLAGS=/ s|FLAGS=|FLAGS=-j${MAKE_JOBS_NUMBER} |' \
95 ${WRKSRC}/gps/Makefile
96 ${REINPLACE_CMD} -e 's/relocatable/static/g' \
97 ${WRKSRC}/testsuite/Makefile
100 ${CP} ${PREFIX}/include/gnat-util/impunit.* ${WRKSRC}/distrib
101 cd ${WRKSRC} && ${SETENV} ${MAKE_ENV} \
102 ${MAKE_CMD} ${MAKE_ARGS} ${BUILD_TARGET}
103 # block all docs (Sphinx is python3 only)
104 # cd ${WRKSRC}/docs && ${SETENV} ${MAKE_ENV} \
105 # ${MAKE_CMD} ${MAKE_ARGS} all
106 ${PYTHON_CMD} ${PREFIX}/lib/python${PYTHON_VER}/compileall.py ${WRKSRC}/share/plug-ins
107 ${PYTHON_CMD} ${PREFIX}/lib/python${PYTHON_VER}/compileall.py ${WRKSRC}/share/library
108 ${PYTHON_CMD} ${PREFIX}/lib/python${PYTHON_VER}/compileall.py ${WRKSRC}/share/support
111 # ${RM} -r ${STAGEDIR}${PREFIX}/share/doc/gps/html/*/_sources
112 ${FIND} ${STAGEDIR}${PREFIX} -type f -name ".gitignore" -delete
113 ${INSTALL_SCRIPT} ${WRKDIR}/gps ${STAGEDIR}${PREFIX}/bin
114 echo "This is the GPS GPL Edition for Ravenports." \
115 > ${STAGEDIR}${PREFIX}/share/gps/about.txt
116 ${FIND} ${STAGEDIR}${PREFIX} -type d -empty -delete
119 ${MV} ${WRKDIR}/libadalang-tools-src ${WRKSRC}/laltools
120 ${MV} ${WRKSRC}/Makefile.gnat ${WRKSRC}/Makefile.gnat.ignore
121 ${FIND} ${WRKSRC}/share -name "*.pyc" -delete
122 ${RM} ${WRKSRC}/share/support/core/cross_references.py
124 [FILE:1056:descriptions/desc.primary]
125 The GNAT Programming Studio (GPS) is a cutting-edge Free Software IDE that
126 streamlines the interaction between developers and their software. With its
127 intuitive interface, GPS is easy to use, simplying source navigation and
128 highlighting fundamental ideas in the program.
131 * Developer-friendly * Language-sensitive editor
132 * Multi-language * Version control
133 * Multi-platform * Graphical debugger
134 * Modern GUI * Automatic code fixing
135 * Multiple document interface * Graphs (call, dependencies, entities)
136 * Customizable * Application builder
137 * Extensible tool integration * Visual file comparison
138 * Free Software * Source code reformatting
139 * Automatic body file generation
140 * intelligent source code navigation
146 405af72fb5ff4f26d59e35229c0ea9045202d6f34302a950f0909a772e61fee8 40541905 gps-gpl-2018-20180524-src.tar.gz
147 0f5e1e795de6ba1e40de311ffdb359270e54b4cc1704869776dc2757e0925c93 19938182 libadalang-tools-gpl-2018-20180524-src.tar.gz
150 [FILE:16339:manifests/plist.primary]
160 gps-Adwaita (Dark).css
162 gps-gtk-win32-base.css
163 gps-gtk-win32-classic.css
173 share/gps/color_themes/themes/gruvbox/
176 gruvbox (Dark) (Hard).tmTheme
177 gruvbox (Dark) (Medium).tmTheme
178 gruvbox (Dark) (Soft).tmTheme
179 gruvbox (Light) (Hard).tmTheme
180 gruvbox (Light) (Medium).tmTheme
181 gruvbox (Light) (Soft).tmTheme
182 share/gps/color_themes/themes/solarized/
186 Solarized (dark).tmTheme
187 Solarized (light).tmTheme
188 share/gps/color_themes/themes/tomorrow/
189 Tomorrow-Night-Blue.tmTheme
190 Tomorrow-Night-Bright.tmTheme
191 Tomorrow-Night-Eighties.tmTheme
192 Tomorrow-Night.tmTheme
194 share/gps/fonts/README.txt
195 share/gps/gnatdoc/html/compile.sh
196 share/gps/gnatdoc/html/static/
201 inheritance_index.html
202 share/gps/gnatdoc/html/templates/
203 documentation.html.tmpl
204 documentation.js.tmpl
205 documentation_index.js.tmpl
206 entities_categories_index.js.tmpl
207 entities_category.html.tmpl
208 entities_category.js.tmpl
210 inheritance_index.js.tmpl
211 source_file.html.tmpl
213 source_file_index.js.tmpl
214 share/gps/gnatdoc/simple/
220 share/gps/gnatdoc/simple/support/
224 share/gps/icons/hicolor/index.theme
225 share/gps/icons/hicolor/24x24/apps/adacore_logo.png
226 share/gps/icons/hicolor/32x32/apps/
228 button_guide_over.png
230 button_overview_over.png
232 button_tutorial_over.png
236 share/gps/icons/hicolor/scalable/16x16/
237 gps-add-folder-symbolic.svg
239 gps-backward-symbolic.svg
240 gps-boardloading-debug-symbolic.svg
241 gps-boardloading-flash-symbolic.svg
242 gps-boardloading-symbolic.svg
243 gps-build-all-symbolic.svg
244 gps-build-main-symbolic.svg
245 gps-build-mdl-symbolic.svg
246 gps-case-sensitive-symbolic.svg
247 gps-clean-symbolic.svg
248 gps-clear-entry-symbolic.svg
249 gps-clear-symbolic.svg
250 gps-close-symbolic.svg
251 gps-codefix-multi.svg
253 gps-collapse-all-symbolic.svg
254 gps-compile-symbolic.svg
255 gps-compute-xref-symbolic.svg
256 gps-config-menu-symbolic.svg
257 gps-connect-to-target-symbolic.svg
258 gps-copy-symbolic.svg
259 gps-custom-build-symbolic.svg
261 gps-debugger-arguments-symbolic.svg
262 gps-debugger-down-symbolic.svg
263 gps-debugger-finish-symbolic.svg
264 gps-debugger-initialize-symbolic.svg
265 gps-debugger-local-vars-symbolic.svg
266 gps-debugger-next-symbolic.svg
267 gps-debugger-pause-symbolic.svg
268 gps-debugger-registers-symbolic.svg
269 gps-debugger-run-symbolic.svg
270 gps-debugger-step-symbolic.svg
271 gps-debugger-stop-symbolic.svg
272 gps-debugger-terminate-symbolic.svg
273 gps-debugger-up-symbolic.svg
274 gps-double-arrow-symbolic.svg
275 gps-edit-symbolic.svg
276 gps-emulatorloading-debug-symbolic.svg
277 gps-emulatorloading-run-symbolic.svg
278 gps-emulatorloading-symbolic.svg
279 gps-expand-all-symbolic.svg
280 gps-flash-memory-symbolic.svg
281 gps-fold-block-symbolic.svg
282 gps-forward-symbolic.svg
283 gps-github-symbolic.svg
284 gps-gnatprove-symbolic.svg
286 gps-goto-symbolic.svg
287 gps-lock-symbolic.svg
288 gps-new-document-symbolic.svg
289 gps-open-file-symbolic.svg
290 gps-open-project-symbolic.svg
291 gps-paste-symbolic.svg
292 gps-pause-symbolic.svg
293 gps-print-symbolic.svg
294 gps-qgen-debug-symbolic.svg
295 gps-ram-memory-symbolic.svg
296 gps-redo-symbolic.svg
297 gps-refresh-symbolic.svg
298 gps-regexp-symbolic.svg
299 gps-remove-symbolic.svg
300 gps-remove-unselected-symbolic.svg
301 gps-rename-symbolic.svg
302 gps-run-gnatcov-symbolic.svg
304 gps-save-symbolic.svg
305 gps-search-and-menu-symbolic.svg
306 gps-search-symbolic.svg
307 gps-select-all-symbolic.svg
308 gps-semantic-check-symbolic.svg
309 gps-settings-symbolic.svg
310 gps-stop-save-symbolic.svg
311 gps-stop-symbolic.svg
312 gps-syntax-check-symbolic.svg
314 gps-toggle-links-symbolic.svg
315 gps-undo-symbolic.svg
316 gps-unfold-block-symbolic.svg
317 gps-unlock-symbolic.svg
318 gps-upward-symbolic.svg
319 gps-whole-word-symbolic.svg
320 gps-zoom-100-symbolic.svg
321 gps-zoom-in-symbolic.svg
322 gps-zoom-out-symbolic.svg
323 share/gps/icons/hicolor/scalable/256x256/
324 git-commit-amend-symbolic.svg
325 github-check-symbolic.svg
326 github-commit-symbolic.svg
327 github-repo-push-symbolic.svg
328 github-repo-symbolic.svg
330 vcs-branch-symbolic.svg
331 vcs-cloud-symbolic.svg
332 vcs-compare-symbolic.svg
333 vcs-conflicts-staged.svg
334 vcs-diff-symbolic.svg
335 vcs-discard-changes-symbolic.svg
336 vcs-gerrit-symbolic.svg
337 vcs-git-worktrees-symbolic.svg
338 vcs-has-conflicts.svg
339 vcs-merge-symbolic.svg
340 vcs-modified-staged-unstaged.svg
341 vcs-modified-staged.svg
345 vcs-not-registered.svg
346 vcs-pull-symbolic.svg
347 vcs-removed-staged.svg
349 vcs-stash-symbolic.svg
350 vcs-submodules-symbolic.svg
354 share/gps/icons/hicolor/scalable/emblems/
355 gps-debugger-continue-until.svg
356 gps-diff-conflict-symbolic.svg
357 gps-diff-noconflict-symbolic.svg
358 gps-emblem-alias-symbolic.svg
359 gps-emblem-build-error.svg
360 gps-emblem-build-info-symbolic.svg
361 gps-emblem-build-style.svg
362 gps-emblem-build-warning.svg
363 gps-emblem-category.svg
364 gps-emblem-debugger-breakpoint.svg
365 gps-emblem-debugger-conditional-breakpoint.svg
366 gps-emblem-debugger-current-inside.svg
367 gps-emblem-debugger-current.svg
368 gps-emblem-debugger-disabled-breakpoint.svg
369 gps-emblem-directory-closed.svg
370 gps-emblem-directory-open.svg
371 gps-emblem-directory-symbolic.svg
372 gps-emblem-entity-generic-private-spec.svg
373 gps-emblem-entity-generic-private.svg
374 gps-emblem-entity-generic-protected-spec.svg
375 gps-emblem-entity-generic-protected.svg
376 gps-emblem-entity-generic-spec.svg
377 gps-emblem-entity-generic.svg
378 gps-emblem-entity-package-private-spec.svg
379 gps-emblem-entity-package-private.svg
380 gps-emblem-entity-package-protected-spec.svg
381 gps-emblem-entity-package-protected.svg
382 gps-emblem-entity-package-spec.svg
383 gps-emblem-entity-package.svg
384 gps-emblem-entity-subprogram-private-spec.svg
385 gps-emblem-entity-subprogram-private.svg
386 gps-emblem-entity-subprogram-protected-spec.svg
387 gps-emblem-entity-subprogram-protected.svg
388 gps-emblem-entity-subprogram-spec.svg
389 gps-emblem-entity-subprogram.svg
390 gps-emblem-entity-type-private-spec.svg
391 gps-emblem-entity-type-private.svg
392 gps-emblem-entity-type-protected-spec.svg
393 gps-emblem-entity-type-protected.svg
394 gps-emblem-entity-type-spec.svg
395 gps-emblem-entity-type.svg
396 gps-emblem-entity-variable-private-spec.svg
397 gps-emblem-entity-variable-private.svg
398 gps-emblem-entity-variable-protected-spec.svg
399 gps-emblem-entity-variable-protected.svg
400 gps-emblem-entity-variable-spec.svg
401 gps-emblem-entity-variable.svg
402 gps-emblem-execdir-closed.svg
403 gps-emblem-execdir-open.svg
404 gps-emblem-file-modified.svg
405 gps-emblem-file-unmodified.svg
406 gps-emblem-file-unsaved.svg
407 gps-emblem-gcov-covered-symbolic.svg
408 gps-emblem-gcov-uncovered-symbolic.svg
410 gps-emblem-libdir-closed.svg
411 gps-emblem-libdir-open.svg
412 gps-emblem-objdir-closed.svg
413 gps-emblem-objdir-open.svg
414 gps-emblem-project-closed.svg
415 gps-emblem-project-modified-closed.svg
416 gps-emblem-project-modified-open.svg
417 gps-emblem-project-open.svg
418 gps-emblem-project-root-closed.svg
419 gps-emblem-project-root-open.svg
420 gps-emblem-project-runtime-closed.svg
421 gps-emblem-project-runtime-open.svg
422 gps-hidden-item-symbolic.svg
423 gps-sync-to-local.svg
424 gps-sync-to-remote.svg
425 gps-unknown-item-symbolic.svg
426 share/gps/key_themes/
431 share/gps/key_themes/include/common.xml
443 copy_paste_toolbar.py
445 create_missing_dirs.py
465 prevent_project_edition.py
475 auto_highlight_occurrences.py
476 auto_highlight_occurrences.pyc
483 share/gps/plug-ins/memory_usage_providers/
490 share/gps/plug-ins/qgen/
499 share/gps/plug-ins/spark2014/
504 share/gps/support/core/
585 pre_processing_code.py
586 pre_processing_code.pyc
618 share/gps/support/core/GPS_old/
621 share/gps/support/core/clang/
628 share/gps/support/core/extensions/
631 share/gps/support/core/extensions/private/
636 share/gps/support/core/gps_utils/
644 gnatcheck_default.pyc
645 gnatcheck_rules_editor.py
646 gnatcheck_rules_editor.pyc
651 share/gps/support/core/gps_utils/internal/
670 share/gps/support/core/vcs/
688 share/gps/support/languages/
705 fortran_highlighter.py
706 fortran_highlighter.pyc
711 python_highlighter.py
712 python_highlighter.pyc
717 share/gps/support/languages/highlighter/
726 share/gps/support/ui/
745 locations_view_utils.py
746 locations_view_utils.pyc
759 share/gps/support/ui/GPS_doc/
766 share/gps/support/ui/pygps/
775 share/gps/support/ui/vcs2/
792 share/gps/support/ui/workflows/
797 share/gps/templates/ada_library_project/
800 share/gps/templates/ajis_hello/
804 share/gps/templates/ajis_hello/src_ada/
807 share/gps/templates/ajis_hello/src_java/com/adacore/example/@_Main_Name_@.java
808 share/gps/templates/aws_simple_web_server/
810 simple_web_server.gpt
811 share/gps/templates/aws_simple_web_server/src/
812 @_project_name_@-callbacks.adb
813 @_project_name_@-callbacks.ads
814 @_project_name_@-main.adb
816 share/gps/templates/aws_web_server/
819 share/gps/templates/aws_web_server/css/style.css
820 share/gps/templates/aws_web_server/img/gps_logo.png
821 share/gps/templates/aws_web_server/src/
822 @_project_name_@-dispatchers.adb
823 @_project_name_@-dispatchers.ads
824 @_project_name_@-main.adb
826 share/gps/templates/aws_web_server/tmplt/main.thtml
827 share/gps/templates/aws_web_server_blocks/
832 web_server_blocks.gpt
833 share/gps/templates/aws_web_server_blocks/css/style.css
834 share/gps/templates/aws_web_server_blocks/gen/templates.tada
835 share/gps/templates/aws_web_server_blocks/img/gps_logo.png
836 share/gps/templates/aws_web_server_blocks/js/
843 share/gps/templates/aws_web_server_blocks/src/
844 @_project_name_@-ajax.adb
845 @_project_name_@-ajax.ads
846 @_project_name_@-dispatchers.adb
847 @_project_name_@-dispatchers.ads
848 @_project_name_@-main.adb
849 @_project_name_@-web_blocks.adb
850 @_project_name_@-web_blocks.ads
852 share/gps/templates/aws_web_server_blocks/tmplt/
854 r_widget_counter.txml
856 share/gps/templates/gtkada_minimal/
859 share/gps/templates/gtkada_minimal/src/@_main_name_@.adb
860 share/gps/templates/microbit_example/
863 share/gps/templates/microbit_example/src/
873 share/gps/templates/simple_ada_project/
876 share/gps/templates/simple_ada_project/src/@_main_name_@.adb
877 share/gps/templates/simple_c_project/
880 share/gps/templates/simple_c_project/src/@_main_name_@.c
881 share/gps/templates/stm32f_leds/
884 share/gps/templates/stm32f_leds/src/
890 last_chance_handler.adb
891 last_chance_handler.ads
896 stm32f4-reset_clock_control.ads
897 stm32f4-sysconfig_control.ads
901 [FILE:1732:patches/patch-Makefile.in]
902 --- Makefile.in.orig 2018-05-10 06:26:58 UTC
904 @@ -3,17 +3,16 @@ MV = mv
913 -INSTALL_PROGRAM = @INSTALL_PROGRAM@
914 -INSTALL_DATA = @INSTALL_DATA@
915 -GNATCOLL_INSTALL = @GNATCOLL_INSTALL@
916 +PYTHON = $(PYTHON_CMD)
917 +INSTALL_PROGRAM = $(BSD_INSTALL_PROGRAM)
918 +INSTALL_DATA = $(BSD_INSTALL_DATA)
921 -bindir = $(prefix)/bin
922 -sharedir = $(prefix)/share
923 -examplesdir = $(prefix)/share/examples/gps
924 +bindir = $(DESTDIR)$(prefix)/bin
925 +sharedir = $(DESTDIR)$(prefix)/share
926 +examplesdir = $(DESTDIR)$(prefix)/share/examples/gps
928 SYS := $(shell gcc -dumpmachine)
930 @@ -53,14 +52,6 @@ ifeq ($(OS),Windows_NT)
931 share/support/core/vcs/_subversion_ \
932 > share/support/core/vcs/subversion_native_windows.py
934 - $(RM) -f $(sharedir)/gps/GPS_old
935 - $(RM) -rf $(sharedir)/gps/color_themes/
936 - $(RM) -rf $(sharedir)/gps/library/
937 - $(RM) -rf $(sharedir)/gps/plug-ins/
938 - $(RM) -rf $(sharedir)/gps/support/core/
939 - $(RM) -rf $(sharedir)/gps/support/ui/
940 - ${RM} ${sharedir}/gps/perspectives.xml
941 - $(RMDIR) $(sharedir)/gps/templates
943 (cd share; tar cf - plug-ins/*) | (cd $(sharedir)/gps; tar xf -)
944 ifeq ($(OS),Windows_NT)
945 @@ -108,7 +99,7 @@ endif
947 $(MAKE) -C common/expect install
949 - $(INSTALL_PROGRAM) gps/obj/gps $(bindir)
950 + $(INSTALL_PROGRAM) gps/obj/gps $(bindir)/gps_exe
951 $(INSTALL_PROGRAM) cli/obj/gnatdoc $(bindir)
952 $(INSTALL_PROGRAM) cli/obj/gps_cli $(bindir)
953 ifneq ($(GNATCOLL_INSTALL),)
956 [FILE:398:patches/patch-common_core_src_os-utils.c]
957 --- common/core/src/os-utils.c.orig 2018-05-29 06:41:27 UTC
958 +++ common/core/src/os-utils.c
971 -__gps_subdirectories_count (name)
972 +__gps_subdirectories_count (char *name)
978 [FILE:1124:patches/patch-docs_Makefile.in]
979 --- docs/Makefile.in.orig 2018-03-05 13:39:57 UTC
983 -docdir = $(prefix)/share/doc/gps
984 -sharedir = $(prefix)/share/gps
985 +docdir = $(DESTDIR)$(prefix)/share/doc/gps
986 +sharedir = $(DESTDIR)$(prefix)/share/gps
990 -INSTALL_DATA = @INSTALL_DATA@
991 +INSTALL_DATA = $(BSD_INSTALL_DATA)
995 @@ -12,26 +11,26 @@ all: ug tutorial gps_pg relnotes relnote
999 - make -C programmers_guide html
1000 + $(MAKE) -C programmers_guide html
1003 - make -C release_notes singlehtml
1004 + $(MAKE) -C release_notes singlehtml
1007 - make -C release_notes_17 singlehtml
1008 + $(MAKE) -C release_notes_17 singlehtml
1011 - make -C release_notes_62 singlehtml
1012 + $(MAKE) -C release_notes_62 singlehtml
1015 - make -C users_guide html latexpdf
1016 + $(MAKE) -C users_guide html
1019 - make -C ../gnatdoc/docs/users_guide html latexpdf
1020 + $(MAKE) -C ../gnatdoc/docs/users_guide html
1024 - make -C tutorial html
1025 + $(MAKE) -C tutorial html
1031 [FILE:331:patches/patch-gnatdoc_gnatdoc.gpr]
1032 --- gnatdoc/gnatdoc.gpr.orig 2018-05-29 06:41:17 UTC
1033 +++ gnatdoc/gnatdoc.gpr
1034 @@ -15,5 +15,8 @@ project GNATdoc is
1036 package Compiler renames Shared.Compiler;
1037 package Documentation renames Shared.Documentation;
1039 + for Linker_Options use ("-Wl,-rpath,@PREFIX@/lib");
1045 [FILE:180:patches/patch-gps_Makefile]
1046 --- gps/Makefile.orig 2018-03-05 13:39:58 UTC
1048 @@ -17,7 +17,7 @@ endif
1053 +PYTHON=${PYTHON_CMD}
1059 [FILE:290:patches/patch-gps_gps.gpr]
1060 --- gps/gps.gpr.orig 2018-05-29 06:41:17 UTC
1062 @@ -96,6 +96,7 @@ project GPS is
1064 -- for Switches ("Ada") use ("-lgmem");
1065 -- for Switches ("Ada") use ("-pg");
1066 + for Linker_Options use ("-Wl,-rpath,@PREFIX@/lib");
1072 [FILE:1300:patches/patch-share_plug-ins_dispatching.py]
1073 --- share/plug-ins/dispatching.py.orig 2018-03-05 13:39:59 UTC
1074 +++ share/plug-ins/dispatching.py
1075 @@ -39,11 +39,8 @@ class Dispatching_Highlighter(Location_H
1076 GPS.Hook("file_edited").add(self.__on_file_edited)
1077 GPS.Hook("file_changed_on_disk").add(self.__on_file_edited)
1079 - if GPS.Logger("ENTITIES.SQLITE").active:
1080 - GPS.Hook("xref_updated").add(self.__on_compilation_finished)
1082 - GPS.Hook("compilation_finished").add(
1083 - self.__on_compilation_finished)
1084 + GPS.Hook("compilation_finished").add(
1085 + self.__on_compilation_finished)
1088 Location_Highlighter.__del__(self)
1089 @@ -51,11 +48,8 @@ class Dispatching_Highlighter(Location_H
1090 GPS.Hook("file_edited").remove(self.__on_file_edited)
1091 GPS.Hook("file_changed_on_disk").remove(self.__on_file_edited)
1093 - if GPS.Logger("ENTITIES.SQLITE").active:
1094 - GPS.Hook("xref_updated").remove(self.__on_compilation_finished)
1096 - GPS.Hook("compilation_finished").remove(
1097 - self.__on_compilation_finished)
1098 + GPS.Hook("compilation_finished").remove(
1099 + self.__on_compilation_finished)
1101 def __on_preferences_changed(self, hook):
1105 [FILE:557:patches/patch-widgets_widgets.gpr]
1106 --- widgets/widgets.gpr.orig 2018-05-29 06:41:17 UTC
1107 +++ widgets/widgets.gpr
1108 @@ -6,7 +6,10 @@ with "../gnatcoll_extras/gnatcoll_extras
1111 for Languages use ("C", "Ada");
1112 - for Source_Dirs use ("src");
1113 + for Source_Dirs use ("src", "@PREFIX@/include/gtk-3.0",
1114 + "@PREFIX@/include/glib-2.0", "@PREFIX@/include/pango-1.0",
1115 + "@PREFIX@/include/cairo", "@PREFIX@/include/gdk-pixbuf-2.0",
1116 + "@PREFIX@/include/atk-1.0", "@PREFIX@/lib/glib-2.0/include");
1117 for Object_Dir use Shared'Object_Dir;
1122 [FILE:514:files/gps.in]
1125 # GPS wrapper written by John Marino
1126 # It sets ADA_PROJECT_PATH in environment if unset
1127 # It also adds the path to the default Ada toolchain if not already present
1130 VIAS=$(echo ${PATH} | /usr/bin/tr ":" " ")
1132 if [ -z "${ADA_PROJECT_PATH}" ]
1134 ADA_PROJECT_PATH=%%PREFIX%%/lib/gnat
1135 export ADA_PROJECT_PATH
1141 [ "${via}" = "%%ADA_PATH%%" ] && FOUND=1;
1144 if [ ${FOUND} -eq 0 ]
1146 PATH=${PATH}:%%ADA_PATH%%
1150 exec "%%PREFIX%%/bin/gps_exe" "$@"