diff options
Diffstat (limited to 'dev-ml/dose3/dose3-4.3.ebuild')
| -rw-r--r-- | dev-ml/dose3/dose3-4.3.ebuild | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ml/dose3/dose3-4.3.ebuild b/dev-ml/dose3/dose3-4.3.ebuild index 681c3b5d8124..4b279d4fcb3b 100644 --- a/dev-ml/dose3/dose3-4.3.ebuild +++ b/dev-ml/dose3/dose3-4.3.ebuild @@ -41,6 +41,7 @@ RESTRICT="test" S="${WORKDIR}/${MY_P}" src_prepare() { + epatch "${FILESDIR}/ocamlgraph.patch" sed -e 's/INSTALLOPTS=-s/INSTALLOPTS=/' -i Makefile.config.in || die } |