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

devel/splint: Move man pages to share/man

Browse source 
Approved by:	portmgr (blanket)
This commit is contained in:
Nuno Teixeira 2024-03-06 12:39:24 +00:00
parent 4877728ebc
commit e23e46cd74
2 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
devel/splint/Makefile
View file

@ -1,5 +1,6 @@
PORTNAME= splint
PORTVERSION= 3.1.2
PORTREVISION= 1
CATEGORIES= devel security
MASTER_SITES= http://www.splint.org/downloads/
EXTRACT_SUFX= .src.tgz
@ -12,6 +13,7 @@ LICENSE= GPLv2+
USES= gmake
GNU_CONFIGURE= yes
GNU_CONFIGURE_MANPREFIX= ${PREFIX}/share
CONFIGURE_ENV= BISON=no
MAKE_JOBS_UNSAFE= yes

2
devel/splint/pkg-plist
View file

@ -1,5 +1,5 @@
bin/splint
man/man1/splint.1.gz
share/man/man1/splint.1.gz
%%DATADIR%%/imports/assert.lcl
%%DATADIR%%/imports/assert.lcs
%%DATADIR%%/imports/ctype.lcl