diff options
author | Piotr Kubaj <pkubaj@FreeBSD.org> | 2021-03-26 02:05:33 +0000 |
---|---|---|
committer | Piotr Kubaj <pkubaj@FreeBSD.org> | 2021-03-26 02:05:33 +0000 |
commit | 16f1232d872bda55243db2c8833ffc8d75b5985a (patch) | |
tree | b91273b62193ec6bcd2414a996581127979a122d /lang | |
parent | 171ff9818111297babdba633ed23f8b8a78d00a1 (diff) | |
download | ports-16f1232d872bda55243db2c8833ffc8d75b5985a.tar.gz ports-16f1232d872bda55243db2c8833ffc8d75b5985a.zip |
lang/ocaml: fix packaging on armv6
pkg-static: Unable to access file /wrkdirs/usr/ports/lang/ocaml/work/stage/usr/local/lib/ocaml/raw_spacetime_lib.a:No such file or directory
pkg-static: Unable to access file /wrkdirs/usr/ports/lang/ocaml/work/stage/usr/local/lib/ocaml/raw_spacetime_lib.cma:No such file or directory
pkg-static: Unable to access file /wrkdirs/usr/ports/lang/ocaml/work/stage/usr/local/lib/ocaml/raw_spacetime_lib.cmi:No such file or directory
pkg-static: Unable to access file /wrkdirs/usr/ports/lang/ocaml/work/stage/usr/local/lib/ocaml/raw_spacetime_lib.cmx:No such file or directory
pkg-static: Unable to access file /wrkdirs/usr/ports/lang/ocaml/work/stage/usr/local/lib/ocaml/raw_spacetime_lib.cmxa:No such file or directory
pkg-static: Unable to access file /wrkdirs/usr/ports/lang/ocaml/work/stage/usr/local/lib/ocaml/raw_spacetime_lib.cmxs:No such file or directory
pkg-static: Unable to access file /wrkdirs/usr/ports/lang/ocaml/work/stage/usr/local/lib/ocaml/raw_spacetime_lib.mli:No such file or directory
Notes
Notes:
svn path=/head/; revision=569239
Diffstat (limited to 'lang')
-rw-r--r-- | lang/ocaml/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lang/ocaml/Makefile b/lang/ocaml/Makefile index 3d5f2cec1c6d..24fcda7004b2 100644 --- a/lang/ocaml/Makefile +++ b/lang/ocaml/Makefile @@ -166,7 +166,7 @@ post-install: ${INSTALL_DATA} ${_DISTDIR}${DOCSDISTNAME}-refman.pdf ${STAGEDIR}${DOCSDIR} .endif # Spacetime profiling is only available for native code on 64-bit targets -.if ${ARCH} == armv7 || ${ARCH} == i386 || ${ARCH} == powerpc +.if ${ARCH} == armv6 || ${ARCH} == armv7 || ${ARCH} == i386 || ${ARCH} == powerpc @${REINPLACE_CMD} -e '/raw_spacetime_lib/d' ${TMPPLIST} .endif |