camkes-tool/tools/check_deps.py

44 class Binary(Package):
50 class Pylint(Binary):
149     'seL4':(Binary('gcc', 'C compiler'),
151             Binary('xmllint', 'XML validator'),
152             Binary('bash', 'shell'),
153             Binary('make', 'GNU Make build tool'),
154             Binary('cpio', 'CPIO file system tool')),
155     'CapDL translator':(Binary('stack', 'Haskell version manager'),),
156     'CAmkES test suite':(Binary('expect', 'automation utility'),
158                          Binary('qemu-system-arm', 'ARM emulator'),
159                          Binary('qemu-system-i386', 'IA32 emulator'),
161                          Binary('gcc', 'C compiler'),
162                          Binary('spin', 'model checker'),
163                          Binary('sha256sum', 'file hashing utility')),
167     (Binary('sponge', 'input coalescer from moreutils'),
169     (Binary('qemu-system-arm', 'ARM emulator'),
171     (Binary('qemu-system-i386', 'IA32 emulator'),
173     (Binary('ccache', 'C compiler accelerator'),
175     (Binary('clang-format', 'Clang code reformatter'),
179     (Or(Binary('arm-none-eabi-gcc', 'ARM C compiler'),
180         Binary('arm-linux-gnueabi-gcc', 'ARM C compiler'),
181         Binary('arm-linux-gnu-gcc', 'ARM C compiler')),
183     (Binary('pandoc', 'document format translator'),
185     (Binary('astyle', 'code reformater'),
187     (Binary('c-parser', 'NICTA C-to-Simpl parser'),
189     (Or(Binary('arm-none-eabi-objdump', 'ARM disassembler'),
190         Binary('arm-linux-gnueabi-objdump', 'ARM disassembler'),
191         Binary('arm-linux-gnu-objdump', 'ARM disassembler')),
193     (Binary('objdump', 'disassembler'),
195     (Binary('VBoxManage', 'VirtualBox administration tool'),
197     (Binary('syslinux', 'Linux bootloader tool'),
199     (Binary('mpartition', 'partitioning tool for MSDOS disks'),
201     (Binary('mformat', 'formatting tool for MSDOS disks'),
203     (Binary('mcopy', 'copying tool for MSDOS disks'),
205     (Binary('figleaf', 'code coverage tool for Python'),
207     (Binary('python-coverage', 'code coverage tool for Python'),
209     (Binary('clang', 'C compiler'),