mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-12-30 12:10:37 +00:00
51 lines
1.6 KiB
XML
51 lines
1.6 KiB
XML
<?xml version="1.0"?>
|
|
<anjuta>
|
|
<plugin name="GBF Project Manager"
|
|
url="http://anjuta.org/plugins/"
|
|
mandatory="yes">
|
|
<require group="Anjuta Plugin"
|
|
attribute="Interfaces"
|
|
value="IAnjutaProjectManager"/>
|
|
</plugin>
|
|
<plugin name="AutoTools Project Backend"
|
|
url="http://anjuta.org/plugins/"
|
|
mandatory="yes">
|
|
<require group="Anjuta Plugin"
|
|
attribute="Interfaces"
|
|
value="IAnjutaProjectBackend"/>
|
|
<require group="Project"
|
|
attribute="Supported-Project-Types"
|
|
value="automake"/>
|
|
</plugin>
|
|
<plugin name="Symbol Browser"
|
|
url="http://anjuta.org/plugins/"
|
|
mandatory="yes">
|
|
<require group="Anjuta Plugin"
|
|
attribute="Interfaces"
|
|
value="IAnjutaSymbolManager"/>
|
|
</plugin>
|
|
<plugin name="Make Build System"
|
|
url="http://anjuta.org/plugins/"
|
|
mandatory="yes">
|
|
<require group="Anjuta Plugin"
|
|
attribute="Interfaces"
|
|
value="IAnjutaBuildable"/>
|
|
<require group="Build"
|
|
attribute="Supported-Build-Types"
|
|
value="make"/>
|
|
</plugin>
|
|
<plugin name="Task Manager"
|
|
url="http://anjuta.org/plugins/"
|
|
mandatory="no">
|
|
<require group="Anjuta Plugin"
|
|
attribute="Interfaces"
|
|
value="IAnjutaTodo"/>
|
|
</plugin>
|
|
<plugin name="Debug Manager"
|
|
url="http://anjuta.org/plugins/"
|
|
mandatory="no">
|
|
<require group="Anjuta Plugin"
|
|
attribute="Interfaces"
|
|
value="IAnjutaDebugManager"/>
|
|
</plugin>
|
|
</anjuta>
|