{ stdenv , lib , pkgs , buildDotnetPackage , buildDotnetModule , fetchurl , fetchFromGitHub , fetchNuGet , glib , mono , overrides ? {} }: let self = dotnetPackages // overrides; dotnetPackages = with self; { # BINARY PACKAGES NUnit3 = fetchNuGet { pname = "NUnit"; version = "3.0.1"; sha256 = "1g3j3kvg9vrapb1vjgq65nvn1vg7bzm66w7yjnaip1iww1yn1b0p"; outputFiles = [ "lib/*" ]; }; NUnit2 = fetchNuGet { pname = "NUnit"; version = "2.6.4"; sha256 = "1acwsm7p93b1hzfb83ia33145x0w6fvdsfjm9xflsisljxpdx35y"; outputFiles = [ "lib/*" ]; }; NUnit = NUnit2; NUnitConsole = fetchNuGet { pname = "NUnit.Console"; version = "3.0.1"; sha256 = "154bqwm2n95syv8nwd67qh8qsv0b0h5zap60sk64z3kd3a9ffi5p"; outputFiles = [ "tools/*" ]; }; MaxMindDb = fetchNuGet { pname = "MaxMind.Db"; version = "1.1.0.0"; sha256 = "0lixl76f7k3ldiqzg94zh13gn82w5mm5dx72y97fcqvp8g6nj3ds"; outputFiles = [ "lib/*" ]; }; MaxMindGeoIP2 = fetchNuGet { pname = "MaxMind.GeoIP2"; version = "2.3.1"; sha256 = "1s44dvjnmj1aimbrgkmpj6h5dn1w6acgqjch1axc76yz6hwknqgf"; outputFiles = [ "lib/*" ]; }; SharpZipLib = fetchNuGet { pname = "SharpZipLib"; version = "1.3.3"; sha256 = "sha256-HWEQTKh9Ktwg/zIl079dAiH+ob2ShWFAqLgG6XgIMr4="; outputFiles = [ "lib/*" ]; }; StyleCopMSBuild = fetchNuGet { pname = "StyleCop.MSBuild"; version = "4.7.49.0"; sha256 = "0rpfyvcggm881ynvgr17kbx5hvj7ivlms0bmskmb2zyjlpddx036"; outputFiles = [ "tools/*" ]; }; StyleCopPlusMSBuild = fetchNuGet { pname = "StyleCopPlus.MSBuild"; version = "4.7.49.5"; sha256 = "1hv4lfxw72aql8siyqc4n954vzdz8p6jx9f2wrgzz0jy1k98x2mr"; outputFiles = [ "tools/*" ]; }; RestSharp = fetchNuGet { pname = "RestSharp"; version = "106.12.0"; sha256 = "sha256-NGzveByJvCRtHlI2C8d/mLs3akyMm77NER8TUG6HiD4="; outputFiles = [ "lib/*" ]; }; SharpFont = fetchNuGet { pname = "SharpFont"; version = "4.0.1"; sha256 = "1yd3cm4ww0hw2k3aymf792hp6skyg8qn491m2a3fhkzvsl8z7vs8"; outputFiles = [ "lib/*" "config/*" ]; }; SmartIrc4net = fetchNuGet { pname = "SmartIrc4net"; version = "0.4.5.1"; sha256 = "1d531sj39fvwmj2wgplqfify301y3cwp7kwr9ai5hgrq81jmjn2b"; outputFiles = [ "lib/*" ]; }; FuzzyLogicLibrary = fetchNuGet { pname = "FuzzyLogicLibrary"; version = "1.2.0"; sha256 = "0x518i8d3rw9n51xwawa4sywvqd722adj7kpcgcm63r66s950r5l"; outputFiles = [ "bin/*" ]; }; OpenNAT = fetchNuGet { pname = "Open.NAT"; version = "2.1.0"; sha256 = "1jyd30fwycdwx5ck96zhp2xf20yz0sp7g3pjbqhmay4kd322mfwk"; outputFiles = [ "lib/*" ]; }; MonoNat = fetchNuGet { pname = "Mono.Nat"; version = "1.2.24"; sha256 = "0vfkach11kkcd9rcqz3s38m70d5spyb21gl99iqnkljxj5555wjs"; outputFiles = [ "lib/*" ]; }; NUnitRunners = fetchNuGet { pname = "NUnit.Runners"; version = "2.6.4"; sha256 = "11nmi7vikn9idz8qcad9z7f73arsh5rw18fc1sri9ywz77mpm1s4"; outputFiles = [ "tools/*" ]; preInstall = "mv -v tools/lib/* tools && rmdir -v tools/lib"; }; # SOURCE PACKAGES Boogie = buildDotnetModule rec { pname = "Boogie"; version = "2.15.7"; src = fetchFromGitHub { owner = "boogie-org"; repo = "boogie"; rev = "v${version}"; sha256 = "16kdvkbx2zwj7m43cra12vhczbpj23wyrdnj0ygxf7np7c2aassp"; }; projectFile = [ "Source/Boogie.sln" ]; nugetDeps = ../development/dotnet-modules/boogie-deps.nix; postInstall = '' mkdir -pv "$out/lib/dotnet/${pname}" ln -sv "${pkgs.z3}/bin/z3" "$out/lib/dotnet/${pname}/z3.exe" # so that this derivation can be used as a vim plugin to install syntax highlighting vimdir=$out/share/vim-plugins/boogie install -Dt $vimdir/syntax/ Util/vim/syntax/boogie.vim mkdir $vimdir/ftdetect echo 'au BufRead,BufNewFile *.bpl set filetype=boogie' > $vimdir/ftdetect/bpl.vim mkdir -p $out/share/nvim ln -s $out/share/vim-plugins/boogie $out/share/nvim/site ''; postFixup = '' ln -s "$out/bin/BoogieDriver" "$out/bin/boogie" rm -f $out/bin/{Microsoft,NUnit3,System}.* "$out/bin"/*Tests ''; meta = with lib; { description = "An intermediate verification language"; homepage = "https://github.com/boogie-org/boogie"; longDescription = '' Boogie is an intermediate verification language (IVL), intended as a layer on which to build program verifiers for other languages. This derivation may be used as a vim plugin to provide syntax highlighting. ''; license = licenses.mspl; maintainers = [ maintainers.taktoa ]; platforms = with platforms; (linux ++ darwin); }; }; MonoAddins = buildDotnetPackage rec { pname = "Mono.Addins"; version = "1.2"; xBuildFiles = [ "Mono.Addins/Mono.Addins.csproj" "Mono.Addins.Setup/Mono.Addins.Setup.csproj" "Mono.Addins.Gui/Mono.Addins.Gui.csproj" "Mono.Addins.CecilReflector/Mono.Addins.CecilReflector.csproj" ]; outputFiles = [ "bin/*" ]; src = fetchFromGitHub { owner = "mono"; repo = "mono-addins"; rev = "mono-addins-${version}"; sha256 = "1hnn0a2qsjcjprsxas424bzvhsdwy0yc2jj5xbp698c0m9kfk24y"; }; buildInputs = [ pkgs.gtk-sharp-2_0 ]; meta = { description = "A generic framework for creating extensible applications"; homepage = "https://www.mono-project.com/Mono.Addins"; longDescription = '' A generic framework for creating extensible applications, and for creating libraries which extend those applications. ''; license = lib.licenses.mit; }; }; NewtonsoftJson = fetchNuGet { pname = "Newtonsoft.Json"; version = "11.0.2"; sha256 = "07na27n4mlw77f3hg5jpayzxll7f4gyna6x7k9cybmxpbs6l77k7"; outputFiles = [ "*" ]; }; Nuget = buildDotnetPackage rec { pname = "Nuget"; version = "6.3.1.1"; src = fetchFromGitHub { owner = "mono"; repo = "linux-packaging-nuget"; rev = "upstream/${version}.bin"; sha256 = "sha256-D7F4B23HK5ElY68PYKVDsyi8OF0DLqqUqQzj5CpMfkc="; }; # configurePhase breaks the binary and results in # `File does not contain a valid CIL image.` dontConfigure = true; dontBuild = true; dontPlacateNuget = true; outputFiles = [ "*" ]; exeFiles = [ "nuget.exe" ]; }; Paket = fetchNuGet { pname = "Paket"; version = "5.179.1"; sha256 = "11rzna03i145qj08hwrynya548fwk8xzxmg65swyaf19jd7gzg82"; outputFiles = [ "*" ]; }; }; in self