Unverified Commit 8d301f41 authored by Ulrik Strid's avatar Ulrik Strid Committed by GitHub
Browse files

Merge pull request #256411 from wegank/zelus-init 

ocamlPackages.zelus{,-gtk}: init at 2.2
parents d0828766 bc1d216b

lib/licenses.nix

+6 −0
Original line number Diff line number Diff line
@@ -620,6 +620,12 @@ in mkLicense lset) ({ 
    free     = false;

  };



  inria-zelus = {

    fullName = "INRIA Non-Commercial License Agreement for the Zélus compiler";

    url = "https://github.com/INRIA/zelus/raw/829f2b97cba93b0543a9ca0272269e6b8fdad356/LICENSE";

    free = false;

  };



  ipa = {

    spdxId = "IPA";

    fullName = "IPA Font License";

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

0 → 100644
+24 −0
Original line number Diff line number Diff line 
{ buildDunePackage

, zelus

, lablgtk

}:



buildDunePackage {

  pname = "zelus-gtk";

  inherit (zelus) version src postPatch;



  minimalOCamlVersion = "4.08.1";



  nativeBuildInputs = [

    zelus

  ];



  buildInputs = [

    lablgtk

  ];



  meta = {

    description = "Zelus GTK library";

    inherit (zelus.meta) homepage license maintainers;

  };

}

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

+4 −0
Original line number Diff line number Diff line
@@ -1886,6 +1886,10 @@ let 


    zed = callPackage ../development/ocaml-modules/zed { };



    zelus = callPackage ../development/ocaml-modules/zelus { };



    zelus-gtk = callPackage ../development/ocaml-modules/zelus-gtk { };



    zmq = callPackage ../development/ocaml-modules/zmq { };



    zmq-lwt = callPackage ../development/ocaml-modules/zmq/lwt.nix { };