pkgs/development/ocaml-modules/dose3/default.nix

   1 {
   2   lib,
   3   buildDunePackage,
   4   fetchFromGitLab,
   5   ocamlgraph,
   6   parmap,
   7   re,
   8   stdlib-shims,
   9   base64,
  10   extlib,
  11   cudf,
  12   ocaml,
  13   ounit,
  14 }:
  15
  16 buildDunePackage rec {
  17   pname = "dose3";
  18   version = "7.0.0";
  19
  20   src = fetchFromGitLab {
  21     owner = "irill";
  22     repo = "dose3";
  23     rev = version;
  24     hash = "sha256-K0fYSAWV48Rers/foDrEIqieyJ0PvpXkuYrFrZGBkkE=";
  25   };
  26
  27   minimalOCamlVersion = "4.07";
  28
  29   buildInputs = [
  30     parmap
  31   ];
  32
  33   propagatedBuildInputs = [
  34     base64
  35     cudf
  36     extlib
  37     ocamlgraph
  38     re
  39     stdlib-shims
  40   ];
  41
  42   checkInputs = [
  43     ounit
  44   ];
  45   # Check are not compatible with re ≥ 1.12
  46   doCheck = lib.versionAtLeast ocaml.version "4.08" && !lib.versionAtLeast ocaml.version "4.12";
  47
  48   meta = with lib; {
  49     description = "Dose library (part of Mancoosi tools)";
  50     downloadPage = "https://gitlab.com/irill/dose3/";
  51     homepage = "https://www.mancoosi.org/software/";
  52     license = licenses.lgpl3Plus;
  53     longDescription = ''
  54       The dose suite provides libraries for handling package meta-data, and various tools for analyzing package relationships in a large package repository.
  55       * dose-builddebcheck checks, given a collection of source package stanzas and a collection of binary package stanzas of Debian packages, whether the build-dependencies of each source package can be satisfied by the binary packages.
  56       * dose-distcheck checks for every package of a distribution whether it is possible to satisfy its dependencies and conflicts within this distribution.
  57       * ceve, a general metadata parser supporting different input formats (Debian, rpm, and others) and different output formats.
  58       * dose-outdated, a Debian-specific tool for finding packages that are not installable with respect to a package repository, and that can only be made installable again by fixing the package itself.
  59       * dose-challenged, a Debian-specific tool for checking which packages will certainly become uninstallable when some existing package is upgraded to a newer version.
  60       * dose-deb-coinstall, a Debian-specific tool for checking whether a set of packages can be installed all together.
  61     '';
  62   };
  63 }