Loading pkgs/development/ocaml-modules/zelus/default.nix 0 → 100644 +42 −0 Original line number Diff line number Diff line { lib , stdenv , buildDunePackage , fetchFromGitHub , menhir , menhirLib }: buildDunePackage rec { pname = "zelus"; version = "2.2"; minimalOCamlVersion = "4.08.1"; src = fetchFromGitHub { owner = "INRIA"; repo = "zelus"; rev = version; hash = "sha256-NcGX343LProADtzJwlq1kmihLaya1giY6xv9ScvdgTA="; }; # ./configure: cannot execute: required file not found postPatch = lib.optionalString stdenv.isLinux '' patchShebangs configure ''; nativeBuildInputs = [ menhir ]; buildInputs = [ menhirLib ]; meta = with lib; { description = "A synchronous language with ODEs"; homepage = "https://zelus.di.ens.fr"; license = licenses.inria-zelus; mainProgram = "zeluc"; maintainers = with maintainers; [ wegank ]; }; } pkgs/top-level/ocaml-packages.nix +2 −0 Original line number Diff line number Diff line Loading @@ -1880,6 +1880,8 @@ let zed = callPackage ../development/ocaml-modules/zed { }; zelus = callPackage ../development/ocaml-modules/zelus { }; zmq = callPackage ../development/ocaml-modules/zmq { }; zmq-lwt = callPackage ../development/ocaml-modules/zmq/lwt.nix { }; Loading Loading
pkgs/development/ocaml-modules/zelus/default.nix 0 → 100644 +42 −0 Original line number Diff line number Diff line { lib , stdenv , buildDunePackage , fetchFromGitHub , menhir , menhirLib }: buildDunePackage rec { pname = "zelus"; version = "2.2"; minimalOCamlVersion = "4.08.1"; src = fetchFromGitHub { owner = "INRIA"; repo = "zelus"; rev = version; hash = "sha256-NcGX343LProADtzJwlq1kmihLaya1giY6xv9ScvdgTA="; }; # ./configure: cannot execute: required file not found postPatch = lib.optionalString stdenv.isLinux '' patchShebangs configure ''; nativeBuildInputs = [ menhir ]; buildInputs = [ menhirLib ]; meta = with lib; { description = "A synchronous language with ODEs"; homepage = "https://zelus.di.ens.fr"; license = licenses.inria-zelus; mainProgram = "zeluc"; maintainers = with maintainers; [ wegank ]; }; }
pkgs/top-level/ocaml-packages.nix +2 −0 Original line number Diff line number Diff line Loading @@ -1880,6 +1880,8 @@ let zed = callPackage ../development/ocaml-modules/zed { }; zelus = callPackage ../development/ocaml-modules/zelus { }; zmq = callPackage ../development/ocaml-modules/zmq { }; zmq-lwt = callPackage ../development/ocaml-modules/zmq/lwt.nix { }; Loading