Add HOL Light and its dependencies.
[nixpkgs-libre.git] / pkgs / top-level / mingw.nix
blob6c744bfd86122f52d6e206569e7264e66aeac5dc
1 let {
2   pkgs =
3     import ./all-packages.nix {
4       stdenvType = "i686-mingw";
5     };
7   body = {
8     inherit (pkgs)
9       aterm
10       getopt
11       pkgconfig
12       realCurl
13       strategoLibraries
14       zlib;
15 #    inherit profileTest;
16   };
18 #  profileTest =
19 #    pkgs.stdenv.mkDerivation {
20 #      name = "profile-test";
21 #      src = ./char-test.c;
22 #      builder = ./profile-builder.sh;
23 #      strlib = pkgs.strategoLibraries;
24 #      aterm = pkgs.aterm;
25 #      buildInputs = [pkgs.aterm pkgs.strategoLibraries];
26 #    };