diff --git a/Dockerfile b/Dockerfile index f70fbb0f9f2a25e0939c342fc67708d01fe33346..a5ba8e96909320ae72c0ffd502c46413d181511a 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: