diff options
Diffstat (limited to 'dev-ada/gnatcoll/gnatcoll-2017.ebuild')
| -rw-r--r-- | dev-ada/gnatcoll/gnatcoll-2017.ebuild | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/dev-ada/gnatcoll/gnatcoll-2017.ebuild b/dev-ada/gnatcoll/gnatcoll-2017.ebuild index 21b6e39c137f..9656c9a094eb 100644 --- a/dev-ada/gnatcoll/gnatcoll-2017.ebuild +++ b/dev-ada/gnatcoll/gnatcoll-2017.ebuild @@ -16,7 +16,7 @@ LICENSE="GPL-3" SLOT="0" KEYWORDS="~amd64" IUSE="gmp gnat_2016 gnat_2017 gtk iconv postgresql pygobject projects readline - +shared sqlite static syslog" + +shared sqlite static syslog tools" RDEPEND="gnat_2016? ( dev-lang/gnat-gpl:4.9.4 ) gnat_2017? ( dev-lang/gnat-gpl:6.3.0 ) @@ -101,6 +101,10 @@ src_compile() { emake PROCESSORS=$(makeopts_jobs) GPRBUILD_OPTIONS=-v GCC=${GCC} \ build_library_type/static fi + if use tools; then + emake PROCESSORS=$(makeopts_jobs) GPRBUILD_OPTIONS=-v GCC=${GCC} \ + build_tools/static + fi python_fix_shebang . } @@ -111,6 +115,9 @@ src_install() { if use static; then emake prefix="${D}usr" install_library_type/static fi + if use tools; then + emake prefix="${D}usr" install_tools/static + fi emake prefix="${D}usr" install_gps_plugin einstalldocs } |