mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-04 01:48:54 +00:00
30 lines
571 B
Makefile
30 lines
571 B
Makefile
# New ports collection makefile for: GLPK
|
|
# Date created: 16 December 2000
|
|
# Whom: Dmitry Sivachenko <demon@FreeBSD.org>
|
|
#
|
|
# $FreeBSD$
|
|
#
|
|
|
|
PORTNAME= glpk
|
|
PORTVERSION= 4.0
|
|
CATEGORIES= math
|
|
MASTER_SITES= ${MASTER_SITE_GNU}
|
|
MASTER_SITE_SUBDIR= glpk
|
|
|
|
MAINTAINER= demon@FreeBSD.org
|
|
COMMENT= A GNU Linear Programming Kit
|
|
|
|
GNU_CONFIGURE= yes
|
|
|
|
DOCFILES= lang.ps refman.ps bench.txt brcut.txt
|
|
|
|
post-install:
|
|
.if !defined(NOPORTDOCS)
|
|
@${MKDIR} ${DOCSDIR}
|
|
for file in ${DOCFILES} ; do \
|
|
${INSTALL_DATA} ${WRKSRC}/doc/$$file ${DOCSDIR} ; \
|
|
done
|
|
.endif
|
|
|
|
.include <bsd.port.mk>
|