diff options
author | Remy Goldschmidt <taktoa@gmail.com> | 2017-02-02 19:16:45 -0600 |
---|---|---|
committer | Robert Helgesson <robert@rycee.net> | 2017-02-04 15:27:18 +0100 |
commit | d1aa065a5d1924b3315075c03e3206f18378cd42 (patch) | |
tree | dfc55be4ce49776ead3fc7fbc927702c773a2a8d /pkgs/top-level/dotnet-packages.nix | |
parent | 949f9aff1deef09a96e468131765701702b48254 (diff) |
dotnetPackages.Boogie: init at 2017-01-03
Diffstat (limited to 'pkgs/top-level/dotnet-packages.nix')
-rw-r--r-- | pkgs/top-level/dotnet-packages.nix | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/pkgs/top-level/dotnet-packages.nix b/pkgs/top-level/dotnet-packages.nix index c0a7adb1d7f8..c3d8b861c767 100644 --- a/pkgs/top-level/dotnet-packages.nix +++ b/pkgs/top-level/dotnet-packages.nix @@ -220,6 +220,37 @@ let self = dotnetPackages // overrides; dotnetPackages = with self; { # SOURCE PACKAGES + Boogie = buildDotnetPackage rec { + baseName = "Boogie-unstable"; + version = "2017-01-03"; + + src = fetchFromGitHub { + owner = "boogie-org"; + repo = "boogie"; + rev = "5e42f0dd2891b2b85a9198052e55592a2943b7ef"; + sha256 = "1mjnf96hbn9abgzyvmrfxlhnm213290xb9wca7rnnl12i4fa4ahl"; + }; + + buildInputs = [ dotnetPackages.NUnitRunners ]; + + xBuildFiles = [ "Source/Boogie.sln" ]; + + outputFiles = [ "Binaries/*" ]; + + postInstall = '' + mkdir -pv "$out/lib/dotnet/Boogie" + ln -sv "${pkgs.z3}/bin/z3" "$out/lib/dotnet/Boogie/z3.exe" + ''; + + meta = with stdenv.lib; { + description = "An intermediate verification language"; + homepage = "https://github.com/boogie-org/boogie"; + license = licenses.mspl; + maintainers = [ maintainers.taktoa ]; + platforms = with platforms; (linux ++ darwin); + }; + }; + Deedle = buildDotnetPackage rec { baseName = "Deedle"; version = "1.2.0"; |