Attachment #62924 for bug #93954

View | Details | Raw Unified | Return to bug 93954
Collapse All | Expand All




#

PORTNAME=	coq
PORTVERSION=	8.0p3
PORTREVISION=	1
CATEGORIES=	math
MASTER_SITES=	ftp://ftp.inria.fr/INRIA/coq/V8.0pl3/
DISTNAME=	coq-8.0pl3

PATCHFILES=	patch-coq-8.0pl3-ocaml-3.09
PATCH_SITES=	${MASTER_SITES}

MAINTAINER=	ports@FreeBSD.org


USE_GMAKE=	yes
ALL_TARGET=	world
WITH_IDE=	yes

HAS_CONFIGURE=	yes
CONFIGURE_ARGS=	--prefix ${PREFIX}

.include <bsd.port.pre.mk>

.if ${ARCH} == "ia64"
BROKEN=	OCaml bug prevents compilation
.endif

.if defined(WITH_IDE) || exists(${LOCALBASE}/bin/lablgtk2)

Lines 1-6 Link Here

(-)coq/distinfo (-6 / +6 lines)
1	MD5 (coq-8.0pl2.tar.gz) = 39ee0fed76e47a11de2f49e2c236ef79	1	MD5 (coq-8.0pl3.tar.gz) = c98d4cefd119accb1ecdeebb41128822
2	SHA256 (coq-8.0pl2.tar.gz) = 95e0180b560dd3efc006dd88f4996b5b2dca70d895b058be8e1def490c52842b	2	SHA256 (coq-8.0pl3.tar.gz) = 03d02b39873197f5365aad9bc2b917f4db234dcfd4bcff79febd8525770fb84c
3	SIZE (coq-8.0pl2.tar.gz) = 2285855	3	SIZE (coq-8.0pl3.tar.gz) = 2309002
4	MD5 (patch-coq-8.0pl2-ocaml-3.09) = 9a53dc19f345c6c9df9fb18a5f28d8d6	4	MD5 (patch-coq-8.0pl3-ocaml-3.09) = 5e1187201c86d8b00a82bf15992e0162
5	SHA256 (patch-coq-8.0pl2-ocaml-3.09) = f81eec6b1e39760795015dd954c49c39aef0b4d29409fe866f5f6299f0a5f75f	5	SHA256 (patch-coq-8.0pl3-ocaml-3.09) = 1d71c6e39342c109c9161c037b5db84fb3caf5ee02171b492a703153b3bbc2e1
6	SIZE (patch-coq-8.0pl2-ocaml-3.09) = 818	6	SIZE (patch-coq-8.0pl3-ocaml-3.09) = 29634

Lines 78-84 Link Here

(-)coq/pkg-plist (-2 / +2 lines)
78	@dirrm lib/coq/contrib7	78	@dirrm lib/coq/contrib7
79	lib/coq/ide/.coqide-gtk2rc	79	lib/coq/ide/.coqide-gtk2rc
80	lib/coq/ide/FAQ	80	lib/coq/ide/FAQ
81	lib/coq/ide/coq.png	81	lib/coq/ide/coq.ico
		82	lib/coq/ide/coq2.ico
82	lib/coq/ide/utf8.v	83	lib/coq/ide/utf8.v
83	lib/coq/ide/utf8.vo	84	lib/coq/ide/utf8.vo
84	@dirrm lib/coq/ide	85	@dirrm lib/coq/ide
Lines 516-522 Link Here
516	@dirrm lib/coq	517	@dirrm lib/coq
517	share/emacs/site-lisp/coq-inferior.el	518	share/emacs/site-lisp/coq-inferior.el
518	share/emacs/site-lisp/coq.el	519	share/emacs/site-lisp/coq.el
519	share/texmf/tex/latex/misc/coqdoc.sty
520	@dirrmtry share/texmf/tex/latex/misc	520	@dirrmtry share/texmf/tex/latex/misc
521	@dirrmtry share/texmf/tex/latex	521	@dirrmtry share/texmf/tex/latex
522	@dirrmtry share/texmf/tex	522	@dirrmtry share/texmf/tex

Return to bug 93954

Lines 6-17 Link Here

(-)coq/Makefile (-7 / +6 lines)
6	#	6	#
7		7
8	PORTNAME= coq	8	PORTNAME= coq
9	PORTVERSION= 8.0p2	9	PORTVERSION= 8.0p3
10	PORTREVISION= 1
11	CATEGORIES= math	10	CATEGORIES= math
12	MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V8.0pl2/	11	MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V8.0pl3/
13	DISTNAME= coq-8.0pl2	12	DISTNAME= coq-8.0pl3
14	PATCHFILES= patch-coq-8.0pl2-ocaml-3.09	13
		14	PATCHFILES= patch-coq-8.0pl3-ocaml-3.09
15	PATCH_SITES= ${MASTER_SITES}	15	PATCH_SITES= ${MASTER_SITES}
16		16
17	MAINTAINER= ports@FreeBSD.org	17	MAINTAINER= ports@FreeBSD.org
Lines 21-27 Link Here
21		21
22	USE_GMAKE= yes	22	USE_GMAKE= yes
23	ALL_TARGET= world	23	ALL_TARGET= world
24	WITH_IDE= yes
25		24
26	HAS_CONFIGURE= yes	25	HAS_CONFIGURE= yes
27	CONFIGURE_ARGS= --prefix ${PREFIX}	26	CONFIGURE_ARGS= --prefix ${PREFIX}
Lines 34-40 Link Here
34	.include <bsd.port.pre.mk>	33	.include <bsd.port.pre.mk>
35		34
36	.if ${ARCH} == "ia64"	35	.if ${ARCH} == "ia64"
37	BROKEN= "OCaml bug prevents compilation"	36	BROKEN= OCaml bug prevents compilation
38	.endif	37	.endif
39		38
40	.if defined(WITH_IDE) \|\| exists(${LOCALBASE}/bin/lablgtk2)	39	.if defined(WITH_IDE) \|\| exists(${LOCALBASE}/bin/lablgtk2)