ports/94242: [PATCH] math/coq: fix build, update to 8.0pl3
Rene Ladan
r.c.ladan at student.tue.nl
Wed Mar 8 20:20:09 UTC 2006
>Number: 94242
>Category: ports
>Synopsis: [PATCH] math/coq: fix build, update to 8.0pl3
>Confidential: no
>Severity: non-critical
>Priority: low
>Responsible: freebsd-ports-bugs
>State: open
>Quarter:
>Keywords:
>Date-Required:
>Class: change-request
>Submitter-Id: current-users
>Arrival-Date: Wed Mar 08 20:20:07 GMT 2006
>Closed-Date:
>Last-Modified:
>Originator: Rene Ladan
>Release: FreeBSD 6.0-RELEASE-p5 i386
>Organization:
>Environment:
System: FreeBSD 82-168-79-254.dsl.ip.tiscali.nl 6.0-RELEASE-p5 FreeBSD 6.0-RELEASE-p5 #8: Wed Mar 1 18:28:13 CET
>Description:
Unbreak by updating to 8.0pl3 and fixing pkg-plist
OPTIONify WITH_IDE (default on)
Pet portlint
Generated with FreeBSD Port Tools 0.63
>How-To-Repeat:
>Fix:
diff -ru coq.orig/Makefile coq/Makefile
--- coq.orig/Makefile Wed Mar 8 21:07:31 2006
+++ coq/Makefile Wed Mar 8 21:14:52 2006
@@ -2,16 +2,16 @@
# Date created: 2004-10-11
# Whom: Rene Ladan <r.c.ladan at student.tue.nl>
#
-# $FreeBSD: /repoman/r/pcvs/ports/math/coq/Makefile,v 1.11 2006/03/06 20:30:52 kris Exp $
+# $FreeBSD: ports/math/coq/Makefile,v 1.11 2006/03/06 20:30:52 kris Exp $
#
PORTNAME= coq
-PORTVERSION= 8.0p2
-PORTREVISION= 1
+PORTVERSION= 8.0p3
CATEGORIES= math
-MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V8.0pl2/
-DISTNAME= coq-8.0pl2
-PATCHFILES= patch-coq-8.0pl2-ocaml-3.09
+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 at FreeBSD.org
@@ -19,11 +19,8 @@
BUILD_DEPENDS= ocamlc:${PORTSDIR}/lang/ocaml
-BROKEN= Does not build
-
USE_GMAKE= yes
ALL_TARGET= world
-WITH_IDE= yes
HAS_CONFIGURE= yes
CONFIGURE_ARGS= --prefix ${PREFIX}
@@ -31,12 +28,14 @@
CONFIGURE_ARGS+= --reals all
CONFIGURE_ARGS+= --opt
+OPTIONS= IDE "With CoqIDE" on
+
PORTDOCS= CHANGES COPYRIGHT CREDITS INSTALL LICENSE README
.include <bsd.port.pre.mk>
.if ${ARCH} == "ia64"
-BROKEN= "OCaml bug prevents compilation"
+BROKEN= OCaml bug prevents compilation
.endif
.if defined(WITH_IDE) || exists(${LOCALBASE}/bin/lablgtk2)
diff -ru coq.orig/distinfo coq/distinfo
--- coq.orig/distinfo Wed Mar 8 21:09:30 2006
+++ coq/distinfo Wed Mar 8 19:56:38 2006
@@ -1,6 +1,6 @@
-MD5 (coq-8.0pl2.tar.gz) = 39ee0fed76e47a11de2f49e2c236ef79
-SHA256 (coq-8.0pl2.tar.gz) = 95e0180b560dd3efc006dd88f4996b5b2dca70d895b058be8e1def490c52842b
-SIZE (coq-8.0pl2.tar.gz) = 2285855
-MD5 (patch-coq-8.0pl2-ocaml-3.09) = 9a53dc19f345c6c9df9fb18a5f28d8d6
-SHA256 (patch-coq-8.0pl2-ocaml-3.09) = f81eec6b1e39760795015dd954c49c39aef0b4d29409fe866f5f6299f0a5f75f
-SIZE (patch-coq-8.0pl2-ocaml-3.09) = 818
+MD5 (coq-8.0pl3.tar.gz) = c98d4cefd119accb1ecdeebb41128822
+SHA256 (coq-8.0pl3.tar.gz) = 03d02b39873197f5365aad9bc2b917f4db234dcfd4bcff79febd8525770fb84c
+SIZE (coq-8.0pl3.tar.gz) = 2309002
+MD5 (patch-coq-8.0pl3-ocaml-3.09) = 5e1187201c86d8b00a82bf15992e0162
+SHA256 (patch-coq-8.0pl3-ocaml-3.09) = 1d71c6e39342c109c9161c037b5db84fb3caf5ee02171b492a703153b3bbc2e1
+SIZE (patch-coq-8.0pl3-ocaml-3.09) = 29634
diff -ru coq.orig/pkg-plist coq/pkg-plist
--- coq.orig/pkg-plist Wed Mar 8 21:07:12 2006
+++ coq/pkg-plist Wed Mar 8 20:36:35 2006
@@ -78,7 +78,8 @@
@dirrm lib/coq/contrib7
lib/coq/ide/.coqide-gtk2rc
lib/coq/ide/FAQ
-lib/coq/ide/coq.png
+lib/coq/ide/coq.ico
+lib/coq/ide/coq2.ico
lib/coq/ide/utf8.v
lib/coq/ide/utf8.vo
@dirrm lib/coq/ide
@@ -516,7 +517,7 @@
@dirrm lib/coq
share/emacs/site-lisp/coq-inferior.el
share/emacs/site-lisp/coq.el
-share/texmf/tex/latex/misc/coqdoc.sty
+share/emacs/site-lisp/coqdoc.sty
@dirrmtry share/texmf/tex/latex/misc
@dirrmtry share/texmf/tex/latex
@dirrmtry share/texmf/tex
>Release-Note:
>Audit-Trail:
>Unformatted:
More information about the freebsd-ports-bugs
mailing list