diff options
| -rw-r--r-- | dev-ml/num/num-1.5.ebuild | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/dev-ml/num/num-1.5.ebuild b/dev-ml/num/num-1.5.ebuild index baaacdcf8f0e..f8dc825a611d 100644 --- a/dev-ml/num/num-1.5.ebuild +++ b/dev-ml/num/num-1.5.ebuild @@ -22,6 +22,10 @@ DEPEND="dev-ml/findlib:=[ocamlopt?]" src_compile() { emake CFLAGS="${CFLAGS}" \ NATDYNLINK="$(usex ocamlopt true false)" \ + NATIVE_COMPILER="$(usex ocamlopt true false)" \ + -C src num_top.ml + emake CFLAGS="${CFLAGS}" \ + NATDYNLINK="$(usex ocamlopt true false)" \ NATIVE_COMPILER="$(usex ocamlopt true false)" } |