diff options
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 |