2000-12-18 05:17:22 -05:00
|
|
|
# New ports collection makefile for: GLPK
|
|
|
|
|
# Date created: 16 December 2000
|
|
|
|
|
# Whom: Dmitry Sivachenko <demon@FreeBSD.org>
|
|
|
|
|
#
|
|
|
|
|
# $FreeBSD$
|
|
|
|
|
#
|
|
|
|
|
|
|
|
|
|
PORTNAME= glpk
|
2002-07-18 04:45:19 -04:00
|
|
|
PORTVERSION= 3.2
|
2000-12-18 05:17:22 -05:00
|
|
|
CATEGORIES= math
|
2001-03-30 07:22:46 -05:00
|
|
|
MASTER_SITES= ${MASTER_SITE_GNU} \
|
|
|
|
|
http://people.freebsd.org/~demon/distfiles/
|
2000-12-18 05:17:22 -05:00
|
|
|
MASTER_SITE_SUBDIR= glpk
|
|
|
|
|
|
|
|
|
|
MAINTAINER= demon@FreeBSD.org
|
|
|
|
|
|
|
|
|
|
GNU_CONFIGURE= yes
|
|
|
|
|
|
2002-07-18 04:45:19 -04:00
|
|
|
DOCFILES= lang refman
|
2001-03-13 06:55:18 -05:00
|
|
|
|
|
|
|
|
post-install:
|
|
|
|
|
.if !defined(NOPORTDOCS)
|
2001-07-15 04:21:18 -04:00
|
|
|
@${MKDIR} ${DOCSDIR}
|
2001-03-13 06:55:18 -05:00
|
|
|
for file in ${DOCFILES} ; do \
|
2001-09-29 07:11:28 -04:00
|
|
|
${INSTALL_DATA} ${WRKSRC}/$$file.ps ${DOCSDIR} ; \
|
2001-03-13 06:55:18 -05:00
|
|
|
done
|
|
|
|
|
.endif
|
|
|
|
|
|
2000-12-18 05:17:22 -05:00
|
|
|
.include <bsd.port.mk>
|
