"-fno-rtti" might be needed.

Thanks to Jeroen Ketema for pointing this out.
Updated .gitignore
Replace custom Makefile by cmake

Drop llvm2kittel.static. This only works on Linux;
Mac OS X does not support complete static linking.
Add warning flags back except for -Werror

-Werror currently makes compilation fail for me
due to -Wcovered-switch-default
Detect gmp
Copy kittel scripts to build directory
Get location of clang from llvm-configure
Merge pull request #1 from jeroenk/cmake

Migrate Makefile over to cmake
Merge pull request #2 from jeroenk/scripts

Copy the invocation scripts
I don't think headers should be listed here.
This should be contained in "llvm-config --cxxflags" if needed.
More consistent layout.
This should not hurt.
Removed Macros.h, the only macro is only used in one file.
Add some hierarchy to the source files
Merge pull request #3 from jeroenk/reorg

Add some hierarchy to the source files
Moved gmp_kittel to Util.
Moved InstNamer to Transform.
RewriteSystem -> IntTRS
Add header files to libraries