I got it working
I was using the
install.ml from the wiki, it seems you need to use the one inside /doc of the revision you need to build.
Also commented the line 167:
(* download(); *)
to avoid downloading again the source from the svn repo.
Makefiles with GNU tools doesn't work following the instructions on the wiki.