echo Running `pwd`/minimize_boost
# path of the (original) boost library, e.g.
-O=/home/rhartman/tmp/boost-1.30.2
+O=/home/rhartman/boost/boost_1_31_0
# directory of the deal.II library
Dtmp=`pwd`/../..
cd $Dtmp && \
elif test $Oversion -gt $Bversion; then
echo "Updating $B/boost"
echo "from boost version $Bversion to $Oversion ..."
- echo "Error: Not Implemented"
- exit
elif [ $Bversion = "none" ]; then
echo "There is currently no version of boost in deal.II"
fi
-exit
-
# If there is already a boost directory:
# 1. take inventory, which will be compared with the inventory at the end
# 2. move the boost directory out of the way
cd $B && tar cf boost._tar boost
cd $B && rm -rf boost; mv boost._bak boost
cd $B && tar xf boost._tar
- rm boost._tar
+ cd $B && rm boost._tar
+ cd $B && cp $O/boost/version.hpp boost
fi
# output of diffs