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

   1 { lib
   2 , stdenv
   3 , buildDunePackage
   4 , fetchFromGitHub
   5 , menhir
   6 , menhirLib
   7 }:
   8
   9 buildDunePackage rec {
  10   pname = "zelus";
  11   version = "2.2";
  12
  13   minimalOCamlVersion = "4.08.1";
  14
  15   src = fetchFromGitHub {
  16     owner = "INRIA";
  17     repo = "zelus";
  18     rev = version;
  19     hash = "sha256-NcGX343LProADtzJwlq1kmihLaya1giY6xv9ScvdgTA=";
  20   };
  21
  22   # ./configure: cannot execute: required file not found
  23   postPatch = lib.optionalString stdenv.hostPlatform.isLinux ''
  24     patchShebangs configure
  25   '';
  26
  27   nativeBuildInputs = [
  28     menhir
  29   ];
  30
  31   buildInputs = [
  32     menhirLib
  33   ];
  34
  35   meta = with lib; {
  36     description = "Synchronous language with ODEs";
  37     homepage = "https://zelus.di.ens.fr";
  38     license = licenses.inria-zelus;
  39     mainProgram = "zeluc";
  40     maintainers = with maintainers; [ wegank ];
  41   };
  42 }