|
Lines 6-12
Link Here
|
| 6 |
# |
6 |
# |
| 7 |
|
7 |
|
| 8 |
PORTNAME= gri |
8 |
PORTNAME= gri |
| 9 |
PORTVERSION= 2.12.10 |
9 |
PORTVERSION= 2.12.11 |
| 10 |
CATEGORIES= math |
10 |
CATEGORIES= math |
| 11 |
MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} |
11 |
MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} |
| 12 |
MASTER_SITE_SUBDIR= ${PORTNAME} |
12 |
MASTER_SITE_SUBDIR= ${PORTNAME} |
|
Lines 23-37
Link Here
|
| 23 |
|
23 |
|
| 24 |
GNU_CONFIGURE= yes |
24 |
GNU_CONFIGURE= yes |
| 25 |
CONFIGURE_ARGS= --enable-FreeBSD |
25 |
CONFIGURE_ARGS= --enable-FreeBSD |
| 26 |
CONFIGURE_TARGET=--build=${MACHINE_ARCH}-portbld-freebsd${OSREL} |
|
|
| 27 |
USE_GMAKE= yes |
26 |
USE_GMAKE= yes |
| 28 |
REINPLACE_ARGS= -Ei.bak |
27 |
REINPLACE_ARGS= -Ei.bak |
| 29 |
MAKE_ENV+= MAKEINFOFLAGS=--no-split |
28 |
MAKE_ENV+= MAKEINFOFLAGS=--no-split |
| 30 |
|
29 |
|
| 31 |
MAN1= gri.1 gri_merge.1 gri_unpage.1 |
30 |
MAN1= gri.1 gri_merge.1 gri_unpage.1 |
| 32 |
.if !defined(NOPORTDOCS) |
31 |
INFO= gri |
| 33 |
INFO= gri |
|
|
| 34 |
.endif |
| 35 |
|
32 |
|
| 36 |
post-patch: |
33 |
post-patch: |
| 37 |
.if defined(NOPORTDOCS) |
34 |
.if defined(NOPORTDOCS) |
|
Lines 39-45
Link Here
|
| 39 |
.endif |
36 |
.endif |
| 40 |
|
37 |
|
| 41 |
post-install: |
38 |
post-install: |
| 42 |
.if !defined(NOPORTDOCS) |
39 |
.if defined(NOPORTDOCS) |
| 43 |
${INSTALL_MAN} ${WRKSRC}/doc/gri-manpage.1 ${MANPREFIX}/man/man1/gri.1 |
40 |
${INSTALL_MAN} ${WRKSRC}/doc/gri-manpage.1 ${MANPREFIX}/man/man1/gri.1 |
| 44 |
${INSTALL_MAN} ${WRKSRC}/doc/gri_merge.1-skel ${MANPREFIX}/man/man1/gri_merge.1 |
41 |
${INSTALL_MAN} ${WRKSRC}/doc/gri_merge.1-skel ${MANPREFIX}/man/man1/gri_merge.1 |
| 45 |
${INSTALL_MAN} ${WRKSRC}/doc/gri_unpage.1-skel ${MANPREFIX}/man/man1/gri_unpage.1 |
42 |
${INSTALL_MAN} ${WRKSRC}/doc/gri_unpage.1-skel ${MANPREFIX}/man/man1/gri_unpage.1 |