[patch] math/coq update to 8.4pl2
Here is an update of math/coq to 8.4pl2. This was tested on i386 by running the regression tests which ran fine. Highlights of changes: - patch-scripts_coqmktop_ml was backported to 8.4pl1 and can now be removed. - The -silent flag was removed from the regression tests as it's nice to see things progressing (regress tests take hours to run). Here are the changes as per the coq website (http://coq.inria.fr/distrib/V8.4pl2/CHANGES): == Bug fixes - Solved bugs : #2466 #2629 #2668 #2750 #2839 #2869 #2954 #2955 #2959 #2962 #2966 #2967 #2969 #2970 #2975 #2976 #2977 #2978 #2981 #2983 #2995 #3000 #3004 #3008 - Partially fixed bugs : #2830 #2949 - Coqtop should now react more reliably when receiving interrupt signals: all the try...with constructs have been protected against undue handling of the Sys.Break exception. Coqide - The Windows-specific code handling the interrupt button of Coqide had to be reworked (cf. bug #2869). Now, in Win32 this button does not target a specific coqtop client, but instead sends a Ctrl-C to any process sharing its console with Coqide. To avoid awkward effects, it is recommended to launch Coqide via its icon, its menu, or in a dedicated console window. Extraction - The option Extraction AccessOpaque is now set by default, restoring compatibility of older versions of Coq (cf bug #2952). Index: Makefile === RCS file: /home/cvs/ports/math/coq/Makefile,v retrieving revision 1.23 diff -u -p -u -r1.23 Makefile --- Makefile16 May 2013 09:16:43 - 1.23 +++ Makefile27 Oct 2013 23:12:45 - @@ -2,9 +2,9 @@ COMMENT= proof assistant based on a typed lambda calculus -V= 8.4pl1 +V= 8.4pl2 DISTNAME= coq-$V -REVISION= 0 + CATEGORIES=math HOMEPAGE= http://coq.inria.fr/ Index: distinfo === RCS file: /home/cvs/ports/math/coq/distinfo,v retrieving revision 1.8 diff -u -p -u -r1.8 distinfo --- distinfo7 Feb 2013 09:43:15 - 1.8 +++ distinfo27 Oct 2013 23:12:45 - @@ -1,2 +1,2 @@ -SHA256 (coq-8.4pl1.tar.gz) = XQ5FU6tQZ3qUtNXKFlCpBxjpNiCCpkm6lb5AEDkKD4A= -SIZE (coq-8.4pl1.tar.gz) = 4139808 +SHA256 (coq-8.4pl2.tar.gz) = +3GaOPYTsBhh47JR50WlyO85WibOcClmjoWsdfy8otg= +SIZE (coq-8.4pl2.tar.gz) = 4145112 Index: patches/patch-Makefile_build === RCS file: /home/cvs/ports/math/coq/patches/patch-Makefile_build,v retrieving revision 1.2 diff -u -p -u -r1.2 patch-Makefile_build --- patches/patch-Makefile_build7 Feb 2013 09:43:15 - 1.2 +++ patches/patch-Makefile_build27 Oct 2013 23:12:45 - @@ -1,6 +1,19 @@ $OpenBSD: patch-Makefile_build,v 1.2 2013/02/07 09:43:15 chrisz Exp $ Makefile.build.origMon Oct 29 15:46:37 2012 -+++ Makefile.build Sat Feb 2 18:06:08 2013 + +Remove the -silent flag to see what the validation suite is doing as it +runs for eons. + +--- Makefile.build.origMon Oct 29 10:46:37 2012 Makefile.build Sun Apr 7 14:14:26 2013 +@@ -381,7 +381,7 @@ install-ide-info: + + .PHONY: validate check test-suite $(ALLSTDLIB).v + +-VALIDOPTS=-silent -o -m ++VALIDOPTS=-o -m + + validate:: $(BESTCHICKEN) $(ALLVO) + $(SHOW)'COQCHK theories plugins' @@ -612,7 +612,7 @@ install-binaries:: install-$(BEST) install-tools install-byte:: Index: patches/patch-scripts_coqmktop_ml === RCS file: /home/cvs/ports/math/coq/patches/patch-scripts_coqmktop_ml,v retrieving revision 1.1 diff -u -p -u -r1.1 patch-scripts_coqmktop_ml --- patches/patch-scripts_coqmktop_ml 7 Feb 2013 09:43:15 - 1.1 +++ patches/patch-scripts_coqmktop_ml 27 Oct 2013 23:12:45 - @@ -1,23 +0,0 @@ -$OpenBSD: patch-scripts_coqmktop_ml,v 1.1 2013/02/07 09:43:15 chrisz Exp $ - -Compiling with camlp4 is broken in 8.4 and 8.4pl1. The patch below is needed -for things to work. A better approach is to migrate to camlp5. - -Discussion here: -https://sympa.inria.fr/sympa/arc/coq-club/2013-01/msg00067.html - -Patch here: -https://gforge.inria.fr/scm/viewvc.php/branches/v8.4/scripts/coqmktop.ml?root=coqr1=16015r2=16122pathrev=16122 - scripts/coqmktop.ml.orig Tue Dec 4 14:40:45 2012 -+++ scripts/coqmktop.mlSat Feb 2 18:44:09 2013 -@@ -45,8 +45,7 @@ let camlp4topobjs = - [ Camlp4Top.cmo; - Camlp4Parsers/Camlp4OCamlRevisedParser.cmo; - Camlp4Parsers/Camlp4OCamlParser.cmo; -- Camlp4Parsers/Camlp4GrammarParser.cmo; -- q_util.cmo; q_coqast.cmo ] -+ Camlp4Parsers/Camlp4GrammarParser.cmo] - let topobjs = camlp4topobjs - - let gramobjs = [] Index: patches/patch-test-suite-Makefile === RCS file:
openfire 3.6.4-3.7.0, use rc.d
After two years, they posted an update, so go with it. Simplify by
use of rc.d mechanism; add openfire.rc; remove MESSAGE (missed
during bulk conversion to pkg-readmes); tweak README wording; both
my previous patches incorporated upstream so remove; use javaPathHelper;
set MODJAVA_JRE = Yes.
Requires ajacoutot's (today) update to rc.subr!
OK?
Index: Makefile
===
RCS file: /cvs/ports/net/openfire/Makefile,v
retrieving revision 1.13
diff -u -p -r1.13 Makefile
--- Makefile13 Jan 2011 22:35:52 - 1.13
+++ Makefile6 Mar 2011 19:49:42 -
@@ -1,9 +1,8 @@
# $OpenBSD: Makefile,v 1.12 2010/11/19 22:31:35 espie Exp $
COMMENT= XMPP real time collaboration server
-DISTNAME= openfire_src_3_6_4
-PKGNAME= openfire-3.6.4
-REVISION= 6
+DISTNAME= openfire_src_3_7_0
+PKGNAME= openfire-3.7.0
CATEGORIES=net
MASTER_SITES= http://www.igniterealtime.org/downloadServlet?filename=openfire/
@@ -19,9 +18,11 @@ PERMIT_PACKAGE_FTP= Yes
NO_REGRESS=yes
MODULES=java
-MODJAVA_VER= 1.7+
+MODJAVA_VER = 1.7+
+MODJAVA_JRE = Yes
-BUILD_DEPENDS= devel/apache-ant
+BUILD_DEPENDS =devel/apache-ant
+RUN_DEPENDS = java/javaPathHelper
MAKE_ENV+= JAVA_HOME=${JAVA_HOME}
WRKDIST= ${WRKDIR}/openfire_src
@@ -29,9 +30,6 @@ WRKDIST= ${WRKDIR}/openfire_src
OPENFIREDEST= ${PREFIX}/openfire
DATADIRS= lib logs plugins resources
-post-configure:
- @sed -e s|__LOCALBASE__|${LOCALBASE}|g ; s|__PREFIX__|${PREFIX}|g
${FILESDIR}/openfirectl.template ${WRKBUILD}/openfirectl
-
do-build:
cd ${WRKSRC}/build ${SETENV} ${MAKE_ENV} ${LOCALBASE}/bin/ant
@@ -55,6 +53,5 @@ do-install:
${PREFIX}/share/examples/openfire
${INSTALL_DATA} ${WRKBUILD}/security/* \
${PREFIX}/share/examples/openfire/security
- ${INSTALL_SCRIPT} ${WRKBUILD}/openfirectl ${PREFIX}/sbin
.include bsd.port.mk
Index: distinfo
===
RCS file: /cvs/ports/net/openfire/distinfo,v
retrieving revision 1.1.1.1
diff -u -p -r1.1.1.1 distinfo
--- distinfo19 Jun 2009 01:09:36 - 1.1.1.1
+++ distinfo6 Mar 2011 19:49:42 -
@@ -1,5 +1,5 @@
-MD5 (openfire_src_3_6_4.tar.gz) = C1QXNoNVBFr7v6xBVe/ZiA==
-RMD160 (openfire_src_3_6_4.tar.gz) = G4OgjbbcXkt436xbjx7a1RDDNDI=
-SHA1 (openfire_src_3_6_4.tar.gz) = JXjb3kyTN9aH2TV1sulWMr3C6Qs=
-SHA256 (openfire_src_3_6_4.tar.gz) =
j1wzNNpEni+xvavivdRtsf2WpNx7PjSocEAfqQgZ6pk=
-SIZE (openfire_src_3_6_4.tar.gz) = 51183844
+MD5 (openfire_src_3_7_0.tar.gz) = 35ggszBx5hVLDylyoQ8y3g==
+RMD160 (openfire_src_3_7_0.tar.gz) = zg2tSKQkyr+Wz5cUzjOb9bCU8jg=
+SHA1 (openfire_src_3_7_0.tar.gz) = B3LvmyrOdKWKP3VuT80JWYFlg+M=
+SHA256 (openfire_src_3_7_0.tar.gz) =
g4YGNDsGBZzufZi54NmJ3FEQIbZODCSjN5GS52O570o=
+SIZE (openfire_src_3_7_0.tar.gz) = 60928248
Index: patches/patch-src_i18n_openfire_i18n_en_properties
===
RCS file: patches/patch-src_i18n_openfire_i18n_en_properties
diff -N patches/patch-src_i18n_openfire_i18n_en_properties
--- patches/patch-src_i18n_openfire_i18n_en_properties 14 Nov 2009 19:35:01
- 1.1
+++ /dev/null 1 Jan 1970 00:00:00 -
@@ -1,21 +0,0 @@
-$OpenBSD$
src/i18n/openfire_i18n_en.properties.orig Sat Jun 20 11:45:19 2009
-+++ src/i18n/openfire_i18n_en.properties Sat Jun 20 11:50:58 2009
-@@ -739,7 +739,7 @@ muc.form.conf.instruction=The room {0} has been crea
- click the OK button. Or, modify the settings by completing the
following form:
- muc.form.conf.owner_roomname=Room Name
- muc.form.conf.owner_roomdesc=Description
--muc.form.conf.owner_changesubject=Allow Occupants to Change Subject
-+muc.form.conf.owner_changesubject=Allow Occupants to Change Topic
- muc.form.conf.owner_maxusers=Maximum Room Occupants
- muc.form.conf.none=None
- muc.form.conf.owner_presencebroadcast=Roles for Which Presence is Broadcast
-@@ -2820,7 +2820,7 @@ mediaproxy.form.disabled.desc = This server will not a
- mediaproxy.form.idletimeout = Session Idle Timeout (in seconds)
- mediaproxy.form.idletimeout.tip = This value is usually bigger than 15
seconds.
- mediaproxy.form.lifetime = Session Life Time (in seconds)
--mediaproxy.form.lifetime.tip = Life Time is the maximum time that a Session
can lives. After this time it is destroyed, even if it stills active.
-+mediaproxy.form.lifetime.tip = Life Time is the maximum time that a Session
can live. After this time it is destroyed, even if it is still active.
- mediaproxy.form.minport = Port Range Min
- mediaproxy.form.maxport = Port Range Max
- mediaproxy.form.echoport = Echo Test Port
cvs server: cannot find
patches/patch-src_java_org_jivesoftware_openfire_XMPPServer_java
Index: pkg/MESSAGE
===
RCS file: pkg/MESSAGE
diff -N pkg/MESSAGE
--- pkg/MESSAGE 24 Jun 2009
[UPDATE] intellij 9.0.3 - 9.0.4
Here's an update of intellij to 9.0.4 which is a bugfix release.
Release notes are here:
http://confluence.jetbrains.net/display/IDEADEV/IntelliJ+IDEA+9.0.4+Release+Notes
This was tested on amd64.
Index: Makefile
===
RCS file: /cvs/ports/devel/intellij/Makefile,v
retrieving revision 1.9
diff -u -r1.9 Makefile
--- Makefile16 Nov 2010 19:53:02 - 1.9
+++ Makefile20 Nov 2010 16:21:29 -
@@ -4,10 +4,9 @@
COMMENT= IntelliJ Java IDE
-V= 9.0.3
+V= 9.0.4
DISTNAME= ideaIC-${V}
PKGNAME= intellij-${V}
-REVISION= 0
CATEGORIES=java devel
HOMEPAGE= http://www.jetbrains.com/idea/
@@ -32,7 +31,7 @@
NO_REGRESS=Yes
SUBST_VARS+= JAVA_HOME
-WRKDIST= ${WRKDIR}/idea-IC-95.429
+WRKDIST= ${WRKDIR}/idea-IC-95.627
IJ=${PREFIX}/intellij
# If NO_BUILD is set, JAVA_HOME doesn't get defined. So do
Index: distinfo
===
RCS file: /cvs/ports/devel/intellij/distinfo,v
retrieving revision 1.3
diff -u -r1.3 distinfo
--- distinfo24 Jul 2010 22:12:53 - 1.3
+++ distinfo20 Nov 2010 16:19:00 -
@@ -1,5 +1,5 @@
-MD5 (ideaIC-9.0.3.tar.gz) = c4YF7ljV7isyCRWoLxo8TA==
-RMD160 (ideaIC-9.0.3.tar.gz) = 0o2IBnRtV33PtMHpc1sE/mOLYGw=
-SHA1 (ideaIC-9.0.3.tar.gz) = lXg8Ao0UPxc072U/pXVDMZoE8Mc=
-SHA256 (ideaIC-9.0.3.tar.gz) = 07YDOJaoK8cUx6IXdhKxxW5iCUbrPohjuHyPHKp2yB8=
-SIZE (ideaIC-9.0.3.tar.gz) = 69218267
+MD5 (ideaIC-9.0.4.tar.gz) = ZG26DKNGI5/clvHBCmiLyQ==
+RMD160 (ideaIC-9.0.4.tar.gz) = /pw2ToJpb7yeIrfcOKk3DCfq7l0=
+SHA1 (ideaIC-9.0.4.tar.gz) = UrN7jy9ekA3EngEID7UOswIWynE=
+SHA256 (ideaIC-9.0.4.tar.gz) = Uf1TxmrdTCd6bsqmJkjitzPpwAWetALPGAtpwBVORAQ=
+SIZE (ideaIC-9.0.4.tar.gz) = 70686036
Index: pkg/PLIST
===
RCS file: /cvs/ports/devel/intellij/pkg/PLIST,v
retrieving revision 1.5
diff -u -r1.5 PLIST
--- pkg/PLIST 10 Nov 2010 07:58:59 - 1.5
+++ pkg/PLIST 20 Nov 2010 16:29:04 -
@@ -252,6 +252,6 @@
intellij/plugins/uiDesigner/lib/uiDesigner.jar
@man man/man1/idea.1
share/applications/intellij.desktop
-share/doc/pkg-readmes/${FULLPKGNAME}
@exec %D/bin/update-desktop-database
@unexec-delete %D/bin/update-desktop-database
+share/doc/pkg-readmes/${FULLPKGNAME}
