pkgs/by-name/fo/formula/package.nix

   1 { lib, stdenv, fetchFromGitHub, buildDotnetModule, dotnetCorePackages, unstableGitUpdater }:
   2
   3 buildDotnetModule rec {
   4   pname = "formula-dotnet";
   5   version = "2.0";
   6
   7   src = fetchFromGitHub {
   8     owner = "VUISIS";
   9     repo = "formula-dotnet";
  10     rev = "8ee2e6abfd4ce038e1d9cb9c8602dec1ed6c0163";
  11     sha256 = "sha256-2ulv//YV3OqrfFltgUCeDe4rOPC0qqJ+80/D2lIoih8=";
  12   };
  13
  14   nugetDeps = ./nuget.nix;
  15   projectFile = "Src/CommandLine/CommandLine.csproj";
  16
  17   postFixup = if stdenv.hostPlatform.isLinux then ''
  18     mv $out/bin/CommandLine $out/bin/formula
  19   '' else lib.optionalString stdenv.hostPlatform.isDarwin ''
  20     makeWrapper ${dotnetCorePackages.runtime_6_0}/bin/dotnet $out/bin/formula \
  21       --add-flags "$out/lib/formula-dotnet/CommandLine.dll" \
  22       --prefix DYLD_LIBRARY_PATH : $out/lib/formula-dotnet/runtimes/macos/native
  23   '';
  24
  25   passthru.updateScript = unstableGitUpdater { url = meta.homepage; };
  26
  27   meta = with lib; {
  28     description = "Formal Specifications for Verification and Synthesis";
  29     homepage = "https://github.com/VUISIS/formula-dotnet";
  30     license = licenses.mspl;
  31     maintainers = with maintainers; [ siraben ];
  32     platforms = platforms.unix;
  33     mainProgram = "formula";
  34   };
  35 }