diff options
Diffstat (limited to 'pkgs/applications/science/logic/formula/default.nix')
| -rw-r--r-- | pkgs/applications/science/logic/formula/default.nix | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/pkgs/applications/science/logic/formula/default.nix b/pkgs/applications/science/logic/formula/default.nix index 09c29d720a704..f366003914a20 100644 --- a/pkgs/applications/science/logic/formula/default.nix +++ b/pkgs/applications/science/logic/formula/default.nix @@ -1,4 +1,4 @@ -{ lib, stdenv, fetchFromGitHub, buildDotnetModule, dotnetCorePackages }: +{ lib, stdenv, fetchFromGitHub, buildDotnetModule, dotnetCorePackages, unstableGitUpdater }: buildDotnetModule rec { pname = "formula-dotnet"; @@ -7,8 +7,8 @@ buildDotnetModule rec { src = fetchFromGitHub { owner = "VUISIS"; repo = "formula-dotnet"; - rev = "e962438022350dca64335c0603c00d44cb10b528"; - sha256 = "sha256-hVtwV1MdsXaN6ZrGW4RG2HcNcv/hys/5VxGjH9vFdRE="; + rev = "8ee2e6abfd4ce038e1d9cb9c8602dec1ed6c0163"; + sha256 = "sha256-2ulv//YV3OqrfFltgUCeDe4rOPC0qqJ+80/D2lIoih8="; }; nugetDeps = ./nuget.nix; @@ -17,13 +17,15 @@ buildDotnetModule rec { postFixup = if stdenv.isLinux then '' mv $out/bin/CommandLine $out/bin/formula '' else lib.optionalString stdenv.isDarwin '' - makeWrapper ${dotnetCorePackages.runtime_5_0}/bin/dotnet $out/bin/formula \ + makeWrapper ${dotnetCorePackages.runtime_6_0}/bin/dotnet $out/bin/formula \ --add-flags "$out/lib/formula-dotnet/CommandLine.dll" \ --prefix DYLD_LIBRARY_PATH : $out/lib/formula-dotnet/runtimes/macos/native ''; + passthru.updateScript = unstableGitUpdater { url = meta.homepage; }; + meta = with lib; { - broken = (stdenv.isLinux && stdenv.isAarch64) || stdenv.isDarwin; + broken = stdenv.isLinux && stdenv.isAarch64; description = "Formal Specifications for Verification and Synthesis"; homepage = "https://github.com/VUISIS/formula-dotnet"; license = licenses.mspl; |