Skip site navigation (1)Skip section navigation (2)
Date:      Sat,  1 Jun 2002 23:10:41 +0200 (CEST)
From:      Oliver Braun <obraun@informatik.unibw-muenchen.de>
To:        FreeBSD-gnats-submit@FreeBSD.org
Subject:   ports/38805: New port: devel/greencard (A foreign function interface preprocessor for Haskell)
Message-ID:  <20020601211041.61AB71AB04@unsane.de>

next in thread | raw e-mail | index | archive | help

>Number:         38805
>Category:       ports
>Synopsis:       New port: devel/greencard (A foreign function interface preprocessor for Haskell)
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    freebsd-ports
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          change-request
>Submitter-Id:   current-users
>Arrival-Date:   Sun Jun 02 02:40:02 PDT 2002
>Closed-Date:
>Last-Modified:
>Originator:     Oliver Braun
>Release:        FreeBSD 4.6-RC i386
>Organization:
>Environment:
System: FreeBSD galore.unsane.de 4.6-RC FreeBSD 4.6-RC #1: Sun May 19 18:16:38 CEST 2002 root@galore.unsane.de:/usr/obj/usr/src/sys/GALORE_OB i386


>Description:

Green Card is a foreign function interface preprocessor for Haskell,
simplifying the task of interfacing Haskell programs to external libraries
(which are normally exposed via C interfaces).

WWW: http://haskell.org/greencard/

Regards,
         Olli

>How-To-Repeat:
>Fix:

