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

lang/polyml: Moved man to share/man

Browse source 
Approved by:    portmgr (blanket)
This commit is contained in:
Muhammad Moinur Rahman 2024-02-24 17:11:34 +01:00
parent 5ca8ed44b7
commit 06ea1a75c9
No known key found for this signature in database
GPG key ID: BDB9B5A617C0BC91
2 changed files with 5 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
lang/polyml/Makefile
View file

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

6
lang/polyml/pkg-plist
View file

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