pyrox.dev
1{ lib
2, stdenv
3, buildDunePackage
4, fetchFromGitHub
5, menhir
6, menhirLib
7}:
8
9buildDunePackage 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.isLinux ''
24 patchShebangs configure
25 '';
26
27 nativeBuildInputs = [
28 menhir
29 ];
30
31 buildInputs = [
32 menhirLib
33 ];
34
35 meta = with lib; {
36 description = "A 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}