scipopt-zimpl: init at 3.6.2

{

  lib,

  stdenv,

  fetchFromGitHub,

  cmake,

  bison,

  flex,

  gmp,

  zlib,

}:

stdenv.mkDerivation rec {

  pname = "scipopt-zimpl";

  version = "362";

  # To correlate scipVersion and version, check: https://scipopt.org/#news

  scipVersion = "9.2.1";

  src = fetchFromGitHub {

    owner = "scipopt";

    repo = "zimpl";

    tag = "v${version}";

    sha256 = "juqAwzqBArsFXmz7L7RQaE78EhQdP5P51wQFlCoo7/o=";

  };

  postPatch = ''

    chmod +x check/check.sh

  '';

  nativeBuildInputs = [

    cmake

    bison

    flex

  ];

  buildInputs = [

    gmp

    zlib

  ];

  doCheck = true;

  checkPhase = ''

    runHook preCheck

    pushd ../check

    ./check.sh ../build/bin/zimpl

    popd

    runHook postCheck

  '';

  meta = {

    maintainers = with lib.maintainers; [ fettgoenner ];

    changelog = "https://scipopt.org/doc-${scipVersion}/html/RN${lib.versions.major scipVersion}.php";

    description = "Zuse Institut Mathematical Programming Language";

    longDescription = ''

      ZIMPL is a little language to translate the mathematical model of a

      problem into a linear or (mixed-)integer mathematical program

      expressed in .lp or .mps file format which can be read by a LP or MIP

      solver.

      If you use Zimpl for research and publish results, the best way

      to refer to Zimpl is to cite my Ph.d. thesis:

      @PHDTHESIS{Koch2004,

         author      = "Thorsten Koch",

         title       = "Rapid Mathematical Programming",

         year        = "2004",

         school      = "Technische {Universit\"at} Berlin",

         url         = "http://www.zib.de/Publications/abstracts/ZR-04-58/",

         note        = "ZIB-Report 04-58",

      }

    '';

    license = lib.licenses.lgpl3Plus;

    homepage = "https://zimpl.zib.de";

    mainProgram = "zimpl";

  };

}