diff options
author | Guillaume Maudoux <layus.on@gmail.com> | 2017-02-06 22:41:01 +0100 |
---|---|---|
committer | Guillaume Maudoux <layus.on@gmail.com> | 2017-02-06 22:50:05 +0100 |
commit | ccb2d83980f3a871cf603ff00234020dd1d38add (patch) | |
tree | 44e98c3ffe7b16bbf2119eed5a3b55a95d66bf89 /pkgs/top-level/dotnet-packages.nix | |
parent | 714fdb425a90630517056552d77fa4ccb8fadae7 (diff) |
boogie: fix basename issues; promote to package
Diffstat (limited to 'pkgs/top-level/dotnet-packages.nix')
-rw-r--r-- | pkgs/top-level/dotnet-packages.nix | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/pkgs/top-level/dotnet-packages.nix b/pkgs/top-level/dotnet-packages.nix index c3d8b861c767..0e53e820a39d 100644 --- a/pkgs/top-level/dotnet-packages.nix +++ b/pkgs/top-level/dotnet-packages.nix @@ -221,8 +221,9 @@ let self = dotnetPackages // overrides; dotnetPackages = with self; { # SOURCE PACKAGES Boogie = buildDotnetPackage rec { - baseName = "Boogie-unstable"; + baseName = "Boogie"; version = "2017-01-03"; + name = "${baseName}-unstable-${version}"; src = fetchFromGitHub { owner = "boogie-org"; @@ -238,8 +239,8 @@ let self = dotnetPackages // overrides; dotnetPackages = with self; { outputFiles = [ "Binaries/*" ]; postInstall = '' - mkdir -pv "$out/lib/dotnet/Boogie" - ln -sv "${pkgs.z3}/bin/z3" "$out/lib/dotnet/Boogie/z3.exe" + mkdir -pv "$out/lib/dotnet/${baseName}" + ln -sv "${pkgs.z3}/bin/z3" "$out/lib/dotnet/${baseName}/z3.exe" ''; meta = with stdenv.lib; { |