diff options
author | Romain Tartière <romain@FreeBSD.org> | 2015-08-16 06:57:24 +0000 |
---|---|---|
committer | Romain Tartière <romain@FreeBSD.org> | 2015-08-16 06:57:24 +0000 |
commit | 2c8fcecff8683dda9887effa1d3347a10965db35 (patch) | |
tree | 0b1ac753cd517b90e428df4b70fe6c0f9b584282 | |
parent | 329511b2b730aec25315aac66bd60c7c5a20ec23 (diff) | |
download | freebsd-ports-2c8fcecff8683dda9887effa1d3347a10965db35.zip |
Mark broken.
-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 |