master: get_ipoot.sh: advance to ipopt-3.14.16.

coin-or · Sep 11, 2024 · 2faeed6 · 2faeed6
1 parent bb4f2b7
commit 2faeed6
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 7 deletions.
diff --git a/appendix/whats_new/2024.xrst b/appendix/whats_new/2024.xrst
@@ -33,8 +33,9 @@ mm-dd
 
 09-11
 =====
-The :ref:`get_ipopt.sh@Source Directory` was changed from
-``external/Ipopt-``\ *version* to ``external/Ipopt,git`` .
+#. The :ref:`get_ipopt.sh@Source Directory` was changed from
+   ``external/Ipopt-``\ *version* to ``external/Ipopt,git`` .
+#. Advance get_ipopt :ref:`get_ipopt.sh@Version` from 3.13.2 to 3.14.16.
 
 09-09
 =====

diff --git a/bin/get_ipopt.sh b/bin/get_ipopt.sh
@@ -49,7 +49,7 @@ set -e -u
 # This will install the following version of Ipopt
 # {xrst_spell_off}
 # {xrst_code sh}
-ipopt_version='3.13.4'
+ipopt_version='3.14.16'
 # {xrst_code}
 # {xrst_spell_on}
 #
@@ -120,6 +120,12 @@ then
    echo "get_ipopt.sh: OK"
    exit 0
 fi
+if ls external/Ipopt-*.configured > /dev/null
+then
+   echo_eval rm -rf external/Mumps.git
+   echo_eval rm -rf external/ASL.git
+   echo_eval rm external/Ipopt-*.configured
+fi
 #
 # prefix
 eval `grep '^prefix=' bin/get_optional.sh`
@@ -207,10 +213,6 @@ cd ../..
 #
 # configured_flag
 cd ..
-if ls external/Ipopt-*.configured > /dev/null
-then
-   rm external/Ipopt-*.configured
-fi
 touch $configured_flag
 # ----------------------------------------------------------------------------
 echo 'get_ipopt.sh: OK'