diff options
author | Gabor Pali <pgj@FreeBSD.org> | 2009-09-02 15:38:45 +0000 |
---|---|---|
committer | Gabor Pali <pgj@FreeBSD.org> | 2009-09-02 15:38:45 +0000 |
commit | 7d5781e5ab3aa2c4d9f46985acec697caae1c173 (patch) | |
tree | fb0e55efa60858746649977ee5813f549bfbad04 /devel/hs-hdoc | |
parent | 9acc5ac910695e85c7d24401bfecd5d6e6da0d7f (diff) |
Notes
Diffstat (limited to 'devel/hs-hdoc')
-rw-r--r-- | devel/hs-hdoc/Makefile | 16 | ||||
-rw-r--r-- | devel/hs-hdoc/pkg-descr | 2 |
2 files changed, 16 insertions, 2 deletions
diff --git a/devel/hs-hdoc/Makefile b/devel/hs-hdoc/Makefile index 450ed74fb329..19aa85386496 100644 --- a/devel/hs-hdoc/Makefile +++ b/devel/hs-hdoc/Makefile @@ -6,7 +6,7 @@ PORTNAME= hdoc PORTVERSION= 0.8.3 -PORTREVISION= 2 +PORTREVISION= 3 CATEGORIES= devel haskell MASTER_SITES= http://staff.fmi.uni-passau.de/~groessli/hdoc/ PKGNAMEPREFIX= hs- @@ -15,12 +15,26 @@ MAINTAINER= haskell@FreeBSD.org COMMENT= HTML documentation tool for Haskell BUILD_DEPENDS= ghc:${PORTSDIR}/lang/ghc +LIB_DEPENDS+= gmp.8:${PORTSDIR}/math/libgmp4 + +DOCSDIR= ${PREFIX}/share/doc/${DISTNAME} PLIST_FILES= bin/hdoc +.if !defined(NOPORTDOCS) +PLIST_DIRS= share/doc/${DISTNAME} +PLIST_FILES+= share/doc/${DISTNAME}/hdoc.pdf +.endif + GNU_CONFIGURE= yes USE_GMAKE= yes CONFIGURE_ARGS+= --prefix=${PREFIX} ALL_TARGET= # empty +post-install: +.if !defined(NOPORTDOCS) + ${MKDIR} ${DOCSDIR} && \ + cd ${WRKSRC}/docs && ${INSTALL_DATA} hdoc.pdf ${DOCSDIR} +.endif + .include <bsd.port.mk> diff --git a/devel/hs-hdoc/pkg-descr b/devel/hs-hdoc/pkg-descr index e57ff794ae59..426f9952dbc9 100644 --- a/devel/hs-hdoc/pkg-descr +++ b/devel/hs-hdoc/pkg-descr @@ -2,7 +2,7 @@ HDoc generates documentation in HTML format for Haskell modules. The generated documents are cross linked and include summaries and detailed descriptions for the documented functions, data types, type classes and instance declarations. -WWW: http://staff.fmi.uni-passau.de/~groessli/hdoc/ +WWW: http://staff.fmi.uni-passau.de/~groessli/hdoc/ -- Oliver Braun obraun@FreeBSD.org |