diff options
Diffstat (limited to 'dev-ml/facile/facile-1.1.3.ebuild')
-rw-r--r-- | dev-ml/facile/facile-1.1.3.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-ml/facile/facile-1.1.3.ebuild b/dev-ml/facile/facile-1.1.3.ebuild index 1f3ed1639553..ee8d7e1d75be 100644 --- a/dev-ml/facile/facile-1.1.3.ebuild +++ b/dev-ml/facile/facile-1.1.3.ebuild @@ -37,7 +37,7 @@ src_prepare() { fi } -src_configure(){ +src_configure() { # This is a custom configure script and it does not support standard options ./configure --faciledir "${D}"$(ocamlc -where)/facile/ || die } @@ -46,7 +46,7 @@ src_test() { emake check } -src_install(){ +src_install() { dodir $(ocamlc -where) emake install einstalldocs |