To build the development: 
 * Install the latest coq version from svn (c.f. http://coq.gforge.inria.fr/)
 * cd src
 * coq_makefile -f Make -o Makefile
 * make depend all
 * To extract the code:
   cd extraction ; sh extract.sh
   In extraction/{ml,hs} you can do make to compile the libraries.