prelude.fut/flake.nix at main · Programmerino/prelude.fut · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
{
  description = "prelude.fut";

  nixConfig.bash-prompt = "\[nix-develop\]$ ";

  inputs.nixpkgs.url = "github:nixos/nixpkgs";

  inputs.flake-utils.url = "github:numtide/flake-utils";

  outputs = { self, nixpkgs, flake-utils }:
    flake-utils.lib.eachDefaultSystem (system:
      let
        pkgs = import nixpkgs {
          inherit system;
        };
        src = ./.;
        name = "prelude.fut";
        version = "0.0.1";

      in rec {
          devShell = pkgs.mkShell {
            inherit name;
            inherit version;
            buildInputs = defaultPackage.nativeBuildInputs;
          };

          defaultPackage = pkgs.stdenv.mkDerivation {
            inherit name;
            inherit src;
            doCheck = true;
            dontInstall = true;
            nativeBuildInputs = [ pkgs.futhark ];
            buildPhase = ''
              mkdir -p $out
              cp -r $src/lib $out
              cp futhark.pkg $out
            '';

            checkPhase = checks.defaultPackage.checkPhase;
          };

          packages.web = pkgs.stdenv.mkDerivation {
            name = "${name}-web";
            inherit src;
            dontInstall = true;
            nativeBuildInputs = [ pkgs.futhark ];
            buildPhase = ''
              mkdir -p $out
              cp -r $src/web/. $out
              chmod -R 755 $out
              futhark doc lib -o $out/docs
            '';
          };

          checks.defaultPackage = pkgs.stdenv.mkDerivation {
            inherit name;
            inherit src;
            nativeBuildInputs = defaultPackage.nativeBuildInputs;
            doCheck = true;
            phases = [ "unpackPhase" "buildPhase" "checkPhase" ];
            buildPhase = ''
              mkdir -p $out
              touch $out/noop
            '';
            checkPhase = ''
              find . -name "*.actual" -type f -delete
              find . -name "*.expected" -type f -delete

              set +e
              futhark test --backend=c --interpreted --no-terminal lib
              if [ $? -ne 0 ]; then
                  echo "Checks failed"
                  echo "Expected: "
                  for i in *.expected ; do cat "$i" | futhark dataset --text; done
                  echo "Got: "
                  for i in *.actual ; do cat "$i" | futhark dataset --text; done
                  exit 1
              fi
            '';
          };
      }
    );
}