diff options
Diffstat (limited to 'devel/cil/Makefile')
-rw-r--r-- | devel/cil/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/devel/cil/Makefile b/devel/cil/Makefile index 3db008383c59..a8fe1d646de3 100644 --- a/devel/cil/Makefile +++ b/devel/cil/Makefile @@ -14,7 +14,8 @@ LICENSE_FILE= ${WRKSRC}/LICENSE CONFLICTS= ccured -BUILD_DEPENDS= ocamlbuild:devel/ocaml-ocamlbuild +BUILD_DEPENDS= ocamlbuild:devel/ocaml-ocamlbuild \ + ${LOCALBASE}/${OCAML_SITELIBDIR}/num/META:math/ocaml-num ONLY_FOR_ARCHS= amd64 armv7 i386 powerpc powerpc64 powerpc64le USES= gmake perl5 |