[Nix-dev] Packaging daphny, a mono application.

[obadz]

On Thu, Sep 1, 2016 at 10:23 AM, Layus <layus.on at gmail.com> wrote:

>     mozroots --import --sync
>

You don't need this part, as it's already taken care of here:
https://github.com/NixOS/nixpkgs/blob/master/pkgs/development/compilers/mono/generic.nix#L69-L75


>     wget https://nuget.org/nuget.exe
>

You definitely don't want this, we have nuget packaged and already wired up
in fetchNuGet

    mono ./nuget.exe restore Source/Boogie.sln
>

You don't want this one either, either fetchNuGet the dependencies or build
them from source. You'll find examples of both in
https://github.com/NixOS/nixpkgs/blob/master/pkgs/top-level/dotnet-packages.nix.
Then add them to buildInputs.

    xbuild Source/Boogie.sln
>     ...
>     xbuild dafny/Source/Dafny.sln
>

Those guys will get invoked for you by buildDotnetPackage. You may have to
specify xBuildFiles.

Good luck :)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.science.uu.nl/pipermail/nix-dev/attachments/20160901/3865c917/attachment.html>