diff options
| author | Brendan Fabeny <bf@FreeBSD.org> | 2013-03-05 20:22:02 +0000 |
|---|---|---|
| committer | Brendan Fabeny <bf@FreeBSD.org> | 2013-03-05 20:22:02 +0000 |
| commit | ddc550ff99131ed2bd4a88a7697d39209bb12846 (patch) | |
| tree | 29b4d5468cf992e8cbc961e010614eb345b72dcb /math | |
| parent | 18eb550f56fe3aafc605e62cc8996ba8626d0c29 (diff) | |
| download | ports-ddc550ff99131ed2bd4a88a7697d39209bb12846.tar.gz ports-ddc550ff99131ed2bd4a88a7697d39209bb12846.zip | |
Notes
Diffstat (limited to 'math')
| -rw-r--r-- | math/alt-ergo/Makefile | 12 | ||||
| -rw-r--r-- | math/coq/Makefile | 1 | ||||
| -rw-r--r-- | math/ocaml-ocamlgraph/Makefile | 13 |
3 files changed, 14 insertions, 12 deletions
diff --git a/math/alt-ergo/Makefile b/math/alt-ergo/Makefile index cc4fd5263c54..63cb2ec83f8a 100644 --- a/math/alt-ergo/Makefile +++ b/math/alt-ergo/Makefile @@ -1,13 +1,9 @@ -# New ports collection makefile for: alt-ergo -# Date created: 20 December 2011 -# Whom: b.f. <bf@FreeBSD.org> -# +# Created by: b.f. <bf@FreeBSD.org> # $FreeBSD$ -# PORTNAME= alt-ergo PORTVERSION= 0.94 -PORTREVISION= 1 +PORTREVISION= 2 CATEGORIES= math MASTER_SITES= http://alt-ergo.lri.fr/http/ LOCAL/bf @@ -50,10 +46,12 @@ post-patch: \|/usr/share/gtksourceview-2.0|s|/usr|${PREFIX}|; }' \ -e 's|make -C|${GMAKE} -C|' \ ${WRKSRC}/Makefile.in + @${REINPLACE_CMD} -Ee 's@(\+|/)(lablgtk2)@\1site-lib/\2@' \ + ${WRKSRC}/configure .if defined(WITH_GUI) pre-configure: - @(if [ ! -e ${LOCALBASE}/lib/ocaml/lablgtk2/lablgtksourceview2.cmxa ] ; then \ + @(if [ ! -e ${LOCALBASE}/${OCAML_SITELIBDIR}/lablgtk2/lablgtksourceview2.cmxa ] ; then \ ${ECHO_MSG} "==> The WITH_GUI option for ${PKGNAME} requires" ; \ ${ECHO_MSG} "==> x11-toolkits/ocaml-lablgtk2 to be built" ; \ ${ECHO_MSG} "==> WITH_GTKSOURCEVIEW2" ; \ diff --git a/math/coq/Makefile b/math/coq/Makefile index 86f1dcc21f02..30265732cabe 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -3,6 +3,7 @@ PORTNAME= coq PORTVERSION= 8.4.1 +PORTREVISION= 1 PORTEPOCH= 1 CATEGORIES= math MASTER_SITES= http://coq.inria.fr/distrib/V${COQVERSION}/files/ \ diff --git a/math/ocaml-ocamlgraph/Makefile b/math/ocaml-ocamlgraph/Makefile index 6fe5801a561c..258a3e26bf7c 100644 --- a/math/ocaml-ocamlgraph/Makefile +++ b/math/ocaml-ocamlgraph/Makefile @@ -1,12 +1,9 @@ -# New ports collection makefile for: ocaml-ocamlgraph -# Date created: 25 May 2004 -# Whom: Joseph Koshy <jkoshy@freebsd.org> -# +# Created by: Joseph Koshy <jkoshy@freebsd.org> # $FreeBSD$ -# PORTNAME= ocamlgraph PORTVERSION= 1.8.2 +PORTREVISION= 1 CATEGORIES= math MASTER_SITES= http://ocamlgraph.lri.fr/download/ PKGNAMEPREFIX= ocaml- @@ -30,6 +27,8 @@ PLIST_SUB+= OCAMLGRAPHDIR="${OCAML_LIBDIR}/${PORTNAME}" ALL_TARGET= all INSTALL_TARGET= install install-findlib +MAKE_JOBS_UNSAFE= yes + PORTSCOUT= skipv:1.81 .include <bsd.port.options.mk> @@ -52,6 +51,10 @@ post-patch: .if empty(PORT_OPTIONS:MGUI) # Override auto-detection @${REINPLACE_CMD} -Ee 's/(LABLGTK2)=yes/\1=no/' ${WRKSRC}/configure +.else + @${REINPLACE_CMD} -Ee 's@(\+|/)(lablgtk2)@\1site-lib/\2@' \ + ${WRKSRC}/configure \ + ${WRKSRC}/view_graph/Makefile .endif post-install: |