diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/linux-build-dependencies.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/linux-build-dependencies.sh b/scripts/linux-build-dependencies.sh index 154545f..a5e2bcc 100755 --- a/scripts/linux-build-dependencies.sh +++ b/scripts/linux-build-dependencies.sh @@ -326,9 +326,9 @@ fi # edit version numbers here as needed. # -#build_eigen 3.1.1 -#build_gmp 5.0.5 -#build_mpfr 3.1.1 +build_eigen 3.1.1 +build_gmp 5.0.5 +build_mpfr 3.1.1 build_boost 1.50.0 # NB! For CGAL, also update the actual download URL in the function build_cgal 4.0.2 |