diff options
| author | John Marino <marino@FreeBSD.org> | 2015-06-27 05:45:12 +0000 |
|---|---|---|
| committer | John Marino <marino@FreeBSD.org> | 2015-06-27 05:45:12 +0000 |
| commit | 631c533d91faf322c87950d628bee284873e0d32 (patch) | |
| tree | bf360fee7103848eb514492ee0b1258b31ff1a93 /x11-toolkits/gtkada3 | |
| parent | bf1183eb68b873f5bdeabea9eee4420caf59a7c8 (diff) | |
| download | ports-631c533d91faf322c87950d628bee284873e0d32.tar.gz ports-631c533d91faf322c87950d628bee284873e0d32.zip | |
x11-tools/gtkada3: Fix build when DOCS option is deselected
(Note: The vast majority of users should never deselected docs --
These appear on the GPS IDE menu and most users are only building gtkada3
to build GPS. But it is an option and thus needs to be supported)
While here, strip two libraries.
PR: 201137
Submitted by: amdmi3
Notes
Notes:
svn path=/head/; revision=390691
Diffstat (limited to 'x11-toolkits/gtkada3')
| -rw-r--r-- | x11-toolkits/gtkada3/Makefile | 1 | ||||
| -rw-r--r-- | x11-toolkits/gtkada3/files/patch-docs_Makefile.in | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/x11-toolkits/gtkada3/Makefile b/x11-toolkits/gtkada3/Makefile index 71c8b85006f3..3ad1bb3c1836 100644 --- a/x11-toolkits/gtkada3/Makefile +++ b/x11-toolkits/gtkada3/Makefile @@ -71,5 +71,6 @@ post-install: (cd ${STAGEDIR}${PREFIX}/lib && \ ${LN} -s gtkada/relocatable/libgtkada.so.3.8.3 libgtkada.so && \ ${LN} -s gtkada/relocatable/libgtkada_gl.so.3.8.3 libgtkada_gl.so) + ${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/gtkada/relocatable/lib*.so.3.8.3 .include <bsd.port.mk> diff --git a/x11-toolkits/gtkada3/files/patch-docs_Makefile.in b/x11-toolkits/gtkada3/files/patch-docs_Makefile.in index 55e6273db50a..2fc360ffc722 100644 --- a/x11-toolkits/gtkada3/files/patch-docs_Makefile.in +++ b/x11-toolkits/gtkada3/files/patch-docs_Makefile.in @@ -13,7 +13,7 @@ $(MKDIR) ${DESTDIR}$(docdir)/gtkada_ug/ -$(CP) -r gtkada_ug/_build/html/* ${DESTDIR}$(docdir)/gtkada_ug/ - -$(CP) -r gtkada_ug/_build/latex/GtkAda.pdf ${DESTDIR}$(docdir)/gtkada_ug/ -+ $(CP) -r gtkada_rm_pregen/gtkada_rm ${DESTDIR}$(docdir)/ ++ -$(CP) -r gtkada_rm_pregen/gtkada_rm ${DESTDIR}$(docdir)/ clean:: ${MAKE} -C gtkada_rm clean |