diff options
| author | Marius Kintel <marius@kintel.net> | 2012-12-11 20:22:28 (GMT) |
|---|---|---|
| committer | Marius Kintel <marius@kintel.net> | 2012-12-11 20:22:28 (GMT) |
| commit | 4bd97b936e2af49248e8d15f5485e09dd52fa8d5 (patch) | |
| tree | b8e652fee2f1bc7683d5261714de87a0b6f551e4 /scripts/macosx-build-dependencies.sh | |
| parent | a64f93269303b89cd0fdabd5791d04e5e60d2b0a (diff) | |
Bumped eigen to 3.1.2
Diffstat (limited to 'scripts/macosx-build-dependencies.sh')
| -rwxr-xr-x | scripts/macosx-build-dependencies.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/macosx-build-dependencies.sh b/scripts/macosx-build-dependencies.sh index 1036320..6313b2b 100755 --- a/scripts/macosx-build-dependencies.sh +++ b/scripts/macosx-build-dependencies.sh @@ -284,7 +284,7 @@ build_eigen() EIGENDIR="none" if [ $version = "2.0.17" ]; then EIGENDIR=eigen-eigen-b23437e61a07; fi - if [ $version = "3.1.1" ]; then EIGENDIR=eigen-eigen-43d9075b23ef; fi + if [ $version = "3.1.2" ]; then EIGENDIR=eigen-eigen-5097c01bcdc4; fi if [ $EIGENDIR = "none" ]; then echo Unknown eigen version. Please edit script. exit 1 @@ -365,7 +365,7 @@ fi echo "Using basedir:" $BASEDIR mkdir -p $SRCDIR $DEPLOYDIR -build_eigen 3.1.1 +build_eigen 3.1.2 build_gmp 5.0.5 build_mpfr 3.1.1 build_boost 1.51.0 |