mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-12-11 02:46:33 +00:00
52 lines
1.6 KiB
Text
52 lines
1.6 KiB
Text
|
<?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>
|