diff options
| author | romain <romain@FreeBSD.org> | 2015-08-16 14:57:24 +0800 |
|---|---|---|
| committer | romain <romain@FreeBSD.org> | 2015-08-16 14:57:24 +0800 |
| commit | 33323f24efffa7388aa7bcec802d79a293b3ef97 (patch) | |
| tree | 0b1ac753cd517b90e428df4b70fe6c0f9b584282 /devel | |
| parent | 05c3b16b194c0c8ab41c82f9e6eeb92f34a49f39 (diff) | |
| download | freebsd-ports-gnome-33323f24efffa7388aa7bcec802d79a293b3ef97.tar.gz freebsd-ports-gnome-33323f24efffa7388aa7bcec802d79a293b3ef97.tar.zst freebsd-ports-gnome-33323f24efffa7388aa7bcec802d79a293b3ef97.zip | |
Mark broken.
Diffstat (limited to 'devel')
| -rw-r--r-- | devel/monodevelop/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/devel/monodevelop/Makefile b/devel/monodevelop/Makefile index b05406be32df..8d97507fa849 100644 --- a/devel/monodevelop/Makefile +++ b/devel/monodevelop/Makefile @@ -16,6 +16,8 @@ RUN_DEPENDS= ${LOCALBASE}/lib/libgdiplus.a:${PORTSDIR}/x11-toolkits/libgdiplus \ exctags:${PORTSDIR}/devel/ctags \ mautil:${PORTSDIR}/devel/mono-addins +BROKEN= GUI does not start + USE_GNOME= gtksharp20 gnomesharp20 GNU_CONFIGURE= yes CONFIGURE_ARGS= --disable-update-mimedb --disable-update-desktopdb |