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

Layus layus.on at gmail.com
Fri Sep 2 15:52:31 CEST 2016


Ok, I finally got it working in a hacky manner.

I hope to be able to clean it up before pushing it upstream.

Anyway, thanks for your usefull indications.

-- Layus.

[1] https://github.com/layus/nixpkgs/commits/dafny

On 01/09/16 12:33, obadz wrote:
>
> On Thu, Sep 1, 2016 at 10:23 AM, Layus <layus.on at gmail.com 
> <mailto: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/20160902/0f214af1/attachment.html>


More information about the nix-dev mailing list