# This is a shell archive.  Save it in a file, remove anything before
# this line, and then unpack it by entering "sh file".  Note, it may
# create directories; files and directories will be owned by you and
# have default permissions.
#
# This archive contains:
#
#	greencard
#	greencard/pkg-descr
#	greencard/Makefile
#	greencard/distinfo
#	greencard/pkg-comment
#	greencard/pkg-plist
#	greencard/files
#	greencard/files/patch-Makefile
#	greencard/files/patch-src::Makefile
#
echo c - greencard
mkdir -p greencard > /dev/null 2>&1
echo x - greencard/pkg-descr
sed 's/^X//' >greencard/pkg-descr << 'END-of-greencard/pkg-descr'
XGreen Card is a foreign function interface preprocessor for Haskell,
Xsimplifying the task of interfacing Haskell programs to external libraries
X(which are normally exposed via C interfaces).
X
XWWW: http://haskell.org/greencard/
X
X-- Oliver Braun
Xobraun@informatik.unibw-muenchen.de
END-of-greencard/pkg-descr
echo x - greencard/Makefile
sed 's/^X//' >greencard/Makefile << 'END-of-greencard/Makefile'
X# New ports collection makefile for:   greencard
X# Date created:        01 June 2002
X# Whom:                Oliver Braun <obraun@informatik.unibw-muenchen.de>
X#
X# $FreeBSD$
X#
X
XPORTNAME=	greencard
XPORTVERSION=	2.03
XCATEGORIES=	devel
XMASTER_SITES=	http://www.galois.com/~sof/gc/
XDISTNAME=	gc-${PORTVERSION}-src
X
XMAINTAINER=	obraun@informatik.unibw-muenchen.de
X
XBUILD_DEPENDS=	ghc:${PORTSDIR}/lang/ghc
X
XUSE_GMAKE=	yes
XWRKSRC=		${WRKDIR}/gc-${PORTVERSION}
X
XFOR_SYSTEM=	ghc
X
XALL_TARGET=	all
X
Xdo-install:
X	@(cd ${WRKSRC}/src && ${CP} green-card ${PREFIX}/bin)
X	-@mkdir ${PREFIX}/lib/green-card
X	@(cd ${WRKSRC}/lib/ghc && ${CP} StdDIS.* libHSgreencard.a ${PREFIX}/lib/green-card)
X.if !defined(NOPORTDOCS)
X	@(cd ${WRKSRC}/doc && ${CP} -R green-card ${PREFIX}/share/doc \
X	  && ${CP} green-card.dvi.gz green-card.ps.gz ${PREFIX}/share/doc/green-card)
X.endif
X
X.include <bsd.port.mk>
END-of-greencard/Makefile
echo x - greencard/distinfo
sed 's/^X//' >greencard/distinfo << 'END-of-greencard/distinfo'
XMD5 (gc-2.03-src.tar.gz) = cc234a1d92ca7dee961dae87bb0b5064
END-of-greencard/distinfo
echo x - greencard/pkg-comment
sed 's/^X//' >greencard/pkg-comment << 'END-of-greencard/pkg-comment'
XA foreign function interface preprocessor for Haskell
END-of-greencard/pkg-comment
echo x - greencard/pkg-plist
sed 's/^X//' >greencard/pkg-plist << 'END-of-greencard/pkg-plist'
Xbin/green-card
Xlib/green-card/StdDIS.gc
Xlib/green-card/StdDIS.hi
Xlib/green-card/StdDIS.hs
Xlib/green-card/StdDIS.o
Xlib/green-card/libHSgreencard.a
X%%PORTDOCS%%share/doc/green-card/directives.html
X%%PORTDOCS%%share/doc/green-card/dis-std.html
X%%PORTDOCS%%share/doc/green-card/dis.html
X%%PORTDOCS%%share/doc/green-card/docbook.css
X%%PORTDOCS%%share/doc/green-card/extensions.html
X%%PORTDOCS%%share/doc/green-card/fill-in.html
X%%PORTDOCS%%share/doc/green-card/goals.html
X%%PORTDOCS%%share/doc/green-card/green-card.dvi.gz
X%%PORTDOCS%%share/doc/green-card/green-card.ps.gz
X%%PORTDOCS%%share/doc/green-card/greencard.html
X%%PORTDOCS%%share/doc/green-card/import.html
X%%PORTDOCS%%share/doc/green-card/invoking.html
X%%PORTDOCS%%share/doc/green-card/motivation.html
X%%PORTDOCS%%share/doc/green-card/overview.html
X%%PORTDOCS%%share/doc/green-card/proc-spec.html
X%%PORTDOCS%%share/doc/green-card/related.html
X%%PORTDOCS%%share/doc/green-card/type-sig.html
X%%PORTDOCS%%share/doc/green-card/using.html
X%%PORTDOCS%%@dirrm share/doc/green-card
X@dirrm lib/green-card
END-of-greencard/pkg-plist
echo c - greencard/files
mkdir -p greencard/files > /dev/null 2>&1
echo x - greencard/files/patch-Makefile
sed 's/^X//' >greencard/files/patch-Makefile << 'END-of-greencard/files/patch-Makefile'
X--- Makefile.orig	Wed May  1 23:26:23 2002
X+++ Makefile	Wed May  1 23:26:38 2002
X@@ -4,7 +4,7 @@
X 
X # What system you're building for.
X #  Legal values: ghc, nhc or hugs
X-FOR_SYSTEM=ghc
X+#FOR_SYSTEM=ghc
X 
X # Path to Haskell compiler
X HC=ghc
END-of-greencard/files/patch-Makefile
echo x - greencard/files/patch-src::Makefile
sed 's/^X//' >greencard/files/patch-src::Makefile << 'END-of-greencard/files/patch-src::Makefile'
X--- src/Makefile.orig	Wed May  1 23:27:47 2002
X+++ src/Makefile	Wed May  1 23:28:02 2002
X@@ -1,9 +1,6 @@
X # (GNU) Makefile for Green Card (GHC)
X 
X ### User serviceable parts  ###
X-HC      = /path/to/ghc
X-CC      = gcc
X-RM      = rm
X 
X # Options to compile the sources with.
X 
END-of-greencard/files/patch-src::Makefile
exit

>Release-Note:
>Audit-Trail:
>Unformatted:

To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-ports" in the body of the message




Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20020601211041.61AB71AB04>