diff options
| author | fjoe <fjoe@FreeBSD.org> | 2012-10-08 22:56:58 +0800 |
|---|---|---|
| committer | fjoe <fjoe@FreeBSD.org> | 2012-10-08 22:56:58 +0800 |
| commit | b9c0c3a6bfbdde243cb9f1c8548349cb2492b1e3 (patch) | |
| tree | 207bc8be24934fd35aa23721bbdf7d9ad70888f7 /databases/pgadmin3 | |
| parent | cc1c144ca1d3cb1741d10ccc581c76f47c9ac0f0 (diff) | |
| download | freebsd-ports-gnome-b9c0c3a6bfbdde243cb9f1c8548349cb2492b1e3.tar.gz freebsd-ports-gnome-b9c0c3a6bfbdde243cb9f1c8548349cb2492b1e3.tar.zst freebsd-ports-gnome-b9c0c3a6bfbdde243cb9f1c8548349cb2492b1e3.zip | |
Do not build documentation, even if sphinx-build is installed.
Diffstat (limited to 'databases/pgadmin3')
| -rw-r--r-- | databases/pgadmin3/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/databases/pgadmin3/Makefile b/databases/pgadmin3/Makefile index 0d42d4066eb7..c746d0c627e3 100644 --- a/databases/pgadmin3/Makefile +++ b/databases/pgadmin3/Makefile @@ -24,7 +24,8 @@ USE_GMAKE= yes GNU_CONFIGURE= yes CONFIGURE_ENV= LIBS="${PTHREAD_LIBS}" CPPFLAGS+= ${PTHREAD_CFLAGS} -CONFIGURE_ARGS= --with-wx-version=${USE_WX} +CONFIGURE_ARGS= --with-wx-version=${USE_WX}\ + --without-sphinx-build USE_GNOME= libxml2 libxslt USE_WX= 2.8 WX_COMPS= wx contrib |