Add green-card 2.04, a foreign function interface preprocessor for Haskell.
PR: ports/38805 Approved by: dwcjr (mentor)
This commit is contained in:
Oliver Braun
parent
161b5c8633
commit
a6c0334406
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=65046
13 changed files with 161 additions and 0 deletions
|
|
@ -211,6 +211,7 @@
|
|||
SUBDIR += gnustep-make
|
||||
SUBDIR += gperf
|
||||
SUBDIR += gputils
|
||||
SUBDIR += green-card
|
||||
SUBDIR += gtgt
|
||||
SUBDIR += gtranslator
|
||||
SUBDIR += gvd
|
||||
|
|
|
|||
32
devel/green-card/Makefile
Normal file
32
devel/green-card/Makefile
Normal file
|
|
@ -0,0 +1,32 @@
|
|||
# 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
|
||||
CATEGORIES= devel
|
||||
MASTER_SITES= http://www.galois.com/~sof/
|
||||
DISTNAME= gc-${PORTVERSION}
|
||||
|
||||
MAINTAINER= obraun@informatik.unibw-muenchen.de
|
||||
|
||||
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>
|
||||
1
devel/green-card/distinfo
Normal file
1
devel/green-card/distinfo
Normal file
|
|
@ -0,0 +1 @@
|
|||
MD5 (gc-2.04.tar.gz) = e55e57222d0f962025bfdadc13d13f29
|
||||
12
devel/green-card/files/patch-src::Makefile
Normal file
12
devel/green-card/files/patch-src::Makefile
Normal file
|
|
@ -0,0 +1,12 @@
|
|||
--- src/Makefile.orig Wed May 1 23:27:47 2002
|
||||
+++ src/Makefile Wed May 1 23:28:02 2002
|
||||
@@ -1,9 +1,6 @@
|
||||
# (GNU) Makefile for Green Card (GHC)
|
||||
|
||||
### User serviceable parts ###
|
||||
-HC = /path/to/ghc
|
||||
-CC = gcc
|
||||
-RM = rm
|
||||
|
||||
# Options to compile the sources with.
|
||||
|
||||
1
devel/green-card/pkg-comment
Normal file
1
devel/green-card/pkg-comment
Normal file
|
|
@ -0,0 +1 @@
|
|||
A foreign function interface preprocessor for Haskell
|
||||
8
devel/green-card/pkg-descr
Normal file
8
devel/green-card/pkg-descr
Normal file
|
|
@ -0,0 +1,8 @@
|
|||
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/
|
||||
|
||||
-- Oliver Braun
|
||||
obraun@informatik.unibw-muenchen.de
|
||||
26
devel/green-card/pkg-plist
Normal file
26
devel/green-card/pkg-plist
Normal file
|
|
@ -0,0 +1,26 @@
|
|||
bin/green-card
|
||||
lib/green-card/StdDIS.gc
|
||||
lib/green-card/StdDIS.hi
|
||||
lib/green-card/StdDIS.hs
|
||||
lib/green-card/StdDIS.o
|
||||
lib/green-card/libHSgreencard.a
|
||||
%%PORTDOCS%%share/doc/green-card/directives.html
|
||||
%%PORTDOCS%%share/doc/green-card/dis-std.html
|
||||
%%PORTDOCS%%share/doc/green-card/dis.html
|
||||
%%PORTDOCS%%share/doc/green-card/docbook.css
|
||||
%%PORTDOCS%%share/doc/green-card/extensions.html
|
||||
%%PORTDOCS%%share/doc/green-card/fill-in.html
|
||||
%%PORTDOCS%%share/doc/green-card/goals.html
|
||||
%%PORTDOCS%%share/doc/green-card/green-card.dvi.gz
|
||||
%%PORTDOCS%%share/doc/green-card/green-card.ps.gz
|
||||
%%PORTDOCS%%share/doc/green-card/greencard.html
|
||||
%%PORTDOCS%%share/doc/green-card/import.html
|
||||
%%PORTDOCS%%share/doc/green-card/invoking.html
|
||||
%%PORTDOCS%%share/doc/green-card/motivation.html
|
||||
%%PORTDOCS%%share/doc/green-card/overview.html
|
||||
%%PORTDOCS%%share/doc/green-card/proc-spec.html
|
||||
%%PORTDOCS%%share/doc/green-card/related.html
|
||||
%%PORTDOCS%%share/doc/green-card/type-sig.html
|
||||
%%PORTDOCS%%share/doc/green-card/using.html
|
||||
%%PORTDOCS%%@dirrm share/doc/green-card
|
||||
@dirrm lib/green-card
|
||||
32
devel/hs-green-card/Makefile
Normal file
32
devel/hs-green-card/Makefile
Normal file
|
|
@ -0,0 +1,32 @@
|
|||
# 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
|
||||
CATEGORIES= devel
|
||||
MASTER_SITES= http://www.galois.com/~sof/
|
||||
DISTNAME= gc-${PORTVERSION}
|
||||
|
||||
MAINTAINER= obraun@informatik.unibw-muenchen.de
|
||||
|
||||
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>
|
||||
1
devel/hs-green-card/distinfo
Normal file
1
devel/hs-green-card/distinfo
Normal file
|
|
@ -0,0 +1 @@
|
|||
MD5 (gc-2.04.tar.gz) = e55e57222d0f962025bfdadc13d13f29
|
||||
12
devel/hs-green-card/files/patch-src::Makefile
Normal file
12
devel/hs-green-card/files/patch-src::Makefile
Normal file
|
|
@ -0,0 +1,12 @@
|
|||
--- src/Makefile.orig Wed May 1 23:27:47 2002
|
||||
+++ src/Makefile Wed May 1 23:28:02 2002
|
||||
@@ -1,9 +1,6 @@
|
||||
# (GNU) Makefile for Green Card (GHC)
|
||||
|
||||
### User serviceable parts ###
|
||||
-HC = /path/to/ghc
|
||||
-CC = gcc
|
||||
-RM = rm
|
||||
|
||||
# Options to compile the sources with.
|
||||
|
||||
1
devel/hs-green-card/pkg-comment
Normal file
1
devel/hs-green-card/pkg-comment
Normal file
|
|
@ -0,0 +1 @@
|
|||
A foreign function interface preprocessor for Haskell
|
||||
8
devel/hs-green-card/pkg-descr
Normal file
8
devel/hs-green-card/pkg-descr
Normal file
|
|
@ -0,0 +1,8 @@
|
|||
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/
|
||||
|
||||
-- Oliver Braun
|
||||
obraun@informatik.unibw-muenchen.de
|
||||
26
devel/hs-green-card/pkg-plist
Normal file
26
devel/hs-green-card/pkg-plist
Normal file
|
|
@ -0,0 +1,26 @@
|
|||
bin/green-card
|
||||
lib/green-card/StdDIS.gc
|
||||
lib/green-card/StdDIS.hi
|
||||
lib/green-card/StdDIS.hs
|
||||
lib/green-card/StdDIS.o
|
||||
lib/green-card/libHSgreencard.a
|
||||
%%PORTDOCS%%share/doc/green-card/directives.html
|
||||
%%PORTDOCS%%share/doc/green-card/dis-std.html
|
||||
%%PORTDOCS%%share/doc/green-card/dis.html
|
||||
%%PORTDOCS%%share/doc/green-card/docbook.css
|
||||
%%PORTDOCS%%share/doc/green-card/extensions.html
|
||||
%%PORTDOCS%%share/doc/green-card/fill-in.html
|
||||
%%PORTDOCS%%share/doc/green-card/goals.html
|
||||
%%PORTDOCS%%share/doc/green-card/green-card.dvi.gz
|
||||
%%PORTDOCS%%share/doc/green-card/green-card.ps.gz
|
||||
%%PORTDOCS%%share/doc/green-card/greencard.html
|
||||
%%PORTDOCS%%share/doc/green-card/import.html
|
||||
%%PORTDOCS%%share/doc/green-card/invoking.html
|
||||
%%PORTDOCS%%share/doc/green-card/motivation.html
|
||||
%%PORTDOCS%%share/doc/green-card/overview.html
|
||||
%%PORTDOCS%%share/doc/green-card/proc-spec.html
|
||||
%%PORTDOCS%%share/doc/green-card/related.html
|
||||
%%PORTDOCS%%share/doc/green-card/type-sig.html
|
||||
%%PORTDOCS%%share/doc/green-card/using.html
|
||||
%%PORTDOCS%%@dirrm share/doc/green-card
|
||||
@dirrm lib/green-card
|
||||
Loading…
Reference in a new issue