====== include/ ======

Boost headers are included in the include/boost directory. This directory also contains the headers for GMP and MPFR (two prerequisites for building our own gcc).