1997-11-23 19:10:19 -05:00
|
|
|
# New ports collection makefile for: hugs
|
|
|
|
# Date created: 22 September 1997
|
|
|
|
# Whom: Torsten Teg Grust (Torsten.Grust@uni-konstanz.de)
|
|
|
|
#
|
1999-08-25 02:35:40 -04:00
|
|
|
# $FreeBSD$
|
1997-11-23 19:10:19 -05:00
|
|
|
#
|
|
|
|
|
2000-04-12 02:21:15 -04:00
|
|
|
PORTNAME= hugs
|
|
|
|
PORTVERSION= 98
|
1997-11-23 19:10:19 -05:00
|
|
|
CATEGORIES= lang
|
1999-11-20 17:49:40 -05:00
|
|
|
MASTER_SITES= ftp://www.cse.ogi.edu/pub/pacsoft/hugs/
|
2000-04-30 15:12:28 -04:00
|
|
|
DISTNAME= ${PORTNAME}${PORTVERSION}-${HUGS_DATE}
|
1997-11-23 19:10:19 -05:00
|
|
|
|
|
|
|
MAINTAINER= Torsten.Grust@uni-konstanz.de
|
|
|
|
|
1999-11-20 17:49:40 -05:00
|
|
|
WRKSRC= ${WRKDIR}/hugs98/src
|
1997-11-23 19:10:19 -05:00
|
|
|
|
|
|
|
ALL_TARGET= default
|
|
|
|
|
|
|
|
# how to install a directory
|
2000-04-30 15:12:28 -04:00
|
|
|
INSTALL_DIR= ${INSTALL} -o ${BINOWN} -g ${BINGRP} -m 755
|
1997-11-23 19:10:19 -05:00
|
|
|
# where the Hugs documentation (distribution) files live
|
1999-11-20 17:49:40 -05:00
|
|
|
HUGS_DOC= ${WRKDIR}/hugs98/docs
|
2000-04-30 15:12:28 -04:00
|
|
|
# Little hack to teach it to use our install
|
|
|
|
MAKE_ENV+= HACK_INSTALL_DIR="${INSTALL_DIR}"
|
|
|
|
HUGS_DATE= Feb2000
|
1997-11-23 19:10:19 -05:00
|
|
|
|
|
|
|
MAN1= hugs.1
|
|
|
|
|
|
|
|
post-install:
|
1998-02-17 16:32:30 -05:00
|
|
|
${SED} -e "s#Prelude\.hs#lib/&#" \
|
|
|
|
-e "s#^\.ds LB .*#.ds LB ${PREFIX}/share/hugs#" \
|
1997-11-23 19:10:19 -05:00
|
|
|
-e "s#^\.ds BN .*#.ds BN ${PREFIX}/bin#" \
|
1998-02-17 16:32:30 -05:00
|
|
|
< ${HUGS_DOC}/hugs.1 > ${HUGS_DOC}/hugs.1.fix
|
|
|
|
${INSTALL_MAN} ${HUGS_DOC}/hugs.1.fix ${PREFIX}/man/man1/${MAN1}
|
|
|
|
${RM} ${HUGS_DOC}/hugs.1.fix
|
1997-11-23 19:10:19 -05:00
|
|
|
.if !defined(NOPORTDOCS)
|
2000-04-30 15:12:28 -04:00
|
|
|
${INSTALL_DIR} -d ${PREFIX}/share/doc/hugs
|
|
|
|
${INSTALL_DATA} ${HUGS_DOC}/* ${PREFIX}/share/doc/hugs
|
1997-11-23 19:10:19 -05:00
|
|
|
.endif
|
|
|
|
|
|
|
|
.include <bsd.port.mk>
|