diff options
Diffstat (limited to 'databases/pgadmin3')
| -rw-r--r-- | databases/pgadmin3/Makefile | 6 | ||||
| -rw-r--r-- | databases/pgadmin3/files/patch-Makefile.in | 11 |
2 files changed, 15 insertions, 2 deletions
diff --git a/databases/pgadmin3/Makefile b/databases/pgadmin3/Makefile index c746d0c627e3..724ffeb541ea 100644 --- a/databases/pgadmin3/Makefile +++ b/databases/pgadmin3/Makefile @@ -7,6 +7,7 @@ PORTNAME= pgadmin3 PORTVERSION= 1.16.0 +PORTREVISION= 1 CATEGORIES= databases MASTER_SITES= PGSQL MASTER_SITE_SUBDIR= pgadmin3/release/v${PORTVERSION}/src @@ -15,6 +16,8 @@ DIST_SUBDIR= postgresql MAINTAINER= fjoe@FreeBSD.org COMMENT= PostgreSQL database design and management system +BUILD_DEPENDS= sphinx-build:${PORTSDIR}/textproc/py-sphinx + IGNORE_WITH_PGSQL= 82 83 MAKE_JOBS_SAFE= yes @@ -24,8 +27,7 @@ USE_GMAKE= yes GNU_CONFIGURE= yes CONFIGURE_ENV= LIBS="${PTHREAD_LIBS}" CPPFLAGS+= ${PTHREAD_CFLAGS} -CONFIGURE_ARGS= --with-wx-version=${USE_WX}\ - --without-sphinx-build +CONFIGURE_ARGS= --with-wx-version=${USE_WX} USE_GNOME= libxml2 libxslt USE_WX= 2.8 WX_COMPS= wx contrib diff --git a/databases/pgadmin3/files/patch-Makefile.in b/databases/pgadmin3/files/patch-Makefile.in new file mode 100644 index 000000000000..b3b5753c7e26 --- /dev/null +++ b/databases/pgadmin3/files/patch-Makefile.in @@ -0,0 +1,11 @@ +--- Makefile.in.orig 2012-11-04 18:15:35.000000000 +0700 ++++ Makefile.in 2012-11-04 18:15:45.000000000 +0700 +@@ -956,7 +956,7 @@ + + # Create HTML docs + doc: +-@SPHINX_BUILD_TRUE@ cd $(top_srcdir)/docs/en_US && make -f Makefile.sphinx SPHINXBUILD=${SPHINX_BUILD} htmlhelp ++@SPHINX_BUILD_TRUE@ cd $(top_srcdir)/docs/en_US && ${MAKE} -f Makefile.sphinx SPHINXBUILD=${SPHINX_BUILD} htmlhelp + + all: doc + |