237c964e90
- WITH THE RELEASE THE DOWNLOAD POLICY FOR GTL HAS BEEN CHANGED. PLEASE SEE THE HOMEPAGE FOR THE DETAILS. - First stable release - Various bugfixes - Optimization of reallocation procedure in node_ and edge_maps - Bump NEED_VERSION from maintainer
43 lines
1.3 KiB
Makefile
43 lines
1.3 KiB
Makefile
# $OpenBSD: Makefile,v 1.3 2001/02/09 10:05:30 reinhard Exp $
|
|
|
|
PKGNAME= gtl-1.0.0
|
|
DISTNAME= GTL-1.0.0
|
|
CATEGORIES= devel
|
|
NEED_VERSION= 1.353
|
|
|
|
MAINTAINER= Peter Valchev <pvalchev@toxiclinux.org>
|
|
|
|
PERMIT_PACKAGE_CDROM= "use requires written permission"
|
|
PERMIT_PACKAGE_FTP= "use requires written permission"
|
|
PERMIT_DISTFILES_CDROM= "use requires written permission"
|
|
PERMIT_DISTFILES_FTP= "use requires written permission"
|
|
|
|
HOMEPAGE= http://infosun.fmi.uni-passau.de/GTL/
|
|
|
|
MASTER_SITES= see_do-fetch_target
|
|
|
|
CONFIGURE_STYLE= gnu
|
|
MAKE_ENV+= GTL_VERS="1.0.0"
|
|
|
|
do-fetch:
|
|
@if [ ! -f ${DISTDIR}/${DISTFILES} ]; then \
|
|
echo "" ; \
|
|
echo " The source of this port cannot be automatically fetched" ; \
|
|
echo " due to licensing restrictions. You MUST visit :" ; \
|
|
echo " ${HOMEPAGE}#down" ; \
|
|
echo " and follow the instructions - you will have to send e-mail" ; \
|
|
echo " with your personal information in order to be accepted." ; \
|
|
echo "" ; \
|
|
echo " Once ${DISTFILES} has been downloaded, move it to ${DISTDIR}" ; \
|
|
echo " and then go back and restart this build." ; \
|
|
echo "" ; \
|
|
exit 1 ; \
|
|
fi
|
|
|
|
post-install:
|
|
${INSTALL_DATA_DIR} ${PREFIX}/share/doc/gtl
|
|
${INSTALL_DATA} ${WRKSRC}/doc/html/*.html ${PREFIX}/share/doc/gtl
|
|
${INSTALL_DATA} ${WRKSRC}/README ${PREFIX}/share/doc/gtl
|
|
|
|
.include <bsd.port.mk>
|