kpriv
/
freebsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

math/spot: Move man pages to share/man 

Approved by:	portmgr (blanket)
This commit is contained in:
Nuno Teixeira 2024-03-12 11:59:38 +00:00
parent f1443afcb3
commit ec04816428
2 changed files with 18 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
math/spot/Makefile
View File

@ -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

32
math/spot/pkg-plist
View File

@ -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