Date: Tue, 12 Mar 2024 12:05:01 GMT From: Nuno Teixeira <eduardo@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: ec0481642865 - main - math/spot: Move man pages to share/man Message-ID: <202403121205.42CC510Y014453@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by eduardo: URL: https://cgit.FreeBSD.org/ports/commit/?id=ec04816428651cbd3162be727c7c0c1b111a184d commit ec04816428651cbd3162be727c7c0c1b111a184d Author: Nuno Teixeira <eduardo@FreeBSD.org> AuthorDate: 2024-03-12 11:59:38 +0000 Commit: Nuno Teixeira <eduardo@FreeBSD.org> CommitDate: 2024-03-12 12:04:30 +0000 math/spot: Move man pages to share/man Approved by: portmgr (blanket) --- math/spot/Makefile | 2 ++ math/spot/pkg-plist | 32 ++++++++++++++++---------------- 2 files changed, 18 insertions(+), 16 deletions(-) diff --git a/math/spot/Makefile b/math/spot/Makefile index 7e6ea7a954ee..125b70e4bffe 100644 --- a/math/spot/Makefile +++ b/math/spot/Makefile @@ -1,5 +1,6 @@ PORTNAME= spot DISTVERSION= 2.11.6 +PORTREVISION= 1 CATEGORIES= math MASTER_SITES= http://www.lrde.epita.fr/dload/${PORTNAME}/ @@ -18,6 +19,7 @@ USES= charsetfix compiler:c++17-lang gmake libtool python:test USE_LDCONFIG= yes GNU_CONFIGURE= yes +GNU_CONFIGURE_MANPREFIX= ${PREFIX}/share .if !defined(WITH_PYTHON) # math/py-spot is a separate port but tests don't work there. To test run: make test WITH_PYTHON=yes CONFIGURE_ARGS= --disable-python --disable-static .else diff --git a/math/spot/pkg-plist b/math/spot/pkg-plist index 927a9f807b45..a9dc13b1db52 100644 --- a/math/spot/pkg-plist +++ b/math/spot/pkg-plist @@ -212,19 +212,19 @@ libdata/pkgconfig/libbddx.pc libdata/pkgconfig/libspot.pc libdata/pkgconfig/libspotgen.pc libdata/pkgconfig/libspotltsmin.pc -man/man1/autcross.1.gz -man/man1/autfilt.1.gz -man/man1/dstar2tgba.1.gz -man/man1/genaut.1.gz -man/man1/genltl.1.gz -man/man1/ltl2tgba.1.gz -man/man1/ltl2tgta.1.gz -man/man1/ltlcross.1.gz -man/man1/ltldo.1.gz -man/man1/ltlfilt.1.gz -man/man1/ltlgrind.1.gz -man/man1/ltlsynt.1.gz -man/man1/randaut.1.gz -man/man1/randltl.1.gz -man/man7/spot-x.7.gz -man/man7/spot.7.gz +share/man/man1/autcross.1.gz +share/man/man1/autfilt.1.gz +share/man/man1/dstar2tgba.1.gz +share/man/man1/genaut.1.gz +share/man/man1/genltl.1.gz +share/man/man1/ltl2tgba.1.gz +share/man/man1/ltl2tgta.1.gz +share/man/man1/ltlcross.1.gz +share/man/man1/ltldo.1.gz +share/man/man1/ltlfilt.1.gz +share/man/man1/ltlgrind.1.gz +share/man/man1/ltlsynt.1.gz +share/man/man1/randaut.1.gz +share/man/man1/randltl.1.gz +share/man/man7/spot-x.7.gz +share/man/man7/spot.7.gz
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202403121205.42CC510Y014453>