CAML_LD_LIBRARY_PATH=${INSTALL_ROOT}/usr/lib/coq LDFLAGS+=" -Wl,-z,defs" \
  default_build_configure &&
make_single        &&
default_build_make &&
make_normal
