@@ -0,0 +1,582 @@
+class MonoAddinsGTK3Package (GitHubPackage):%0A%09def __init__ (self):%09%09%0A%09%09GitHubPackage.__init__ (self, 'mono', 'mono-addins', '0.6.2',%0A%09%09%09revision = 'fbe9f412705aa2f4adb0aafc56fcb15671f36fbe',%0A%09%09%09configure_flags = %5B%0A%09%09%09'--disable-docs',%0A%09%09%09# disable gtk#2 and enable gtk#3%0A%09%09%09'--disable-gui',%0A%09%09%09'--enable-gui-gtk3'%0A%09%09%09%5D)%0A%0A%09def prep (self):%0A%09%09Package.prep (self)%0A%09%09# Force use of mcs instead of gmcs%0A%09%09self.sh ('sed -ie %22s/gmcs/mcs/g%22 %22configure.ac%22')%0A%09%09# Run autogen, initially disabling gtk#2 %0A%09%09self.sh ('./autogen.sh --prefix=%22%25%7Bprefix%7D%22 --disable-gui')%0A %0AMonoAddinsGTK3Package ()

Add mono-addins-gtk3