diff options
Diffstat (limited to 'dev-ml/core_unix/core_unix-0.15.2-r1.ebuild')
-rw-r--r-- | dev-ml/core_unix/core_unix-0.15.2-r1.ebuild | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/dev-ml/core_unix/core_unix-0.15.2-r1.ebuild b/dev-ml/core_unix/core_unix-0.15.2-r1.ebuild index c543a96d0275..ae132f20399d 100644 --- a/dev-ml/core_unix/core_unix-0.15.2-r1.ebuild +++ b/dev-ml/core_unix/core_unix-0.15.2-r1.ebuild @@ -2,7 +2,7 @@ # Distributed under the terms of the GNU General Public License v2 EAPI=8 -inherit dune +inherit dune toolchain-funcs DESCRIPTION="Unix-specific portions of Core" HOMEPAGE="https://github.com/janestreet/core_unix" @@ -25,3 +25,14 @@ DEPEND=" " RDEPEND="${DEPEND}" BDEPEND="" + +PATCHES=( "${FILESDIR}"/${P}-musl.patch ) + +src_prepare() { + sed -i \ + -e "s:gcc:$(tc-getCC):" \ + unix_pseudo_terminal/src/discover.sh \ + || die + + default +} |