From: Ralf Hartmann Date: Mon, 6 Feb 2006 16:10:22 +0000 (+0000) Subject: Some fixes. X-Git-Tag: v8.0.0~12442 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a37d55dc5d4819aad5eee4f740273fd89d9bf6e2;p=dealii.git Some fixes. git-svn-id: https://svn.dealii.org/trunk@12237 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/common/scripts/minimize_boost b/deal.II/common/scripts/minimize_boost index 89cef1cd85..8b87269dce 100755 --- a/deal.II/common/scripts/minimize_boost +++ b/deal.II/common/scripts/minimize_boost @@ -6,7 +6,7 @@ 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 && \ @@ -89,14 +89,10 @@ elif test $Oversion -lt $Bversion; then 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 @@ -166,7 +162,8 @@ if test -d boost._bak; then 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