diff options
| author | Johan van Selst <johans@FreeBSD.org> | 2010-06-25 06:53:04 +0000 |
|---|---|---|
| committer | Johan van Selst <johans@FreeBSD.org> | 2010-06-25 06:53:04 +0000 |
| commit | d3ddbd67e0b6d1a7559ead3df942ea983b25112d (patch) | |
| tree | ea4ecd98d3904802855c73015114c501ed2eef7f /math/coq | |
| parent | - Update to 0.9.4.1 (diff) | |
- Update to version 8.2pl1
- Bump EPOCH due to different versioning style
- Build and install documentation
PR: ports/148034
Submitted by: Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>
Feature safe: yes
Notes
Notes:
svn path=/head/; revision=256938
Diffstat (limited to 'math/coq')
| -rw-r--r-- | math/coq/Makefile | 33 | ||||
| -rw-r--r-- | math/coq/distinfo | 6 |
2 files changed, 19 insertions, 20 deletions
diff --git a/math/coq/Makefile b/math/coq/Makefile index 123056512c03..4bfed12edba2 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -6,12 +6,11 @@ # PORTNAME= coq -PORTVERSION= 8.2.1 -PORTREVISION= 3 +DISTVERSION= 8.2pl1 +PORTEPOCH= 1 CATEGORIES= math -MASTER_SITES= http://coq.inria.fr/V${PORTVERSION:R}/files/ \ +MASTER_SITES= http://coq.inria.fr/distrib/V${DISTVERSION}/files/ \ ftp://ftp.stack.nl/pub/users/johans/coq/ -DISTNAME= ${PORTNAME}-${COQVERSION} MAINTAINER= johans@FreeBSD.org COMMENT= Theorem prover based on lambda-C @@ -25,12 +24,16 @@ WITH_IDE= yes HAS_CONFIGURE= yes CONFIGURE_ARGS= --prefix ${PREFIX} -CONFIGURE_ARGS+= --emacslib ${PREFIX}/share/emacs/site-lisp -CONFIGURE_ARGS+= --reals all -CONFIGURE_ARGS+= --opt +CONFIGURE_ARGS+=--emacslib ${PREFIX}/share/emacs/site-lisp +CONFIGURE_ARGS+=--reals all +CONFIGURE_ARGS+=--opt -COQVERSION= ${PORTVERSION:R}-${PORTVERSION:E} -PORTDOCS= CHANGES COPYRIGHT CREDITS INSTALL LICENSE README +.ifdef NOPORTDOCS +CONFIGURE_ARGS+=--with-doc none +.else +BUILD_DEPENDS+= hevea:${PORTSDIR}/textproc/hevea +PORTDOCS= * +.endif .include <bsd.port.pre.mk> @@ -53,14 +56,10 @@ PLIST_SUB+= IDE="@comment " post-patch: @${REINPLACE_CMD} -e '/FreeBSD.*\.byte/s/^/#/' \ + -e '1s:/bin/bash:/bin/sh:' \ -e '/^MAKE=/d' ${WRKSRC}/configure - -post-install: -.if !defined(NOPORTDOCS) - -@${MKDIR} ${DOCSDIR} -.for i in ${PORTDOCS} - @${INSTALL_DATA} ${WRKSRC}/${i} ${DOCSDIR} -.endfor -.endif + @${REINPLACE_CMD} -e 's:/bin/bash:/bin/sh:' \ + ${WRKSRC}/Makefile* ${WRKSRC}/install.sh + @${REINPLACE_CMD} -e '/show_latex_mes/s/)$$/; true)/' ${WRKSRC}/Makefile.doc .include <bsd.port.post.mk> diff --git a/math/coq/distinfo b/math/coq/distinfo index af7c8ee92c81..17c00cb5eaa4 100644 --- a/math/coq/distinfo +++ b/math/coq/distinfo @@ -1,3 +1,3 @@ -MD5 (coq-8.2-1.tar.gz) = 6907d97342e7b547e2e6d905a474235d -SHA256 (coq-8.2-1.tar.gz) = b9f789c5ee4668532ad3add281057b2028d2237242d4e7213281fc593e982a0f -SIZE (coq-8.2-1.tar.gz) = 3650632 +MD5 (coq-8.2pl1.tar.gz) = 36eed48bc63ada8abf27f96eb126906c +SHA256 (coq-8.2pl1.tar.gz) = 7c15acfd369111e51d937cce632d22fc77a6718a5ac9f2dd2dcbdfab4256ae0c +SIZE (coq-8.2pl1.tar.gz) = 3600620 |