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/alt-ergo | |
| parent | 18eb550f56fe3aafc605e62cc8996ba8626d0c29 (diff) | |
| download | ports-ddc550ff99131ed2bd4a88a7697d39209bb12846.tar.gz ports-ddc550ff99131ed2bd4a88a7697d39209bb12846.zip | |
Notes
Diffstat (limited to 'math/alt-ergo')
| -rw-r--r-- | math/alt-ergo/Makefile | 12 |
1 files changed, 5 insertions, 7 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" ; \ |