Merge pull request #307707 from r-ryantm/auto-update/ipopt

ipopt: 3.14.14 -> 3.14.16
This commit is contained in:
Weijia Wang 2024-05-05 18:48:16 +02:00 committed by GitHub
commit 2ebb39172c
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -12,13 +12,13 @@ assert (!blas.isILP64) && (!lapack.isILP64);
stdenv.mkDerivation rec {
pname = "ipopt";
version = "3.14.14";
version = "3.14.16";
src = fetchFromGitHub {
owner = "coin-or";
repo = "Ipopt";
rev = "releases/${version}";
sha256 = "sha256-qMPdJVLIXFePhTA6qRr1Pth/BjJ62cj9y8C1HKQJGDQ=";
sha256 = "sha256-ZuiZZMq7NzOm6CCJgMBgEWs8PEfM3pVr2yOWbS42l8U=";
};
CXXDEFS = [ "-DHAVE_RAND" "-DHAVE_CSTRING" "-DHAVE_CSTDIO" ];