Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
808 B · 43 lines
Nix
1234567891011121314151617181920212223242526272829303132333435363738394041424344{ 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.hostPlatform.isLinux '' patchShebangs configure '';
nativeBuildInputs = [ menhir ];
buildInputs = [ menhirLib ];
meta = with lib; { description = "Synchronous language with ODEs"; homepage = "https://zelus.di.ens.fr"; license = licenses.inria-zelus; mainProgram = "zeluc"; maintainers = with maintainers; [ wegank ]; };}