From 1928b7ba910bfc1ad36815f6a7b16332da0062be Mon Sep 17 00:00:00 2001
From: Martin Heistermann <git@mheistermann.de>
Date: Fri, 14 Feb 2025 17:11:23 +0100
Subject: [PATCH] fix ipopt vcpkg package name

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index f70fbb0..a5ba8e9 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -91,7 +91,7 @@ RUN vcpkg install `
     #metis
     #coin-or-ipopt
 
-RUN vcpkg install ipopt --clean-after-build
+RUN vcpkg install coin-or-ipopt --clean-after-build
 
 # This is for later use in containers, cache does not exist here.
 # Therefore, only set this after we're done with vcpkg:
-- 
GitLab