blob: 9b1f877a96d21876f8082972540a96f2c0294d0e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
# New ports collection makefile for: green-card
# Date created: 01 June 2002
# Whom: Oliver Braun <obraun@informatik.unibw-muenchen.de>
#
# $FreeBSD$
#
PORTNAME= green-card
PORTVERSION= 2.04
PORTREVISION= 1
CATEGORIES= devel
MASTER_SITES= http://www.galois.com/~sof/
DISTNAME= gc-${PORTVERSION}
PKGNAMEPREFIX= hs-
MAINTAINER= obraun@FreeBSD.org
BUILD_DEPENDS= ghc:${PORTSDIR}/lang/ghc
WRKSRC= ${WRKDIR}/gc-${PORTVERSION}
USE_GMAKE= yes
ALL_TARGET= all
do-install:
@(cd ${WRKSRC}/src && ${CP} green-card ${PREFIX}/bin)
-@mkdir ${PREFIX}/lib/green-card
@(cd ${WRKSRC}/lib/ghc && ${CP} StdDIS.* libHSgreencard.a ${PREFIX}/lib/green-card)
.if !defined(NOPORTDOCS)
@(cd ${WRKSRC}/doc && ${CP} -R green-card ${PREFIX}/share/doc \
&& ${CP} green-card.dvi.gz green-card.ps.gz ${DOCSDIR})
.endif
.include <bsd.port.mk>
|
