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 | |
parent | 949f9aff1deef09a96e468131765701702b48254 (diff) | |
download | nixlib-d1aa065a5d1924b3315075c03e3206f18378cd42.tar nixlib-d1aa065a5d1924b3315075c03e3206f18378cd42.tar.gz nixlib-d1aa065a5d1924b3315075c03e3206f18378cd42.tar.bz2 nixlib-d1aa065a5d1924b3315075c03e3206f18378cd42.tar.lz nixlib-d1aa065a5d1924b3315075c03e3206f18378cd42.tar.xz nixlib-d1aa065a5d1924b3315075c03e3206f18378cd42.tar.zst nixlib-d1aa065a5d1924b3315075c03e3206f18378cd42.zip |
dotnetPackages.Boogie: init at 2017-01-03
-rw-r--r-- | lib/licenses.nix | 5 | ||||
-rw-r--r-- | pkgs/top-level/dotnet-packages.nix | 31 |
2 files changed, 36 insertions, 0 deletions
diff --git a/lib/licenses.nix b/lib/licenses.nix index 90c1cc177cb3..4d4a3c1a9544 100644 --- a/lib/licenses.nix +++ b/lib/licenses.nix @@ -379,6 +379,11 @@ lib.mapAttrs (n: v: v // { shortName = n; }) rec { fullName = "Mozilla Public License 2.0"; }; + mspl = spdx { + spdxId = "MS-PL"; + fullName = "Microsoft Public License"; + }; + msrla = { fullName = "Microsoft Research License Agreement"; url = "http://research.microsoft.com/en-us/projects/pex/msr-la.txt"; 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"; |