Contains various scripts and tools to run TypeChef on Linux.
Check the paths to your header files in the redhat.properties file. Currently, the configuration files point to a systems directory for header files. That directory is not part of this repository. If you want to use the exact same headers that we are using download them here http://www.informatik.uni-marburg.de/~kaestner/tmp/includes-redhat.tar.bz2