diff options
Diffstat (limited to 'dev-lang/polyml/polyml-5.6.ebuild')
| -rw-r--r-- | dev-lang/polyml/polyml-5.6.ebuild | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/dev-lang/polyml/polyml-5.6.ebuild b/dev-lang/polyml/polyml-5.6.ebuild index 6cdf4fdd6fb5..1182c2d0766c 100644 --- a/dev-lang/polyml/polyml-5.6.ebuild +++ b/dev-lang/polyml/polyml-5.6.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2018 Gentoo Foundation +# Copyright 1999-2019 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI="6" @@ -20,6 +20,8 @@ RDEPEND="X? ( x11-libs/motif:0 ) virtual/libffi" DEPEND="${RDEPEND}" +PATCHES=( "${FILESDIR}"/${P}-configure.patch ) + src_prepare() { default eautoreconf |