b12f/nixpkgs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

formula: add update script

Browse source
This commit is contained in:
Ben Siraphob 2022-06-21 13:13:20 -07:00
parent 5b07a633aa
commit 7071d43fd3
No known key found for this signature in database
GPG key ID: 45F0E5D788143267
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
pkgs/applications/science/logic/formula/default.nix
View file

@ -1,4 +1,4 @@
{ lib, stdenv, fetchFromGitHub, buildDotnetModule, dotnetCorePackages }:
{ lib, stdenv, fetchFromGitHub, buildDotnetModule, dotnetCorePackages, unstableGitUpdater }:
buildDotnetModule rec {
pname = "formula-dotnet";
@ -22,6 +22,8 @@ buildDotnetModule rec {
--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;
description = "Formal Specifications for Verification and Synthesis";