Hi there,
I am trying to package dafny, the Microsoft reasearch language and
program verifier.
I can manage most installation steps, but I am puzzled by mozroots and
nuget.
These two steps download files from network archives, which is obviously
not allowed within build sandboxes.
I have seen that we already have a getchNuGet function, is there some
automated way to prefetch the nugets ?
The installation instructions are available here :
https://github.com/Microsoft/dafny/blob/master/INSTALL,
...
mozroots --import --sync
wget https://nuget.org/nuget.exe
mono ./nuget.exe restore Source/Boogie.sln
xbuild Source/Boogie.sln
...
xbuild dafny/Source/Dafny.sln
_______________________________________________
nix-dev mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-dev
