[mingw32-gcc/f16] (2 commits) ...Fix float.h inclusion when gcc's headers precede mingrt in include path

[Kalev Lember]

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