davidlt/fedora-comps
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add cbmc, remake, and trinity to c-development.

Browse Source
This commit is contained in:
Jerry James 2014-07-07 09:54:56 -06:00
parent 935b68d5e0
commit 831f211a2d
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
comps-f21.xml.in
View File

@ -1811,6 +1811,7 @@
<packagereq basearchonly="true" type="default">oprofile-gui</packagereq>
<packagereq type="default">valgrind</packagereq>
<packagereq type="optional">astyle</packagereq>
<packagereq type="optional">cbmc</packagereq>
<packagereq type="optional">check</packagereq>
<packagereq type="optional">cmake</packagereq>
<packagereq type="optional">coan</packagereq>
@ -1820,8 +1821,10 @@
<packagereq type="optional">insight</packagereq>
<packagereq type="optional">nasm</packagereq>
<packagereq type="optional">pscan</packagereq>
<packagereq type="optional">remake</packagereq>
<packagereq type="optional">scons</packagereq>
<packagereq type="optional">splint</packagereq>
<packagereq type="optional">trinity</packagereq>
<packagereq type="optional">undertaker</packagereq>
<packagereq type="optional">yasm</packagereq>
<packagereq type="optional">zzuf</packagereq>