Merge pull request #266624 from wegank/cgl-init

cgl: init at 0.60.8
This commit is contained in:
Weijia Wang 2023-12-05 12:33:49 +01:00 committed by GitHub
commit aa442d1a86
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -0,0 +1,38 @@
{ lib
, stdenv
, fetchFromGitHub
, pkg-config
, clp
, coin-utils
, osi
}:
stdenv.mkDerivation (finalAttrs: {
pname = "cgl";
version = "0.60.8";
src = fetchFromGitHub {
owner = "coin-or";
repo = "Cgl";
rev = "releases/${finalAttrs.version}";
hash = "sha256-nyqrHC6UOKp1wn6Yvk+53oBn60wUqSWEPUrcNTuPN04=";
};
nativeBuildInputs = [
pkg-config
];
buildInputs = [
clp
coin-utils
osi
];
meta = with lib; {
description = "Cut Generator Library";
homepage = "https://github.com/coin-or/Cgl";
license = licenses.epl20;
maintainers = with maintainers; [ wegank ];
platforms = platforms.unix;
};
})