Date: Sat, 24 Feb 2024 16:12:51 GMT From: Muhammad Moinur Rahman <bofh@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 06ea1a75c9ed - main - lang/polyml: Moved man to share/man Message-ID: <202402241612.41OGCpwS091077@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by bofh: URL: https://cgit.FreeBSD.org/ports/commit/?id=06ea1a75c9ed0f7d8c2b0b5a4ee7f05d456fa7e5 commit 06ea1a75c9ed0f7d8c2b0b5a4ee7f05d456fa7e5 Author: Muhammad Moinur Rahman <bofh@FreeBSD.org> AuthorDate: 2024-02-24 16:11:34 +0000 Commit: Muhammad Moinur Rahman <bofh@FreeBSD.org> CommitDate: 2024-02-24 16:12:21 +0000 lang/polyml: Moved man to share/man Approved by: portmgr (blanket) --- lang/polyml/Makefile | 2 ++ lang/polyml/pkg-plist | 6 +++--- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/lang/polyml/Makefile b/lang/polyml/Makefile index 26268ffb1615..9b5189465d7d 100644 --- a/lang/polyml/Makefile +++ b/lang/polyml/Makefile @@ -1,5 +1,6 @@ PORTNAME= polyml PORTVERSION= 5.9.1 +PORTREVISION= 1 DISTVERSIONPREFIX= v CATEGORIES= lang DIST_SUBDIR= ${PORTNAME} @@ -19,6 +20,7 @@ USE_GITHUB= yes USE_LDCONFIG= yes GNU_CONFIGURE= yes +GNU_CONFIGURE_MANPREFIX=${PREFIX}/share CONFIGURE_ARGS= --with-system-libffi --enable-shared INSTALL_TARGET= install-strip diff --git a/lang/polyml/pkg-plist b/lang/polyml/pkg-plist index ecef77b90b9f..744ab17237c0 100644 --- a/lang/polyml/pkg-plist +++ b/lang/polyml/pkg-plist @@ -7,6 +7,6 @@ lib/libpolyml.so lib/libpolyml.so.14 lib/libpolyml.so.14.0.0 libdata/pkgconfig/polyml.pc -man/man1/poly.1.gz -man/man1/polyc.1.gz -man/man1/polyimport.1.gz +share/man/man1/poly.1.gz +share/man/man1/polyc.1.gz +share/man/man1/polyimport.1.gz
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202402241612.41OGCpwS091077>