From 2faeed6c6388f1250bcf6ccdf69402b890151d98 Mon Sep 17 00:00:00 2001
From: Brad Bell <bradbell@seanet.com>
Date: Wed, 11 Sep 2024 05:50:28 -0700
Subject: [PATCH] master: get_ipoot.sh: advance to ipopt-3.14.16.

---
 appendix/whats_new/2024.xrst |  5 +++--
 bin/get_ipopt.sh             | 12 +++++++-----
 2 files changed, 10 insertions(+), 7 deletions(-)

diff --git a/appendix/whats_new/2024.xrst b/appendix/whats_new/2024.xrst
index 0e92afb08..0218106e1 100644
--- 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
index 447b246bd..59bfe9aee 100755
--- 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'