diff options
| author | Piotr Kubaj <pkubaj@FreeBSD.org> | 2021-08-21 11:29:06 +0000 |
|---|---|---|
| committer | Piotr Kubaj <pkubaj@FreeBSD.org> | 2021-08-21 11:29:06 +0000 |
| commit | 554fb474a1b2dd61fb531658fb7c69fccccc38ed (patch) | |
| tree | b36ba0f1085dfd3a9a29fc6365656942c732d768 /devel | |
| parent | graphics/tumble: Set maintainer to ports@ (diff) | |
devel/ocaml-findlib: fix packaging on armv7
Same issue as on i386, powerpc and powerpcspe.
Diffstat (limited to 'devel')
| -rw-r--r-- | devel/ocaml-findlib/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devel/ocaml-findlib/Makefile b/devel/ocaml-findlib/Makefile index da07d7f335f0..047ea5c78bd5 100644 --- a/devel/ocaml-findlib/Makefile +++ b/devel/ocaml-findlib/Makefile @@ -44,7 +44,7 @@ post-install: ${OCAML_SITELIBDIR}/findlib/findlib_dynload.cmxs \ ${OCAML_SITELIBDIR}/findlib/findlib_top.cmxs # Spacetime profiling is only available for native code on 64-bit targets -.if ${ARCH} == i386 || ${ARCH} == powerpc || ${ARCH} == powerpcspe +.if ${ARCH} == armv7 || ${ARCH} == i386 || ${ARCH} == powerpc || ${ARCH} == powerpcspe @${REINPLACE_CMD} -e '/raw_spacetime/d' ${TMPPLIST} .endif |