Date: Mon, 2 Jun 2014 23:51:07 +0000 (UTC) From: John Marino <marino@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r356261 - head/math/alt-ergo Message-ID: <201406022351.s52Np7Yo097572@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: marino Date: Mon Jun 2 23:51:07 2014 New Revision: 356261 URL: http://svnweb.freebsd.org/changeset/ports/356261 QAT: https://qat.redports.org/buildarchive/r356261/ Log: math/alt-ergo: Update version 0.94 => 0.95.2 and support stage Modified: head/math/alt-ergo/Makefile head/math/alt-ergo/distinfo head/math/alt-ergo/pkg-plist Modified: head/math/alt-ergo/Makefile ============================================================================== --- head/math/alt-ergo/Makefile Mon Jun 2 23:50:01 2014 (r356260) +++ head/math/alt-ergo/Makefile Mon Jun 2 23:51:07 2014 (r356261) @@ -2,50 +2,46 @@ # $FreeBSD$ PORTNAME= alt-ergo -PORTVERSION= 0.94 -PORTREVISION= 2 +PORTVERSION= 0.95.2 CATEGORIES= math -MASTER_SITES= http://alt-ergo.lri.fr/http/alt-ergo-${PORTVERSION}/ LOCAL/bf +MASTER_SITES= http://alt-ergo.ocamlpro.com/http/alt-ergo-${PORTVERSION}/ MAINTAINER= bf@FreeBSD.org -COMMENT= An automatic theorem prover dedicated to program verification +COMMENT= Automatic solver of mathematical formulas for program verification LICENSE= CeCILL-C LICENSE_NAME= Ce[a] C[nrs] I[nria] L[ogiciel] L[ibre] C license, version 1 -LICENSE_FILE= ${WRKSRC}/CeCILL-C +LICENSE_FILE= ${WRKSRC}/LICENSE LICENSE_PERMS= auto-accept -BUILD_DEPENDS= ${LOCALBASE}/lib/ocaml/ocamlgraph/graph.a:${PORTSDIR}/math/ocaml-ocamlgraph -RUN_DEPENDS= ${LOCALBASE}/lib/ocaml/ocamlgraph/graph.a:${PORTSDIR}/math/ocaml-ocamlgraph +BUILD_DEPENDS= ocaml-zarith>1.2:${PORTSDIR}/math/ocaml-zarith \ + ocaml-ocamlgraph>1.8:${PORTSDIR}/math/ocaml-ocamlgraph +RUN_DEPENDS= ocaml-ocamlgraph>1.8:${PORTSDIR}/math/ocaml-ocamlgraph GNU_CONFIGURE= yes USES= gmake USE_OCAML= yes +ALL_TARGET= opt pack xpack META +INSTALL_TARGET= install install-pack-opt install-pack-byte -MAN1= alt-ergo.1 +OPTIONS_DEFINE= GUI +OPTIONS_DEFAULT=GUI +OPTIONS_SUB= yes -OPTIONS_DEFINE= GUI -OPTIONS_DEFAULT= GUI - -NO_STAGE= yes .include <bsd.port.options.mk> .if ${PORT_OPTIONS:MGUI} BUILD_DEPENDS += lablgtk2:${PORTSDIR}/x11-toolkits/ocaml-lablgtk2 RUN_DEPENDS+= lablgtk2:${PORTSDIR}/x11-toolkits/ocaml-lablgtk2 -ALL_TARGET= all gui -INSTALL_TARGET = install install-gui -PLIST_SUB+= GUI="" -.else -PLIST_SUB+= GUI="@comment " +ALL_TARGET+= gui +INSTALL_TARGET+= install-gui .endif post-patch: @${REINPLACE_CMD} -e '\|^# installation|,\|^# documentation|{ \ \|cp -f.*$$(BINDIR)|s|cp -f|${INSTALL_SCRIPT}|; \ \|cp -f.*$$(MANDIR)|s|cp -f|${INSTALL_MAN}|; \ - \|cp -f.*$$(LIBDIR)|s|cp -f|${INSTALL_DATA}|; \ - \|/usr/share/gtksourceview-2.0|s|/usr|${PREFIX}|; }' \ + \|cp -f.*$$(LIBDIR)|s|cp -f|${INSTALL_DATA}|; }' \ -e 's|make -C|${GMAKE} -C|' \ ${WRKSRC}/Makefile.in @${REINPLACE_CMD} -Ee 's@(\+|/)(lablgtk2)@\1site-lib/\2@' \ @@ -58,9 +54,6 @@ pre-configure: ${ECHO_MSG} "==> x11-toolkits/ocaml-lablgtk2 to be built" ; \ ${ECHO_MSG} "==> WITH_GTKSOURCEVIEW2" ; \ exit 1; fi) - -pre-install: - @${MKDIR} ${PREFIX}/share/gtksourceview-2.0/language-specs - .endif + .include <bsd.port.mk> Modified: head/math/alt-ergo/distinfo ============================================================================== --- head/math/alt-ergo/distinfo Mon Jun 2 23:50:01 2014 (r356260) +++ head/math/alt-ergo/distinfo Mon Jun 2 23:51:07 2014 (r356261) @@ -1,2 +1,2 @@ -SHA256 (alt-ergo-0.94.tar.gz) = bb6ddf947357d587eac4dc3375b712af2c58e46d3f5ab2c8eee5f25a99c2cd6e -SIZE (alt-ergo-0.94.tar.gz) = 188414 +SHA256 (alt-ergo-0.95.2.tar.gz) = 5a6cd4349c144653be19a1ba4c254bbf626bdfd97c54d1c13ba63e396006eeac +SIZE (alt-ergo-0.95.2.tar.gz) = 233778 Modified: head/math/alt-ergo/pkg-plist ============================================================================== --- head/math/alt-ergo/pkg-plist Mon Jun 2 23:50:01 2014 (r356260) +++ head/math/alt-ergo/pkg-plist Mon Jun 2 23:51:07 2014 (r356261) @@ -1,10 +1,12 @@ bin/alt-ergo %%GUI%%bin/altgr-ergo -lib/alt-ergo/altErgo.cmi -lib/alt-ergo/altErgo.cmo -lib/alt-ergo/altErgo.cmx -lib/alt-ergo/altErgo.o +lib/ocaml/alt-ergo/META +lib/ocaml/alt-ergo/altErgo.cmi +lib/ocaml/alt-ergo/altErgo.cmo +lib/ocaml/alt-ergo/altErgo.cmx +lib/ocaml/alt-ergo/altErgo.o +man/man1/alt-ergo.1.gz share/gtksourceview-2.0/language-specs/alt-ergo.lang @dirrmtry share/gtksourceview-2.0/language-specs @dirrmtry share/gtksourceview-2.0 -@dirrm lib/alt-ergo +@dirrm lib/ocaml/alt-ergo
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201406022351.s52Np7Yo097572>