2015-05-22 13:25:02 +00:00
|
|
|
{ stdenv
|
2021-01-10 11:03:59 +00:00
|
|
|
, lib
|
2015-05-22 13:25:02 +00:00
|
|
|
, pkgs
|
|
|
|
, buildDotnetPackage
|
|
|
|
, fetchurl
|
|
|
|
, fetchFromGitHub
|
|
|
|
, fetchNuGet
|
2020-06-14 09:58:12 +00:00
|
|
|
, glib
|
2021-01-19 06:50:56 +00:00
|
|
|
, pkg-config
|
2015-05-22 13:25:02 +00:00
|
|
|
, mono
|
|
|
|
, fsharp
|
|
|
|
, overrides ? {}
|
|
|
|
}:
|
|
|
|
|
|
|
|
let self = dotnetPackages // overrides; dotnetPackages = with self; {
|
|
|
|
|
2015-06-12 15:06:32 +00:00
|
|
|
# BINARY PACKAGES
|
|
|
|
|
2015-05-22 13:25:02 +00:00
|
|
|
Autofac = fetchNuGet {
|
|
|
|
baseName = "Autofac";
|
|
|
|
version = "3.5.2";
|
|
|
|
sha256 = "194cs8ybn5xjqnzy643w5i62m0d5s34d3nshwxp2v4fcb94wa4ri";
|
|
|
|
outputFiles = [ "lib/portable-net4+sl5+netcore45+wpa81+wp8+MonoAndroid1+MonoTouch1/*" ];
|
|
|
|
};
|
|
|
|
|
|
|
|
Fake = fetchNuGet {
|
|
|
|
baseName = "FAKE";
|
|
|
|
version = "3.33.0";
|
|
|
|
sha256 = "04gllx9d1w8zn9gq9p5k76b79ix07rilk3apdi72dmz6h3yylcdm";
|
|
|
|
outputFiles = [ "tools/*" ];
|
|
|
|
dllFiles = [ "Fake*.dll" ];
|
|
|
|
};
|
|
|
|
|
|
|
|
Fantomas = fetchNuGet {
|
|
|
|
baseName = "Fantomas";
|
2021-06-05 01:38:30 +00:00
|
|
|
version = "4.4.0";
|
|
|
|
sha256 = "cYz0ewJdK9nRlMKmigk3IENfOXvJRhXJfLXshaqgZ6o=";
|
2015-05-22 13:25:02 +00:00
|
|
|
outputFiles = [ "lib/*" ];
|
|
|
|
dllFiles = [ "Fantomas*.dll" ];
|
2021-06-05 04:11:42 +00:00
|
|
|
|
|
|
|
meta = with lib; {
|
|
|
|
description = "FSharp source code formatter";
|
|
|
|
homepage = "https://github.com/fsprojects/fantomas";
|
|
|
|
license = licenses.asl20;
|
|
|
|
maintainers = [ maintainers.ratsclub ];
|
|
|
|
};
|
2015-05-22 13:25:02 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
FSharpCompilerCodeDom = fetchNuGet {
|
|
|
|
baseName = "FSharp.Compiler.CodeDom";
|
|
|
|
version = "0.9.2";
|
|
|
|
sha256 = "0cy9gbvmfx2g74m7bgp6x9mr4avb6s560yjii7cyyxb7jlwabfcj";
|
|
|
|
outputFiles = [ "lib/net40/*" ];
|
|
|
|
};
|
|
|
|
|
2019-08-07 05:44:14 +00:00
|
|
|
FSharpCore302 = fetchNuGet {
|
|
|
|
baseName = "FSharp.Core";
|
|
|
|
version = "3.0.2";
|
|
|
|
sha256 = "1s4pqwbmhrsg5sw8i6dixdri3x0yjyilmkhsf4apfkp80si7d73q";
|
|
|
|
outputFiles = [ "*" ];
|
|
|
|
};
|
|
|
|
|
|
|
|
FSharpCore3125 = fetchNuGet {
|
|
|
|
baseName = "FSharp.Core";
|
|
|
|
version = "3.1.2.5";
|
|
|
|
sha256 = "0pfvjimrgrffb5rj612gsid044lfpk8g2cxyh9792dc1n8ck5hih";
|
|
|
|
outputFiles = [ "*" ];
|
|
|
|
};
|
|
|
|
|
|
|
|
FSharpCore4001 = fetchNuGet {
|
2017-03-27 13:26:31 +00:00
|
|
|
baseName = "FSharp.Core";
|
|
|
|
version = "4.0.0.1";
|
2019-08-07 05:44:14 +00:00
|
|
|
sha256 = "0v53iq12ji2d1bkdyg9dn8sz5l93sprrh835amh39dghh8v8vm8k";
|
|
|
|
outputFiles = [ "*" ];
|
|
|
|
};
|
|
|
|
|
|
|
|
FSharpCore4117 = fetchNuGet {
|
|
|
|
baseName = "FSharp.Core";
|
|
|
|
version = "4.1.17";
|
|
|
|
sha256 = "1yk23ir66fgqm5r6qyf66zf64l0s223l3yd7p9yvbyimyg0hgzb1";
|
2017-03-27 13:26:31 +00:00
|
|
|
outputFiles = [ "*" ];
|
|
|
|
};
|
|
|
|
|
2021-06-05 17:27:22 +00:00
|
|
|
FSharpData = fetchNuGet {
|
|
|
|
baseName = "FSharp.Data";
|
|
|
|
version = "4.1.1";
|
|
|
|
sha256 = "0ytjiQi8vQQU51JYexnC13Bi7NqVmLRzM75SOZ+hhQU=";
|
|
|
|
outputFiles = [ "lib/*" ];
|
|
|
|
|
|
|
|
meta = with lib; {
|
|
|
|
description = "F# Data: Library for Data Access";
|
|
|
|
homepage = "https://fsprojects.github.io/FSharp.Data/";
|
|
|
|
license = licenses.asl20;
|
|
|
|
maintainers = [ maintainers.ratsclub ];
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
2017-03-27 13:26:31 +00:00
|
|
|
FSharpData225 = fetchNuGet {
|
|
|
|
baseName = "FSharp.Data";
|
|
|
|
version = "2.2.5";
|
|
|
|
sha256 = "1c9l6bk0d2srccash2980y9phq3kmfm0m76k4wghnysnq94vm724";
|
|
|
|
outputFiles = [ "*" ];
|
|
|
|
};
|
|
|
|
|
2015-06-12 15:06:32 +00:00
|
|
|
FSharpDataSQLProvider = fetchNuGet {
|
|
|
|
baseName = "SQLProvider";
|
|
|
|
version = "0.0.9-alpha";
|
|
|
|
sha256 = "1wmgr5ca9hh6a7f0s8yc87n6arn7bq6nwc8n4crbbdil4r0bw46w";
|
|
|
|
outputFiles = [ "lib/net40/*" ];
|
|
|
|
};
|
|
|
|
|
2015-05-22 13:25:02 +00:00
|
|
|
FsCheck = fetchNuGet {
|
|
|
|
baseName = "FsCheck";
|
|
|
|
version = "1.0.4";
|
|
|
|
sha256 = "1q2wk4d4d1q94qzcccgmxb2lh0b8qkmpyz0p7lfphkw2gx6cy5ad";
|
|
|
|
outputFiles = [ "lib/net45/*" ];
|
|
|
|
};
|
|
|
|
|
2017-03-27 13:26:31 +00:00
|
|
|
FsCheck262 = fetchNuGet {
|
|
|
|
baseName = "FsCheck";
|
|
|
|
version = "2.6.2";
|
|
|
|
sha256 = "0fh9yvsc4i61z31qf00d6gjv6xxd54pv1ykf5bpv95a5crc3qfvl";
|
|
|
|
outputFiles = [ "*" ];
|
|
|
|
};
|
|
|
|
|
2015-05-22 13:25:02 +00:00
|
|
|
FsCheckNunit = fetchNuGet {
|
|
|
|
baseName = "FsCheck.Nunit";
|
|
|
|
version = "1.0.4";
|
|
|
|
sha256 = "1s62jrsa5hxqy1ginl8r29rjdc8vbkwmz7mb0hglhwccdqfyr5xy";
|
|
|
|
outputFiles = [ "lib/net45/*" ];
|
|
|
|
};
|
|
|
|
|
2017-03-27 13:26:31 +00:00
|
|
|
FSharpCompilerTools = fetchNuGet {
|
|
|
|
baseName = "FSharp.Compiler.Tools";
|
2019-08-07 05:44:14 +00:00
|
|
|
version = "4.1.27";
|
|
|
|
sha256 = "1m3hl8ja9gp5ajxmjf7bnq24bbkd6kx7yhxf4zb8si27h1n9l6dl";
|
2017-03-27 13:26:31 +00:00
|
|
|
outputFiles = [ "*" ];
|
|
|
|
};
|
|
|
|
|
2016-01-19 00:44:21 +00:00
|
|
|
FsLexYacc = fetchNuGet {
|
|
|
|
baseName = "FsLexYacc";
|
|
|
|
version = "6.1.0";
|
|
|
|
sha256 = "1v5myn62zqs431i046gscqw2v0c969fc7pdplx7z9cnpy0p2s4rv";
|
|
|
|
outputFiles = [ "build/*" ];
|
|
|
|
};
|
|
|
|
|
2019-08-07 05:44:14 +00:00
|
|
|
FsLexYacc706 = fetchNuGet {
|
2017-03-27 13:26:31 +00:00
|
|
|
baseName = "FsLexYacc";
|
2019-08-07 05:44:14 +00:00
|
|
|
version = "7.0.6";
|
|
|
|
sha256 = "0xwiq8q5q6ga6zj24w83ch5csbv405xcg6jg2hmnjic0npz0drk2";
|
2017-03-27 13:26:31 +00:00
|
|
|
outputFiles = [ "*" ];
|
|
|
|
};
|
|
|
|
|
2019-03-29 21:50:34 +00:00
|
|
|
FsLexYaccRuntime = fetchNuGet {
|
|
|
|
baseName = "FsLexYacc.Runtime";
|
|
|
|
version = "6.1.0";
|
|
|
|
sha256 = "18vrx4lxsn4hkfishg4abv0d4q21dsph0bm4mdq5z8afaypp5cr7";
|
|
|
|
outputFiles = [ "lib/net40/*" ];
|
|
|
|
};
|
|
|
|
|
2015-06-12 15:06:32 +00:00
|
|
|
FsPickler = fetchNuGet {
|
|
|
|
baseName = "FsPickler";
|
|
|
|
version = "1.2.9";
|
|
|
|
sha256 = "12fgcj7pvffsj1s1kaz15j22i1n98dy5mf4z84555xdf7mw7dpm4";
|
|
|
|
outputFiles = [ "lib/net45/*" ];
|
|
|
|
};
|
|
|
|
|
2015-05-22 13:25:02 +00:00
|
|
|
FsUnit = fetchNuGet {
|
|
|
|
baseName = "FsUnit";
|
|
|
|
version = "1.3.0.1";
|
|
|
|
sha256 = "1k7w8pc81aplsfn7n46617khmzingd2v7hcgdhh7vgsssibwms64";
|
|
|
|
outputFiles = [ "Lib/Net40/*" ];
|
|
|
|
};
|
|
|
|
|
2015-06-15 06:12:07 +00:00
|
|
|
FSharpFormatting = fetchNuGet {
|
|
|
|
baseName = "FSharp.Formatting";
|
|
|
|
version = "2.9.8";
|
|
|
|
sha256 = "1bswcpa68i2lqds4kkl2qxgkfrppbpxa4jkyja48azljajh0df3m";
|
|
|
|
outputFiles = [ "lib/net40/*" ];
|
|
|
|
};
|
|
|
|
|
2016-05-08 19:19:35 +00:00
|
|
|
NUnit3 = fetchNuGet {
|
|
|
|
baseName = "NUnit";
|
|
|
|
version = "3.0.1";
|
|
|
|
sha256 = "1g3j3kvg9vrapb1vjgq65nvn1vg7bzm66w7yjnaip1iww1yn1b0p";
|
|
|
|
outputFiles = [ "lib/*" ];
|
|
|
|
};
|
|
|
|
|
2017-03-27 13:26:31 +00:00
|
|
|
NUnit350 = fetchNuGet {
|
|
|
|
baseName = "NUnit";
|
|
|
|
version = "3.5.0";
|
|
|
|
sha256 = "19fxq9cf754ygda5c8rn1zqs71pfxi7mb96jwqhlichnqih6i16z";
|
|
|
|
outputFiles = [ "*" ];
|
|
|
|
};
|
|
|
|
|
2016-05-08 19:19:35 +00:00
|
|
|
NUnit2 = fetchNuGet {
|
2015-05-22 13:25:02 +00:00
|
|
|
baseName = "NUnit";
|
|
|
|
version = "2.6.4";
|
|
|
|
sha256 = "1acwsm7p93b1hzfb83ia33145x0w6fvdsfjm9xflsisljxpdx35y";
|
|
|
|
outputFiles = [ "lib/*" ];
|
2016-04-29 16:23:36 +00:00
|
|
|
};
|
|
|
|
|
2016-05-08 19:19:35 +00:00
|
|
|
NUnit = NUnit2;
|
|
|
|
|
2016-05-08 20:21:11 +00:00
|
|
|
NUnitConsole = fetchNuGet {
|
|
|
|
baseName = "NUnit.Console";
|
|
|
|
version = "3.0.1";
|
|
|
|
sha256 = "154bqwm2n95syv8nwd67qh8qsv0b0h5zap60sk64z3kd3a9ffi5p";
|
|
|
|
outputFiles = [ "tools/*" ];
|
|
|
|
};
|
|
|
|
|
2016-04-29 16:23:36 +00:00
|
|
|
MaxMindDb = fetchNuGet {
|
|
|
|
baseName = "MaxMind.Db";
|
|
|
|
version = "1.1.0.0";
|
|
|
|
sha256 = "0lixl76f7k3ldiqzg94zh13gn82w5mm5dx72y97fcqvp8g6nj3ds";
|
|
|
|
outputFiles = [ "lib/*" ];
|
2016-04-29 16:24:26 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
MaxMindGeoIP2 = fetchNuGet {
|
|
|
|
baseName = "MaxMind.GeoIP2";
|
|
|
|
version = "2.3.1";
|
|
|
|
sha256 = "1s44dvjnmj1aimbrgkmpj6h5dn1w6acgqjch1axc76yz6hwknqgf";
|
|
|
|
outputFiles = [ "lib/*" ];
|
2016-04-29 16:24:51 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
SharpZipLib = fetchNuGet {
|
|
|
|
baseName = "SharpZipLib";
|
|
|
|
version = "0.86.0";
|
|
|
|
sha256 = "01w2038gckfnq31pncrlgm7d0c939pwr1x4jj5450vcqpd4c41jr";
|
|
|
|
outputFiles = [ "lib/*" ];
|
2016-04-29 16:25:12 +00:00
|
|
|
};
|
|
|
|
|
2016-04-29 17:38:32 +00:00
|
|
|
StyleCopMSBuild = fetchNuGet {
|
|
|
|
baseName = "StyleCop.MSBuild";
|
|
|
|
version = "4.7.49.0";
|
|
|
|
sha256 = "0rpfyvcggm881ynvgr17kbx5hvj7ivlms0bmskmb2zyjlpddx036";
|
|
|
|
outputFiles = [ "tools/*" ];
|
|
|
|
};
|
|
|
|
|
2016-04-29 18:34:35 +00:00
|
|
|
StyleCopPlusMSBuild = fetchNuGet {
|
|
|
|
baseName = "StyleCopPlus.MSBuild";
|
|
|
|
version = "4.7.49.5";
|
|
|
|
sha256 = "1hv4lfxw72aql8siyqc4n954vzdz8p6jx9f2wrgzz0jy1k98x2mr";
|
|
|
|
outputFiles = [ "tools/*" ];
|
|
|
|
};
|
|
|
|
|
2017-03-27 13:26:31 +00:00
|
|
|
SystemValueTuple = fetchNuGet {
|
|
|
|
baseName = "System.ValueTuple";
|
2019-08-07 05:44:14 +00:00
|
|
|
version = "4.3.1";
|
|
|
|
sha256 = "0qzq878s66yfkf4n2b9af8lw2bx45s3cg6mi0w8w0bi358fa7q70";
|
2017-03-27 13:26:31 +00:00
|
|
|
outputFiles = [ "*" ];
|
|
|
|
};
|
|
|
|
|
2016-04-29 18:34:54 +00:00
|
|
|
RestSharp = fetchNuGet {
|
|
|
|
baseName = "RestSharp";
|
|
|
|
version = "105.2.3";
|
|
|
|
sha256 = "1br48124ppz80x92m84sfyil1gn23hxg2ml9i9hsd0lp86vlaa1m";
|
|
|
|
outputFiles = [ "lib/*" ];
|
|
|
|
};
|
|
|
|
|
2016-04-29 17:19:53 +00:00
|
|
|
SharpFont = fetchNuGet {
|
|
|
|
baseName = "SharpFont";
|
2018-10-31 20:04:31 +00:00
|
|
|
version = "4.0.1";
|
|
|
|
sha256 = "1yd3cm4ww0hw2k3aymf792hp6skyg8qn491m2a3fhkzvsl8z7vs8";
|
2016-04-29 17:19:53 +00:00
|
|
|
outputFiles = [ "lib/*" "config/*" ];
|
|
|
|
};
|
|
|
|
|
2016-04-29 16:25:12 +00:00
|
|
|
SmartIrc4net = fetchNuGet {
|
|
|
|
baseName = "SmartIrc4net";
|
|
|
|
version = "0.4.5.1";
|
2017-11-21 18:24:06 +00:00
|
|
|
sha256 = "1d531sj39fvwmj2wgplqfify301y3cwp7kwr9ai5hgrq81jmjn2b";
|
2016-04-29 16:25:12 +00:00
|
|
|
outputFiles = [ "lib/*" ];
|
2015-05-22 13:25:02 +00:00
|
|
|
};
|
|
|
|
|
2016-04-29 16:25:39 +00:00
|
|
|
FuzzyLogicLibrary = fetchNuGet {
|
|
|
|
baseName = "FuzzyLogicLibrary";
|
|
|
|
version = "1.2.0";
|
|
|
|
sha256 = "0x518i8d3rw9n51xwawa4sywvqd722adj7kpcgcm63r66s950r5l";
|
|
|
|
outputFiles = [ "bin/*" ];
|
|
|
|
};
|
|
|
|
|
2016-10-29 05:20:17 +00:00
|
|
|
OpenNAT = fetchNuGet {
|
|
|
|
baseName = "Open.NAT";
|
|
|
|
version = "2.1.0";
|
|
|
|
sha256 = "1jyd30fwycdwx5ck96zhp2xf20yz0sp7g3pjbqhmay4kd322mfwk";
|
|
|
|
outputFiles = [ "lib/*" ];
|
|
|
|
};
|
|
|
|
|
2016-04-29 16:26:00 +00:00
|
|
|
MonoNat = fetchNuGet {
|
|
|
|
baseName = "Mono.Nat";
|
2016-05-08 19:24:48 +00:00
|
|
|
version = "1.2.24";
|
|
|
|
sha256 = "0vfkach11kkcd9rcqz3s38m70d5spyb21gl99iqnkljxj5555wjs";
|
2016-04-29 16:26:00 +00:00
|
|
|
outputFiles = [ "lib/*" ];
|
|
|
|
};
|
|
|
|
|
2017-03-27 13:26:31 +00:00
|
|
|
MicrosoftDiaSymReader = fetchNuGet {
|
|
|
|
baseName = "Microsoft.DiaSymReader";
|
|
|
|
version = "1.1.0";
|
|
|
|
sha256 = "04dgwy6nyxksd1nb24k5c5vz8naggg7hryadvwqnm2v3alkh6g88";
|
|
|
|
outputFiles = [ "*" ];
|
|
|
|
};
|
|
|
|
|
|
|
|
MicrosoftDiaSymReaderPortablePdb = fetchNuGet {
|
|
|
|
baseName = "Microsoft.DiaSymReader.PortablePdb";
|
|
|
|
version = "1.2.0";
|
|
|
|
sha256 = "0qa8sqg0lzz9galkkfyi8rkbkali0nxm3qd5y4dlxp96ngrq5ldz";
|
|
|
|
outputFiles = [ "*" ];
|
|
|
|
};
|
|
|
|
|
2015-05-22 13:25:02 +00:00
|
|
|
NUnitRunners = fetchNuGet {
|
|
|
|
baseName = "NUnit.Runners";
|
|
|
|
version = "2.6.4";
|
|
|
|
sha256 = "11nmi7vikn9idz8qcad9z7f73arsh5rw18fc1sri9ywz77mpm1s4";
|
|
|
|
outputFiles = [ "tools/*" ];
|
|
|
|
preInstall = "mv -v tools/lib/* tools && rmdir -v tools/lib";
|
|
|
|
};
|
|
|
|
|
|
|
|
SystemCollectionsImmutable = fetchNuGet {
|
|
|
|
baseName = "System.Collections.Immutable";
|
|
|
|
version = "1.1.36";
|
|
|
|
sha256 = "0760kzf5s771pnvnxsgas446kqdh1b71w6g3k75jpzldfmsd3vyq";
|
|
|
|
outputFiles = [ "lib/portable-net45+win8+wp8+wpa81/*" ];
|
|
|
|
};
|
|
|
|
|
2017-03-27 13:26:31 +00:00
|
|
|
SystemCollectionsImmutable131 = fetchNuGet {
|
|
|
|
baseName = "System.Collections.Immutable";
|
|
|
|
version = "1.3.1";
|
|
|
|
sha256 = "149fcp7k7r9iw24dv5hbaij0c38kcv28dyhzbkggilfh4x2hy8c2";
|
|
|
|
outputFiles = [ "*" ];
|
|
|
|
};
|
|
|
|
|
|
|
|
SystemReflectionMetadata = fetchNuGet {
|
|
|
|
baseName = "System.Reflection.Metadata";
|
|
|
|
version = "1.4.2";
|
|
|
|
sha256 = "19fhdgd35yg52gyckhgwrphq07nv7v7r73hcg69ns94xfg1i6r7i";
|
|
|
|
outputFiles = [ "*" ];
|
|
|
|
};
|
|
|
|
|
2015-06-12 15:06:32 +00:00
|
|
|
Suave = fetchNuGet {
|
|
|
|
baseName = "Suave";
|
|
|
|
version = "0.29.0";
|
2015-06-12 15:13:21 +00:00
|
|
|
propagatedBuildInputs = [ FsPickler ];
|
2015-06-12 15:06:32 +00:00
|
|
|
sha256 = "0rgqy0afwm50gq5ca94w16s565yx5wf961683ghfld6ir0k3dhln";
|
|
|
|
outputFiles = [ "lib/net40/*" ];
|
|
|
|
};
|
|
|
|
|
|
|
|
# SOURCE PACKAGES
|
|
|
|
|
2017-02-03 01:16:45 +00:00
|
|
|
Boogie = buildDotnetPackage rec {
|
2017-02-06 21:41:01 +00:00
|
|
|
baseName = "Boogie";
|
2020-03-03 10:50:13 +00:00
|
|
|
version = "2.4.1";
|
2017-02-03 01:16:45 +00:00
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "boogie-org";
|
|
|
|
repo = "boogie";
|
2020-03-03 10:50:13 +00:00
|
|
|
rev = "v${version}";
|
|
|
|
sha256 = "13f6ifkh6gpy4bvx5zhgwmk3wd5rfxzl9wxwfhcj1c90fdrhwh1b";
|
2017-02-03 01:16:45 +00:00
|
|
|
};
|
|
|
|
|
2018-05-28 11:10:14 +00:00
|
|
|
# emulate `nuget restore Source/Boogie.sln`
|
|
|
|
# which installs in $srcdir/Source/packages
|
|
|
|
preBuild = ''
|
|
|
|
mkdir -p Source/packages/NUnit.2.6.3
|
|
|
|
ln -sn ${dotnetPackages.NUnit}/lib/dotnet/NUnit Source/packages/NUnit.2.6.3/lib
|
|
|
|
'';
|
|
|
|
|
|
|
|
buildInputs = [
|
|
|
|
dotnetPackages.NUnit
|
|
|
|
dotnetPackages.NUnitRunners
|
|
|
|
];
|
2017-02-03 01:16:45 +00:00
|
|
|
|
|
|
|
xBuildFiles = [ "Source/Boogie.sln" ];
|
|
|
|
|
|
|
|
outputFiles = [ "Binaries/*" ];
|
|
|
|
|
|
|
|
postInstall = ''
|
2017-02-06 21:41:01 +00:00
|
|
|
mkdir -pv "$out/lib/dotnet/${baseName}"
|
|
|
|
ln -sv "${pkgs.z3}/bin/z3" "$out/lib/dotnet/${baseName}/z3.exe"
|
2018-05-03 11:52:41 +00:00
|
|
|
|
|
|
|
# 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
|
2017-02-03 01:16:45 +00:00
|
|
|
'';
|
|
|
|
|
2021-01-10 11:03:59 +00:00
|
|
|
meta = with lib; {
|
2017-02-03 01:16:45 +00:00
|
|
|
description = "An intermediate verification language";
|
|
|
|
homepage = "https://github.com/boogie-org/boogie";
|
2018-05-03 11:52:41 +00:00
|
|
|
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.
|
|
|
|
'';
|
2017-02-03 01:16:45 +00:00
|
|
|
license = licenses.mspl;
|
|
|
|
maintainers = [ maintainers.taktoa ];
|
|
|
|
platforms = with platforms; (linux ++ darwin);
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
2020-03-03 10:50:13 +00:00
|
|
|
Dafny = let
|
2020-10-24 15:03:20 +00:00
|
|
|
z3 = pkgs.z3.overrideAttrs (oldAttrs: rec {
|
2020-03-03 10:50:13 +00:00
|
|
|
version = "4.8.4";
|
2020-10-24 15:03:20 +00:00
|
|
|
name = "z3-${version}";
|
2020-03-03 10:50:13 +00:00
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "Z3Prover";
|
2020-10-24 15:03:20 +00:00
|
|
|
repo = "z3";
|
2020-03-03 10:50:13 +00:00
|
|
|
rev = "z3-${version}";
|
|
|
|
sha256 = "014igqm5vwswz0yhz0cdxsj3a6dh7i79hvhgc3jmmmz3z0xm1gyn";
|
|
|
|
};
|
|
|
|
});
|
2020-10-24 15:03:20 +00:00
|
|
|
self' = pkgs.dotnetPackages.override ({
|
|
|
|
pkgs = pkgs // { inherit z3; };
|
|
|
|
});
|
|
|
|
Boogie = assert self'.Boogie.version == "2.4.1"; self'.Boogie;
|
2020-03-03 10:50:13 +00:00
|
|
|
in buildDotnetPackage rec {
|
2016-09-01 07:36:56 +00:00
|
|
|
baseName = "Dafny";
|
2019-06-20 15:15:27 +00:00
|
|
|
version = "2.3.0";
|
2016-09-01 07:36:56 +00:00
|
|
|
|
|
|
|
src = fetchurl {
|
|
|
|
url = "https://github.com/Microsoft/dafny/archive/v${version}.tar.gz";
|
2019-06-20 15:15:27 +00:00
|
|
|
sha256 = "0s6ihx32kda7400lvdrq60l46c11nki8b6kalir2g4ic508f6ypa";
|
2016-09-01 07:36:56 +00:00
|
|
|
};
|
|
|
|
|
2018-01-31 12:49:12 +00:00
|
|
|
postPatch = ''
|
|
|
|
sed -i \
|
|
|
|
-e 's/ Visible="False"//' \
|
|
|
|
-e "s/Exists(\$(CodeContractsInstallDir))/Exists('\$(CodeContractsInstallDir)')/" \
|
|
|
|
Source/*/*.csproj
|
|
|
|
'';
|
|
|
|
|
2016-09-01 07:36:56 +00:00
|
|
|
preBuild = ''
|
2020-03-03 10:50:13 +00:00
|
|
|
ln -s ${z3} Binaries/z3
|
2016-09-01 07:36:56 +00:00
|
|
|
'';
|
|
|
|
|
|
|
|
buildInputs = [ Boogie ];
|
|
|
|
|
|
|
|
xBuildFiles = [ "Source/Dafny.sln" ];
|
2018-01-31 12:49:12 +00:00
|
|
|
xBuildFlags = [ "/p:Configuration=Checked" "/p:Platform=Any CPU" "/t:Rebuild" ];
|
2016-09-01 07:36:56 +00:00
|
|
|
|
|
|
|
outputFiles = [ "Binaries/*" ];
|
|
|
|
|
|
|
|
# Do not wrap the z3 executable, only dafny-related ones.
|
|
|
|
exeFiles = [ "Dafny*.exe" ];
|
|
|
|
|
|
|
|
# Dafny needs mono in its path.
|
|
|
|
makeWrapperArgs = "--set PATH ${mono}/bin";
|
|
|
|
|
|
|
|
# Boogie as an input is not enough. Boogie libraries need to be at the same
|
|
|
|
# place as Dafny ones. Same for "*.dll.mdb". No idea why or how to fix.
|
|
|
|
postFixup = ''
|
2020-10-24 15:03:20 +00:00
|
|
|
for lib in ${Boogie}/lib/dotnet/${Boogie.baseName}/*.dll{,.mdb}; do
|
2016-09-01 07:36:56 +00:00
|
|
|
ln -s $lib $out/lib/dotnet/${baseName}/
|
|
|
|
done
|
|
|
|
# We generate our own executable scripts
|
|
|
|
rm -f $out/lib/dotnet/${baseName}/dafny{,-server}
|
|
|
|
'';
|
|
|
|
|
2021-01-10 11:03:59 +00:00
|
|
|
meta = with lib; {
|
2016-09-01 07:36:56 +00:00
|
|
|
description = "A programming language with built-in specification constructs";
|
2019-04-22 08:14:28 +00:00
|
|
|
homepage = "https://research.microsoft.com/dafny";
|
2016-09-01 07:36:56 +00:00
|
|
|
maintainers = with maintainers; [ layus ];
|
2017-02-07 09:30:36 +00:00
|
|
|
license = licenses.mit;
|
2016-09-01 07:36:56 +00:00
|
|
|
platforms = with platforms; (linux ++ darwin);
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
2019-08-13 21:52:01 +00:00
|
|
|
Deedle = fetchNuGet {
|
2015-06-15 06:12:07 +00:00
|
|
|
baseName = "Deedle";
|
2018-09-15 14:18:29 +00:00
|
|
|
version = "1.2.5";
|
|
|
|
sha256 = "0g19ll6bp97ixprcnpwwvshr1n9jxxf9xjhkxp0r63mg46z48jnw";
|
|
|
|
outputFiles = [ "*" ];
|
2015-06-15 06:12:07 +00:00
|
|
|
};
|
|
|
|
|
2019-08-13 21:52:01 +00:00
|
|
|
ExcelDna = buildDotnetPackage {
|
2015-06-14 05:42:09 +00:00
|
|
|
baseName = "Excel-DNA";
|
|
|
|
version = "0.32.0";
|
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "Excel-DNA";
|
|
|
|
repo = "ExcelDna";
|
|
|
|
rev = "10a163843bcc2fb5517f6f3d499e18a8b64df511";
|
|
|
|
sha256 = "1w2ag9na20ly0m2sic3nkgdc4qqyb4x4c9iv588ynpkgd1pjndrk";
|
|
|
|
};
|
|
|
|
|
|
|
|
buildInputs = [ ];
|
|
|
|
|
|
|
|
preConfigure = ''
|
|
|
|
rm -vf Distribution/*.dll Distribution/*.exe # Make sure we don't use those
|
|
|
|
substituteInPlace Source/ExcelDna.Integration/ExcelDna.Integration.csproj --replace LogDisplay.designer.cs LogDisplay.Designer.cs
|
|
|
|
'';
|
|
|
|
|
|
|
|
xBuildFiles = [ "Source/ExcelDna.sln" ];
|
|
|
|
outputFiles = [ "Source/ExcelDnaPack/bin/Release/*" "Distribution/ExcelDna.xll" "Distribution/ExcelDna64.xll" ];
|
|
|
|
|
|
|
|
meta = {
|
|
|
|
description = "Excel-DNA is an independent project to integrate .NET into Excel";
|
2017-08-02 21:50:51 +00:00
|
|
|
homepage = "https://excel-dna.net/";
|
2021-01-10 11:03:59 +00:00
|
|
|
license = lib.licenses.mit;
|
|
|
|
maintainers = with lib.maintainers; [ obadz ];
|
|
|
|
platforms = with lib.platforms; linux;
|
2015-06-14 05:42:09 +00:00
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
ExcelDnaRegistration = buildDotnetPackage rec {
|
|
|
|
baseName = "Excel-DNA.Registration";
|
|
|
|
version = "git-" + (builtins.substring 0 10 rev);
|
|
|
|
rev = "69abb1b3528f40dbcf425e13690aaeab5f707bb6";
|
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
inherit rev;
|
|
|
|
owner = "Excel-DNA";
|
|
|
|
repo = "Registration";
|
|
|
|
sha256 = "094932h6r2f4x9r5mnw8rm4jzz8vkfv90d95qi3h0i89ws2dnn07";
|
|
|
|
};
|
|
|
|
|
|
|
|
buildInputs = [
|
|
|
|
fsharp
|
|
|
|
dotnetPackages.ExcelDna
|
|
|
|
];
|
|
|
|
|
|
|
|
xBuildFiles = [ "Source/ExcelDna.Registration/ExcelDna.Registration.csproj" "Source/ExcelDna.Registration.FSharp/ExcelDna.Registration.FSharp.fsproj" ];
|
|
|
|
outputFiles = [ "Source/ExcelDna.Registration/bin/Release/*" "Source/ExcelDna.Registration.FSharp/bin/Release/*FSharp*" ];
|
|
|
|
|
|
|
|
meta = {
|
|
|
|
description = "This library implements helper functions to assist and modify the Excel-DNA function registration";
|
|
|
|
homepage = "https://github.com/Excel-DNA/Registration";
|
2021-01-10 11:03:59 +00:00
|
|
|
license = lib.licenses.mit;
|
|
|
|
maintainers = with lib.maintainers; [ obadz ];
|
|
|
|
platforms = with lib.platforms; linux;
|
2015-06-14 05:42:09 +00:00
|
|
|
};
|
|
|
|
};
|
|
|
|
|
2019-08-13 21:52:01 +00:00
|
|
|
ExtCore = buildDotnetPackage {
|
2015-05-22 13:25:02 +00:00
|
|
|
baseName = "ExtCore";
|
|
|
|
version = "0.8.46";
|
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "jack-pappas";
|
|
|
|
repo = "ExtCore";
|
|
|
|
rev = "0269b6d3c479f45abd7aa983aaeca08d07473943";
|
|
|
|
sha256 = "1kxkiszpvqisffhd6wciha8j3dhkq06w9c540bmq8zixa4xaj83p";
|
|
|
|
};
|
|
|
|
|
|
|
|
buildInputs = [
|
|
|
|
fsharp
|
|
|
|
dotnetPackages.NUnit
|
|
|
|
dotnetPackages.FsCheck
|
|
|
|
];
|
|
|
|
|
|
|
|
postConfigure = ''
|
|
|
|
# Fix case
|
|
|
|
sed -i -e s,nuget.targets,NuGet.targets, ExtCore.Tests/ExtCore.Tests.fsproj
|
|
|
|
'';
|
|
|
|
|
|
|
|
xBuildFlags = [ "/p:Configuration=Release (net45)" ];
|
|
|
|
outputFiles = [ "ExtCore/bin/net45/Release/*" ];
|
|
|
|
|
|
|
|
meta = {
|
|
|
|
description = "ExtCore is an extended core library for F#";
|
|
|
|
homepage = "https://github.com/jack-pappas/ExtCore";
|
2021-01-10 11:03:59 +00:00
|
|
|
license = lib.licenses.asl20;
|
|
|
|
maintainers = with lib.maintainers; [ obadz ];
|
|
|
|
platforms = with lib.platforms; linux;
|
2019-10-07 15:20:23 +00:00
|
|
|
broken = true;
|
2015-05-22 13:25:02 +00:00
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
FSharpAutoComplete = buildDotnetPackage rec {
|
|
|
|
baseName = "FSharp.AutoComplete";
|
2015-06-13 13:17:39 +00:00
|
|
|
version = "0.18.2";
|
2015-05-22 13:25:02 +00:00
|
|
|
|
2015-06-13 13:17:39 +00:00
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "fsharp";
|
|
|
|
repo = "FSharp.AutoComplete";
|
|
|
|
rev = version;
|
|
|
|
sha256 = "1ikl72003xzqq2dc8i6h404hnq3q5g1p1q4rmzz9bdm7282q2jgs";
|
2015-05-22 13:25:02 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
buildInputs = [
|
|
|
|
fsharp
|
2020-06-14 09:58:12 +00:00
|
|
|
glib
|
2015-05-22 13:25:02 +00:00
|
|
|
dotnetPackages.FSharpCompilerService
|
|
|
|
dotnetPackages.NewtonsoftJson
|
|
|
|
dotnetPackages.NDeskOptions
|
|
|
|
];
|
|
|
|
|
|
|
|
outputFiles = [ "FSharp.AutoComplete/bin/Release/*" ];
|
|
|
|
|
|
|
|
meta = {
|
2015-06-29 14:20:58 +00:00
|
|
|
description = "An interface to the FSharp.Compiler.Service project";
|
|
|
|
longDescription = ''
|
|
|
|
This project provides a command-line interface to the
|
|
|
|
FSharp.Compiler.Service project. It is intended to be used as a backend
|
|
|
|
service for rich editing or 'intellisense' features for editors.
|
|
|
|
'';
|
2020-04-01 01:11:51 +00:00
|
|
|
homepage = "https://github.com/fsharp/FSharp.AutoComplete";
|
2021-01-10 11:03:59 +00:00
|
|
|
license = lib.licenses.asl20;
|
|
|
|
maintainers = with lib.maintainers; [ obadz ];
|
|
|
|
platforms = with lib.platforms; linux;
|
2015-05-22 13:25:02 +00:00
|
|
|
};
|
|
|
|
};
|
|
|
|
|
2019-08-13 21:52:01 +00:00
|
|
|
FSharpCompilerService = buildDotnetPackage {
|
2015-05-22 13:25:02 +00:00
|
|
|
baseName = "FSharp.Compiler.Service";
|
2015-06-23 21:43:39 +00:00
|
|
|
version = "0.0.90";
|
2015-05-22 13:25:02 +00:00
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "fsharp";
|
|
|
|
repo = "FSharp.Compiler.Service";
|
2015-06-23 21:43:39 +00:00
|
|
|
rev = "a87939ab3f3c571cad79bc3b5f298aa3e180e6b3";
|
|
|
|
sha256 = "0axr38q8m0h11hhbxg5myd1wwfgysadriln8c7bqsv5sf9djihvd";
|
2015-05-22 13:25:02 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
buildInputs = [
|
|
|
|
fsharp
|
|
|
|
dotnetPackages.NUnit
|
|
|
|
];
|
|
|
|
|
|
|
|
outputFiles = [ "bin/v4.5/*" ];
|
|
|
|
|
|
|
|
meta = {
|
|
|
|
description = "The F# compiler services package is a component derived from the F# compiler source code that exposes additional functionality for implementing F# language bindings";
|
2019-04-22 08:14:28 +00:00
|
|
|
homepage = "https://fsharp.github.io/FSharp.Compiler.Service/";
|
2021-01-10 11:03:59 +00:00
|
|
|
license = lib.licenses.asl20;
|
|
|
|
maintainers = with lib.maintainers; [ obadz ];
|
|
|
|
platforms = with lib.platforms; linux;
|
2015-05-22 13:25:02 +00:00
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
# FSharpxExtras = buildDotnetPackage rec {
|
|
|
|
# baseName = "FSharpx.Extras";
|
|
|
|
# version = "1.8.41";
|
|
|
|
#
|
|
|
|
# src = fetchurl {
|
|
|
|
# name = "${baseName}-${version}.tar.gz";
|
|
|
|
# url = "https://github.com/fsprojects/FSharpx.Extras/archive/${version}.tar.gz";
|
|
|
|
# sha256 = "102z5bvk3ffi1crgyp51488vamv41fsf61n8x8pdiznq155zydhl";
|
|
|
|
# };
|
|
|
|
#
|
|
|
|
# buildInputs = [
|
|
|
|
# fsharp
|
|
|
|
# dotnetPackages.NUnit
|
|
|
|
# dotnetPackages.FsCheck
|
|
|
|
# dotnetPackages.FsCheckNunit
|
|
|
|
# dotnetPackages.FsUnit
|
|
|
|
# ];
|
|
|
|
#
|
|
|
|
# patches = [ ./disable_excel.patch ];
|
|
|
|
#
|
|
|
|
# xBuildFiles = [ "FSharpx.WithTypeProviders.sln" ];
|
|
|
|
# outputFiles = [ "build/*" ];
|
|
|
|
#
|
|
|
|
# meta = {
|
2016-02-27 17:24:00 +00:00
|
|
|
# description = "FSharpx.Extras is a collection of libraries and tools for use with F#";
|
2019-04-22 08:14:28 +00:00
|
|
|
# homepage = "https://fsprojects.github.io/FSharpx.Extras/";
|
2021-01-10 11:03:59 +00:00
|
|
|
# license = lib.licenses.asl20;
|
|
|
|
# maintainers = with lib.maintainers; [ obadz ];
|
|
|
|
# platforms = with lib.platforms; linux;
|
2015-05-22 13:25:02 +00:00
|
|
|
# };
|
|
|
|
# };
|
|
|
|
|
2019-08-13 21:52:01 +00:00
|
|
|
GitVersionTree = buildDotnetPackage {
|
2016-08-19 17:27:15 +00:00
|
|
|
baseName = "GitVersionTree";
|
|
|
|
version = "2013-10-01";
|
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "crc8";
|
|
|
|
repo = "GitVersionTree";
|
|
|
|
rev = "58dc39c43cffea44f721ee4425835e56518f7da2";
|
|
|
|
sha256 = "0mna5pkpqkdr5jgn8paz004h1pa24ncsvmi2c8s4gp94nfw34x05";
|
|
|
|
};
|
|
|
|
|
|
|
|
buildInputs = with pkgs; [ ed ];
|
|
|
|
|
|
|
|
postPatch = ''
|
|
|
|
ed -v -p: -s GitVersionTree/Program.cs << EOF
|
|
|
|
/Main()
|
|
|
|
c
|
|
|
|
static void Main(string[] args)
|
|
|
|
.
|
|
|
|
/EnableVisualStyles
|
|
|
|
i
|
|
|
|
Reg.Write("GitPath", "${pkgs.gitMinimal}/bin/git");
|
|
|
|
Reg.Write("GraphvizPath", "${pkgs.graphviz}/bin/dot");
|
|
|
|
if (args.Length > 0) {
|
|
|
|
Reg.Write("GitRepositoryPath", args[0]);
|
|
|
|
}
|
|
|
|
.
|
|
|
|
w
|
|
|
|
EOF
|
|
|
|
|
|
|
|
substituteInPlace GitVersionTree/Forms/MainForm.cs \
|
|
|
|
--replace 'Directory.GetParent(Application.ExecutablePath)' 'Environment.CurrentDirectory' \
|
|
|
|
--replace '\\' '/' \
|
|
|
|
--replace '@"\"' '"/"'
|
|
|
|
'';
|
|
|
|
|
|
|
|
outputFiles = [ "GitVersionTree/bin/Release/*" ];
|
|
|
|
exeFiles = [ "GitVersionTree.exe" ];
|
|
|
|
|
2021-01-10 11:03:59 +00:00
|
|
|
meta = with lib; {
|
2016-08-19 17:27:15 +00:00
|
|
|
description = "A tool to help visualize git revisions and branches";
|
2020-04-01 01:11:51 +00:00
|
|
|
homepage = "https://github.com/crc8/GitVersionTree";
|
2016-08-19 17:27:15 +00:00
|
|
|
license = licenses.gpl2;
|
|
|
|
maintainers = with maintainers; [ obadz ];
|
|
|
|
platforms = platforms.all;
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
2015-06-13 13:29:48 +00:00
|
|
|
MathNetNumerics = buildDotnetPackage rec {
|
|
|
|
baseName = "MathNet.Numerics";
|
|
|
|
version = "3.7.0";
|
|
|
|
|
|
|
|
src = fetchurl {
|
|
|
|
name = "${baseName}-${version}.tar.gz";
|
|
|
|
url = "https://github.com/mathnet/mathnet-numerics/archive/v${version}.tar.gz";
|
|
|
|
sha256 = "1yq6aqmc2gwh96z544qn83kby01lv1lsxm158hq0bimv2i9yywc7";
|
|
|
|
};
|
|
|
|
|
|
|
|
buildInputs = [ fsharp ];
|
|
|
|
|
|
|
|
xBuildFiles = [ "MathNet.Numerics.sln" ];
|
|
|
|
outputFiles = [ "out/lib/Net40/*" "src/FSharp/MathNet.Numerics.fsx" "src/FSharp/MathNet.Numerics.IfSharp.fsx" ];
|
|
|
|
|
|
|
|
meta = {
|
2016-02-27 17:24:00 +00:00
|
|
|
description = "Math.NET Numerics is an opensource numerical library for .Net, Silverlight and Mono";
|
2020-04-01 01:11:51 +00:00
|
|
|
homepage = "https://numerics.mathdotnet.com/";
|
2021-01-10 11:03:59 +00:00
|
|
|
license = lib.licenses.mit;
|
|
|
|
maintainers = with lib.maintainers; [ obadz ];
|
|
|
|
platforms = with lib.platforms; linux;
|
2015-06-13 13:29:48 +00:00
|
|
|
};
|
|
|
|
};
|
|
|
|
|
2015-10-29 02:48:08 +00:00
|
|
|
MonoAddins = buildDotnetPackage rec {
|
|
|
|
baseName = "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";
|
|
|
|
};
|
|
|
|
|
2016-09-11 21:24:51 +00:00
|
|
|
buildInputs = [ pkgs.gtk-sharp-2_0 ];
|
2015-10-29 02:48:08 +00:00
|
|
|
|
|
|
|
meta = {
|
|
|
|
description = "A generic framework for creating extensible applications";
|
2020-04-01 01:11:51 +00:00
|
|
|
homepage = "https://www.mono-project.com/Mono.Addins";
|
2015-10-29 02:48:08 +00:00
|
|
|
longDescription = ''
|
|
|
|
A generic framework for creating extensible applications,
|
|
|
|
and for creating libraries which extend those applications.
|
|
|
|
'';
|
2021-01-10 11:03:59 +00:00
|
|
|
license = lib.licenses.mit;
|
2015-10-29 02:48:08 +00:00
|
|
|
};
|
|
|
|
};
|
|
|
|
|
2015-11-08 20:42:56 +00:00
|
|
|
# MonoDevelopFSharpBinding = buildDotnetPackage rec {
|
|
|
|
# baseName = "MonoDevelop.FSharpBinding";
|
|
|
|
# version = "git-a09c8185eb";
|
2015-05-22 13:25:02 +00:00
|
|
|
|
2015-11-08 20:42:56 +00:00
|
|
|
# broken = true;
|
2015-05-22 13:25:02 +00:00
|
|
|
|
2015-11-08 20:42:56 +00:00
|
|
|
# src = fetchFromGitHub {
|
|
|
|
# owner = "fsharp";
|
|
|
|
# repo = "fsharpbinding";
|
|
|
|
# rev = "a09c8185ebf23fe2f7d22b14b4af2e3268d4f011";
|
|
|
|
# sha256 = "1zp5gig42s1h681kch0rw5ykbbj0mcsmdvpyz1319wy9s7n2ng91";
|
|
|
|
# };
|
2015-05-22 13:25:02 +00:00
|
|
|
|
2015-11-08 20:42:56 +00:00
|
|
|
# buildInputs = [
|
|
|
|
# fsharp
|
|
|
|
# monodevelop
|
|
|
|
# pkgs.gtk-sharp
|
|
|
|
# pkgs.gnome-sharp
|
|
|
|
# dotnetPackages.ExtCore
|
|
|
|
# dotnetPackages.FSharpCompilerService
|
|
|
|
# dotnetPackages.FSharpCompilerCodeDom
|
|
|
|
# dotnetPackages.FSharpAutoComplete
|
|
|
|
# dotnetPackages.Fantomas
|
|
|
|
# ];
|
2015-05-22 13:25:02 +00:00
|
|
|
|
2015-11-08 20:42:56 +00:00
|
|
|
# patches = [
|
|
|
|
# ../development/dotnet-modules/patches/monodevelop-fsharpbinding.references.patch
|
|
|
|
# ../development/dotnet-modules/patches/monodevelop-fsharpbinding.addin-xml.patch
|
|
|
|
# ];
|
2015-05-22 13:25:02 +00:00
|
|
|
|
2015-11-08 20:42:56 +00:00
|
|
|
# preConfigure = ''
|
|
|
|
# substituteInPlace monodevelop/configure.fsx --replace /usr/lib/monodevelop ${monodevelop}/lib/monodevelop
|
|
|
|
# substituteInPlace monodevelop/configure.fsx --replace bin/MonoDevelop.exe ../../bin/monodevelop
|
|
|
|
# (cd monodevelop; fsharpi ./configure.fsx)
|
|
|
|
# '';
|
2015-05-22 13:25:02 +00:00
|
|
|
|
2015-11-08 20:42:56 +00:00
|
|
|
# # This will not work as monodevelop probably looks in absolute nix store path rather than path
|
|
|
|
# # relative to its executable. Need to ln -s /run/current-system/sw/lib/dotnet/MonoDevelop.FSharpBinding
|
|
|
|
# # ~/.local/share/MonoDevelop-5.0/LocalInstall/Addins/ to install until we have a better way
|
2015-05-22 13:25:02 +00:00
|
|
|
|
2015-11-08 20:42:56 +00:00
|
|
|
# # postInstall = ''
|
|
|
|
# # mkdir -p "$out/lib/monodevelop/AddIns"
|
|
|
|
# # ln -sv "$out/lib/dotnet/${baseName}" "$out/lib/monodevelop/AddIns"
|
|
|
|
# # '';
|
2015-05-22 13:25:02 +00:00
|
|
|
|
2015-11-08 20:42:56 +00:00
|
|
|
# xBuildFiles = [ "monodevelop/MonoDevelop.FSharpBinding/MonoDevelop.FSharp.mac-linux.fsproj" ];
|
|
|
|
# outputFiles = [ "monodevelop/bin/mac-linux/Release/*" ];
|
|
|
|
|
|
|
|
# meta = {
|
|
|
|
# description = "F# addin for MonoDevelop 5.9";
|
|
|
|
# homepage = "https://github.com/fsharp/fsharpbinding/tree/5.9";
|
2021-01-10 11:03:59 +00:00
|
|
|
# license = lib.licenses.asl20;
|
|
|
|
# maintainers = with lib.maintainers; [ obadz ];
|
|
|
|
# platforms = with lib.platforms; linux;
|
2015-11-08 20:42:56 +00:00
|
|
|
# };
|
|
|
|
# };
|
2015-05-22 13:25:02 +00:00
|
|
|
|
|
|
|
NDeskOptions = stdenv.mkDerivation rec {
|
2021-05-23 15:07:31 +00:00
|
|
|
pname = "NDesk.Options";
|
2015-05-22 13:25:02 +00:00
|
|
|
version = "0.2.1";
|
|
|
|
|
|
|
|
src = fetchurl {
|
2021-05-23 15:07:31 +00:00
|
|
|
name = "${pname}-${version}.tar.gz";
|
|
|
|
url = "http://www.ndesk.org/archive/ndesk-options/ndesk-options-${version}.tar.gz";
|
2015-05-22 13:25:02 +00:00
|
|
|
sha256 = "1y25bfapafwmifakjzyb9c70qqpvza8g5j2jpf08j8wwzkrb6r28";
|
|
|
|
};
|
|
|
|
|
|
|
|
buildInputs = [
|
|
|
|
mono
|
2021-01-19 06:50:56 +00:00
|
|
|
pkg-config
|
2015-05-22 13:25:02 +00:00
|
|
|
];
|
|
|
|
|
|
|
|
postInstall = ''
|
|
|
|
# Otherwise pkg-config won't find it and the DLL will get duplicated
|
|
|
|
ln -sv $out/lib/pkgconfig/ndesk-options.pc $out/lib/pkgconfig/NDesk.Options.pc
|
|
|
|
'';
|
|
|
|
|
|
|
|
dontStrip = true;
|
|
|
|
|
|
|
|
meta = {
|
2015-06-29 14:20:58 +00:00
|
|
|
description = "A callback-based program option parser for C#";
|
2020-04-01 01:11:51 +00:00
|
|
|
homepage = "http://www.ndesk.org/Options";
|
2021-01-10 11:03:59 +00:00
|
|
|
license = lib.licenses.mit;
|
|
|
|
maintainers = with lib.maintainers; [ obadz ];
|
|
|
|
platforms = with lib.platforms; linux;
|
2015-05-22 13:25:02 +00:00
|
|
|
};
|
|
|
|
};
|
|
|
|
|
2018-09-14 23:49:57 +00:00
|
|
|
NewtonsoftJson = fetchNuGet {
|
2015-05-22 13:25:02 +00:00
|
|
|
baseName = "Newtonsoft.Json";
|
2018-09-14 23:49:57 +00:00
|
|
|
version = "11.0.2";
|
|
|
|
sha256 = "07na27n4mlw77f3hg5jpayzxll7f4gyna6x7k9cybmxpbs6l77k7";
|
|
|
|
outputFiles = [ "*" ];
|
2015-05-22 13:25:02 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
Nuget = buildDotnetPackage {
|
|
|
|
baseName = "Nuget";
|
2019-08-05 21:35:04 +00:00
|
|
|
version = "4.9.1";
|
2015-05-22 13:25:02 +00:00
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "mono";
|
|
|
|
repo = "nuget-binary";
|
2019-08-05 21:35:04 +00:00
|
|
|
rev = "7871fa26914593fdb2f2500df1196df7b8aecb1c";
|
|
|
|
sha256 = "07r63xam6icm17pf6amh1qkmna13nxa3ncdan7a3ql307i5isriz";
|
2015-05-22 13:25:02 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
phases = [ "unpackPhase" "installPhase" ];
|
|
|
|
|
|
|
|
outputFiles = [ "*" ];
|
|
|
|
dllFiles = [ "NuGet*.dll" ];
|
2018-03-08 21:08:23 +00:00
|
|
|
exeFiles = [ "nuget.exe" ];
|
2015-05-22 13:25:02 +00:00
|
|
|
};
|
|
|
|
|
2018-09-15 14:02:55 +00:00
|
|
|
Paket = fetchNuGet {
|
2015-05-22 13:25:02 +00:00
|
|
|
baseName = "Paket";
|
2018-09-15 14:02:55 +00:00
|
|
|
version = "5.179.1";
|
|
|
|
sha256 = "11rzna03i145qj08hwrynya548fwk8xzxmg65swyaf19jd7gzg82";
|
|
|
|
outputFiles = [ "*" ];
|
2015-05-22 13:25:02 +00:00
|
|
|
};
|
|
|
|
|
2015-06-23 21:26:16 +00:00
|
|
|
Projekt = buildDotnetPackage rec {
|
|
|
|
baseName = "projekt";
|
|
|
|
version = "git-" + (builtins.substring 0 10 rev);
|
|
|
|
rev = "715a21e5cd3c86310387562618b04e979d0ec9c4";
|
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
inherit rev;
|
|
|
|
owner = "kjnilsson";
|
|
|
|
repo = "projekt";
|
|
|
|
sha256 = "1ph3af07wmia6qkiq1qlywaj2xh6zn5drdx19dwb1g3237h5fnz0";
|
|
|
|
};
|
|
|
|
|
|
|
|
buildInputs = [
|
|
|
|
fsharp
|
|
|
|
dotnetPackages.UnionArgParser
|
|
|
|
dotnetPackages.FsUnit
|
|
|
|
];
|
|
|
|
|
|
|
|
preConfigure = ''
|
|
|
|
sed -i -e "s/FSharp.Core, Version=\$(TargetFSharpCoreVersion), Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a/FSharp.Core/" src/Projekt/Projekt.fsproj
|
|
|
|
'';
|
|
|
|
|
|
|
|
outputFiles = [ "src/Projekt/bin/Release/*" ];
|
|
|
|
|
|
|
|
meta = {
|
|
|
|
description = "A command-line tool for manipulating F# project files";
|
|
|
|
homepage = "https://github.com/kjnilsson/projekt";
|
2021-01-10 11:03:59 +00:00
|
|
|
license = lib.licenses.mit;
|
|
|
|
maintainers = with lib.maintainers; [ obadz ];
|
|
|
|
platforms = with lib.platforms; linux;
|
2015-06-23 21:26:16 +00:00
|
|
|
};
|
|
|
|
};
|
|
|
|
|
2019-08-13 21:52:01 +00:00
|
|
|
UnionArgParser = buildDotnetPackage {
|
2015-05-22 13:25:02 +00:00
|
|
|
baseName = "UnionArgParser";
|
|
|
|
version = "0.8.7";
|
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "nessos";
|
|
|
|
repo = "UnionArgParser";
|
|
|
|
rev = "acaeb946e53cbb0bd9768977c656b3242146070a";
|
|
|
|
sha256 = "1yrs7ycf2hg7h8z6vm9lr7i3gr9s30k74fr2maigdydnnls93als";
|
|
|
|
};
|
|
|
|
|
|
|
|
buildInputs = [
|
|
|
|
fsharp
|
|
|
|
dotnetPackages.NUnit
|
|
|
|
dotnetPackages.FsUnit
|
|
|
|
];
|
|
|
|
|
|
|
|
outputFiles = [ "bin/net40/*" ];
|
|
|
|
|
|
|
|
meta = {
|
2015-06-29 14:20:58 +00:00
|
|
|
description = "A declarative CLI argument/XML configuration parser for F# applications";
|
2020-04-01 01:11:51 +00:00
|
|
|
homepage = "https://nessos.github.io/UnionArgParser/";
|
2021-01-10 11:03:59 +00:00
|
|
|
license = lib.licenses.mit;
|
|
|
|
maintainers = with lib.maintainers; [ obadz ];
|
|
|
|
platforms = with lib.platforms; linux;
|
2015-05-22 13:25:02 +00:00
|
|
|
};
|
|
|
|
};
|
2015-06-12 15:06:32 +00:00
|
|
|
|
2015-05-22 13:25:02 +00:00
|
|
|
}; in self
|