blob: 78f8367ebf7314fd51c171f0118a0cb1b7ed902c (
plain)
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
|
{
description = "A very basic flake";
inputs = {
nixpkgs.url = "github:nixos/nixpkgs";
flake-utils.url = "github:numtide/flake-utils";
# This section will allow us to create a python environment
# with specific predefined python packages from PyPi
pypi-deps-db = {
url = "github:DavHau/pypi-deps-db";
inputs.nixpkgs.follows = "nixpkgs";
inputs.mach-nix.follows = "mach-nix";
};
mach-nix = {
url = "github:DavHau/mach-nix/3.5.0";
inputs.nixpkgs.follows = "nixpkgs";
inputs.flake-utils.follows = "flake-utils";
inputs.pypi-deps-db.follows = "pypi-deps-db";
};
};
outputs = { self, nixpkgs, flake-utils, mach-nix, ... }@attr:
flake-utils.lib.eachDefaultSystem (system:
let
pkgs = import nixpkgs { inherit system; };
# create a custom python environment
myPython = mach-nix.lib.${system}.mkPython {
# specify the base version of python you with to use
python = "python310";
requirements = ''
setuptools
numpy
z3-solver
'';
_.z3-solver = {
nativeBuildInputs.add = with pkgs; [ cmake ];
dontUseCmakeConfigure = true;
};
};
in {
devShell = pkgs.mkShell {
nativeBuildInputs = [
# Now you can use your custom python environemt!
# This should also work for `buildInputs` and so on!
myPython
];
};
}
);
}
|