please change the Make file to point to your directories
then run 
  coq_makefile -f Make > Makefile
  make

