-
Kenneth Leiter authored
shared_dynamic_cast was deprecated and removed from newer versions of boost as dynamic_pointer_cast provides the same functionality. Check at configure time whether shared_dynamic_cast exists and if not, then provide our own implementation that uses dynamic_pointer_cast.
158f4ab5