diff --git a/Ipopt.txt b/Ipopt.txt
index 4ed255e65..c6a62f57f 100644
--- a/Ipopt.txt
+++ b/Ipopt.txt
@@ -1 +1 @@
-git subtree add --squash --prefix Ipopt https://github.com/coin-or/Ipopt.git stable/3.12
+git subtree add --squash --prefix Ipopt-3.13.4 https://github.com/mahge/coinor-ipopt-with-cmake.git ipopt-cmake-3.13.4