cmsgen/flake.nix at master · meelgroup/cmsgen · 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
{
  description = "A heuristic CNF sampler built on CryptoMiniSat";
  inputs = {
    nixpkgs.url = "github:nixos/nixpkgs/nixpkgs-unstable";
  };
  outputs =
    {
      self,
      nixpkgs,
    }:
    let
      inherit (nixpkgs) lib;
      systems = lib.intersectLists lib.systems.flakeExposed lib.platforms.linux;
      forAllSystems = lib.genAttrs systems;
      nixpkgsFor = forAllSystems (system: nixpkgs.legacyPackages.${system});
      fs = lib.fileset;

      cmsgen-package =
        {
          stdenv,
          fetchFromGitHub,
          cmake,
          pkg-config,
          zlib,
        }:
        stdenv.mkDerivation {
          name = "cmsgen";
          src = fs.toSource {
            root = ./.;
            fileset = fs.unions [
              ./src
              ./CMakeLists.txt
              ./cmake
              ./scripts
              ./cmsgenConfig.cmake.in
            ];
          };

          nativeBuildInputs = [
            cmake
            pkg-config
          ];
          buildInputs = [
            zlib
          ];
        };
    in
    {
      packages = forAllSystems (
        system:
        let
          cmsgen = nixpkgsFor.${system}.callPackage cmsgen-package { };
        in
        {
          inherit cmsgen;
          default = cmsgen;
        }
      );
    };
}