[mingw32-gcc/f16] (2 commits) ...Fix float.h inclusion when gcc's headers precede mingrt in include path
Summary of changes:
c467d3a... Build against ppl and cloog (*)
4b93699... Fix float.h inclusion when gcc's headers precede mingrt in (*)
(*) This commit already existed in another branch; no separate mail sent