pkgs/by-name/be/beluga/package.nix

   1 {
   2   lib,
   3   fetchFromGitHub,
   4   ocamlPackages,
   5 }:
   6
   7 ocamlPackages.buildDunePackage rec {
   8   pname = "beluga";
   9   version = "1.1.2";
  10
  11   src = fetchFromGitHub {
  12     owner = "Beluga-lang";
  13     repo = "Beluga";
  14     tag = "v${version}";
  15     hash = "sha256-QUZ3mmd0gBQ+hnAeo/TbvFsETnThAdAoQyfpz2F//4g=";
  16   };
  17
  18   duneVersion = "3";
  19
  20   buildInputs = with ocamlPackages; [
  21     gen
  22     sedlex
  23     extlib
  24     dune-build-info
  25     linenoise
  26     omd
  27     uri
  28     ounit2
  29     yojson
  30   ];
  31
  32   doCheck = true;
  33
  34   postInstall = ''
  35     mkdir -p $out/share/emacs/site-lisp/beluga/
  36     cp -r tools/beluga-mode.el $out/share/emacs/site-lisp/beluga
  37   '';
  38
  39   meta = with lib; {
  40     description = "Functional language for reasoning about formal systems";
  41     homepage = "https://complogic.cs.mcgill.ca/beluga";
  42     changelog = "https://github.com/Beluga-lang/Beluga/releases/tag/v${version}";
  43     license = licenses.gpl3Plus;
  44     maintainers = [ maintainers.bcdarwin ];
  45     platforms = platforms.unix;
  46   };
  47 }