2014-11-24 23:46:39 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
set -e
|
|
|
|
boost=""
|
2015-01-01 22:16:32 +00:00
|
|
|
for dir in "/include" "/usr/include" "/usr/local/include";do
|
2014-11-24 23:46:39 +00:00
|
|
|
if [ -d "$dir/boost" ];then
|
|
|
|
boost="$dir"
|
|
|
|
fi
|
|
|
|
done
|
|
|
|
if [ -z "$boost" ];then
|
|
|
|
echo "ERROR: unable to find boost headers"
|
|
|
|
exit 1
|
|
|
|
elif [ -z "$(type -p bcp)" ];then
|
2015-05-03 22:03:09 +00:00
|
|
|
echo "ERROR: bcp tool not found"
|
2014-11-24 23:46:39 +00:00
|
|
|
exit 2
|
|
|
|
fi
|
|
|
|
rm -vrf miniboost/
|
|
|
|
mkdir -vp miniboost/
|
|
|
|
|
|
|
|
bcp --boost="$boost" boost/shared_array.hpp boost/concept_check.hpp \
|
2014-11-25 00:31:04 +00:00
|
|
|
boost/scoped_ptr.hpp boost/circular_buffer.hpp boost/scoped_array.hpp \
|
2014-12-01 20:12:11 +00:00
|
|
|
boost/shared_ptr.hpp boost/enable_shared_from_this.hpp boost/weak_ptr.hpp \
|
2015-07-28 02:27:29 +03:00
|
|
|
boost/bind.hpp boost/multi_index_container.hpp boost/foreach.hpp \
|
2015-07-28 02:25:42 +03:00
|
|
|
boost/multi_index/member.hpp boost/multi_index/ordered_index.hpp miniboost/
|