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

math/alt-ergo: Moved man to share/man 

Approved by:    portmgr (blanket)
This commit is contained in:
Muhammad Moinur Rahman 2024-02-24 19:06:16 +01:00
parent 6eb91a9910
commit 1189805d57
No known key found for this signature in database
GPG Key ID: BDB9B5A617C0BC91
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
math/alt-ergo/Makefile
View File

@ -1,6 +1,6 @@
PORTNAME= alt-ergo
PORTVERSION= 0.95.2
PORTREVISION= 4
PORTREVISION= 5
CATEGORIES= math
MASTER_SITES= http://alt-ergo.ocamlpro.com/http/alt-ergo-${PORTVERSION}/
@ -23,6 +23,7 @@ RUN_DEPENDS= ocaml-ocamlgraph>1.8:math/ocaml-ocamlgraph \
ocaml-lablgtk2>=0:x11-toolkits/ocaml-lablgtk2
GNU_CONFIGURE= yes
GNU_CONFIGURE_MANPREFIX=${PREFIX}/share
USES= gmake
USE_OCAML= yes
ALL_TARGET= opt pack xpack META

2
math/alt-ergo/pkg-plist
View File

@ -4,4 +4,4 @@ lib/ocaml/alt-ergo/altErgo.cmi
lib/ocaml/alt-ergo/altErgo.cmo
lib/ocaml/alt-ergo/altErgo.cmx
lib/ocaml/alt-ergo/altErgo.o
man/man1/alt-ergo.1.gz
share/man/man1/alt-ergo.1.gz