tree 164d1669ae3ae7b6fcb225ea286ccdfc00a46142
parent ab13ac74cae770bcdf3dc4bf9d8ebd8f998bf6b2
author Jeff Thompson <jefft0@gmail.com> 1375400860 -0700
committer Jeff Thompson <jefft0@gmail.com> 1375400860 -0700

If no HAVE_STD_SHARED_PTR or HAVE_BOOST_SHARED_PTR then set ptr_lib to ndnboost in the boost headers in this distribution.