HoTT/HoTT — pull request #342 by DanGrayson (2014-03-18 00:04:50+00:00)
Title: fix the clang problem when building coq

The problem is with the option -fno-defer-pop, which is understood
by gcc but not by clang.

A few other problems are fixed, too, notably with sed in the
script "configure", and with the script not stopping on errors.

NOTE: If you are using a version of ocamlc installed by homebrew and are running
Mavericks, then execute these commands:

brew update
brew upgrade objective-caml

More extreme, if that doesn't work, is to follow it with

brew remove objective-caml
brew install objective-caml