sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-07-18 01:39:16 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

devel/ppl: Move man pages to share/man

Browse source 
Approved by:	portmgr (blanket)
This commit is contained in:
Nuno Teixeira 2024-03-06 12:06:46 +00:00
parent 778770d41f
commit a45b604cbd
2 changed files with 8 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
devel/ppl/Makefile
View file

@ -1,5 +1,6 @@
PORTNAME= ppl
PORTVERSION= 1.2
PORTREVISION= 1
CATEGORIES= devel
MASTER_SITES= ftp://ftp.cs.unipr.it/pub/ppl/releases/${PORTVERSION}/ \
http://bugseng.com/products/ppl/download/ftp/releases/${PORTVERSION}/
@ -21,6 +22,7 @@ USE_LDCONFIG= yes
USE_PERL5= build
GNU_CONFIGURE= yes
GNU_CONFIGURE_MANPREFIX= ${PREFIX}/share
CONFIGURE_ARGS= --disable-debugging \
--enable-optimization \
--enable-documentation \

12
devel/ppl/pkg-plist
View file

@ -12,11 +12,11 @@ lib/libppl_c.a
lib/libppl_c.so
lib/libppl_c.so.4
lib/libppl_c.so.4.0.0
man/man1/ppl-config.1.gz
man/man1/ppl_lcdd.1.gz
man/man1/ppl_lpsol.1.gz
man/man1/ppl_pips.1.gz
man/man3/libppl.3.gz
man/man3/libppl_c.3.gz
share/aclocal/ppl.m4
share/aclocal/ppl_c.m4
share/man/man1/ppl-config.1.gz
share/man/man1/ppl_lcdd.1.gz
share/man/man1/ppl_lpsol.1.gz
share/man/man1/ppl_pips.1.gz
share/man/man3/libppl.3.gz
share/man/man3/libppl_c.3.gz