Attachment 102358 Details for Bug 142141 – file.shar

file.shar

file.shar (text/plain), 3.55 KB, created by Jacula Modyun on 2009-12-29 19:20:01 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Jacula Modyun

Created: 2009-12-29 19:20:01 UTC

Size: 3.55 KB

patch

obsolete

># 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:
>#
>#	hs-Agda-executable
>#	hs-Agda-executable/Makefile
>#	hs-Agda-executable/distinfo
>#	hs-Agda-executable/pkg-plist
>#	hs-Agda-executable/pkg-descr
>#
>echo c - hs-Agda-executable
>mkdir -p hs-Agda-executable > /dev/null 2>&1
>echo x - hs-Agda-executable/Makefile
>sed 's/^X//' >hs-Agda-executable/Makefile << 'ff7205fc2c28025309bf5896beeafc3d'
>X# New ports collection makefile for: hs-Agda-executable
>X# Date created:        December 20 2009
>X# Whom:                Giuseppe Pilichi aka Jacula Modyun <jacula@gmail.com>
>X#
>X
>XPORTNAME=	Agda-executable
>XPORTVERSION=	2.2.6
>XCATEGORIES=	math haskell
>XMASTER_SITES=	http://hackage.haskell.org/packages/archive/${PORTNAME}/${PORTVERSION}/
>XPKGNAMEPREFIX=	hs-
>X
>XMAINTAINER=	jacula@gmail.com
>XCOMMENT=	Command-line program for type-checking and compiling Agda programs
>X
>XBUILD_DEPENDS+=	ghc:${PORTSDIR}/lang/ghc \
>X		hs-Agda>=2.2.6:${PORTSDIR}/math/hs-Agda
>XRUN_DEPENDS+=	ghc:${PORTSDIR}/lang/ghc \
>X		hs-Agda>=2.2.6:${PORTSDIR}/math/hs-Agda
>X
>XLIB_DEPENDS+=	gmp.8:${PORTSDIR}/math/libgmp4
>X
>XUSE_ICONV=	yes
>X
>XGHC_VERSION=		6.10.4
>XAGDAEXECUTABLE_VERSION=	${PORTVERSION}
>X
>XGHC_CMD=	${LOCALBASE}/bin/ghc
>XSETUP_CMD=	./setup
>X
>XDOCSDIR=			${PREFIX}/share/doc/${DISTNAME}
>XAGDAEXECUTABLE_LIBDIR_REL=	lib/${DISTNAME}
>X
>XPLIST_SUB=	GHC_VERSION=${GHC_VERSION} \
>X		AGDAEXECUTABLE_VERSION=${AGDAEXECUTABLE_VERSION} \
>X		AGDAEXECUTABLE_LIBDIR_REL=${AGDAEXECUTABLE_LIBDIR_REL}
>X
>X.if defined(NOPORTDOCS)
>XPLIST_SUB+=		NOPORTDOCS=""
>X.else
>XPLIST_SUB+=		NOPORTDOCS="@comment "
>X.endif
>X
>X.if !defined(NOPORTDOCS)
>X
>XPORT_HADDOCK!=	(cd  ${.CURDIR}/../../lang/ghc && ${MAKE} -V PORT_HADDOCK)
>X.if !empty(PORT_HADDOCK:M?0)
>XBUILD_DEPENDS+=	haddock:${PORTSDIR}/devel/hs-haddock
>X.endif
>XBUILD_DEPENDS+=	HsColour:${PORTSDIR}/print/hs-hscolour
>X
>XHSCOLOUR_VERSION=	1.15
>XHSCOLOUR_DATADIR=	${PREFIX}/share/hscolour-${HSCOLOUR_VERSION}
>X
>XPORTDOCS=	*
>X.endif
>X
>X.SILENT:
>X
>Xdo-configure:
>X	cd ${WRKSRC} && ${GHC_CMD} --make Setup.hs -o setup -package Cabal \
>X		     && ${SETUP_CMD} configure --haddock-options=-w --prefix=${PREFIX}
>X
>Xdo-build:
>X	cd ${WRKSRC} && ${SETUP_CMD} build
>X.if !defined(NOPORTDOCS)
>X	cd ${WRKSRC} && ${SETUP_CMD} haddock --hyperlink-source --executables \
>X					     --hscolour-css=${HSCOLOUR_DATADIR}/hscolour.css
>X.endif
>X
>Xdo-install:
>X	cd ${WRKSRC} && ${SETUP_CMD} install
>X
>X.include <bsd.port.mk>
>ff7205fc2c28025309bf5896beeafc3d
>echo x - hs-Agda-executable/distinfo
>sed 's/^X//' >hs-Agda-executable/distinfo << '570a1ef912e147aded1908ef652fc377'
>XMD5 (Agda-executable-2.2.6.tar.gz) = 0e60eb052789b0be11525717273c19a8
>XSHA256 (Agda-executable-2.2.6.tar.gz) = b036404796bd94b0cf069b3aa9c56c39889846f31f2a59cb5a62f4b4d42f5f86
>XSIZE (Agda-executable-2.2.6.tar.gz) = 1596
>570a1ef912e147aded1908ef652fc377
>echo x - hs-Agda-executable/pkg-plist
>sed 's/^X//' >hs-Agda-executable/pkg-plist << 'e0267466229a1b1d3ff6c0752cebb9b4'
>Xbin/agda
>X%%NOPORTDOCS%%%%DOCSDIR%%/LICENSE
>X%%NOPORTDOCS%%@dirrmtry %%DOCSDIR%%
>e0267466229a1b1d3ff6c0752cebb9b4
>echo x - hs-Agda-executable/pkg-descr
>sed 's/^X//' >hs-Agda-executable/pkg-descr << '32f801c0d3e9660173a3f209b70e0ba9'
>XThis package provides a command-line program for type-checking and
>Xcompiling Agda programs. The program can also generate hyperlinked,
>Xhighlighted HTML files from Agda sources.
>X
>XWWW:	http://wiki.portal.chalmers.se/agda/
>32f801c0d3e9660173a3f209b70e0ba9
>exit

Actions: View

Attachments on bug 142141: 102358