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
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
|
{
lib,
buildPythonPackage,
isPyPy,
fetchFromGitHub,
setuptools,
attrs,
exceptiongroup,
pexpect,
doCheck ? true,
pytestCheckHook,
pytest-xdist,
python,
sortedcontainers,
stdenv,
pythonAtLeast,
pythonOlder,
sphinxHook,
sphinx-rtd-theme,
sphinx-hoverxref,
sphinx-codeautolink,
tzdata,
}:
buildPythonPackage rec {
pname = "hypothesis";
version = "6.127.4";
pyproject = true;
disabled = pythonOlder "3.7";
src = fetchFromGitHub {
owner = "HypothesisWorks";
repo = "hypothesis";
rev = "hypothesis-python-${version}";
hash = "sha256-Ef0DbK2+HnU94F2TxcotJEt3rcIU/QOhStLOUTn7o2k=";
};
# I tried to package sphinx-selective-exclude, but it throws
# error about "module 'sphinx' has no attribute 'directives'".
#
# It probably has to do with monkey-patching internals of Sphinx.
# On bright side, this extension does not introduces new commands,
# only changes "::only" command, so we probably okay with stock
# implementation.
#
# I wonder how upstream of "hypothesis" builds documentation.
postPatch = ''
sed -i -e '/sphinx_selective_exclude.eager_only/ d' docs/conf.py
'';
postUnpack = "sourceRoot=$sourceRoot/hypothesis-python";
build-system = [ setuptools ];
dependencies = [
attrs
sortedcontainers
] ++ lib.optionals (pythonOlder "3.11") [ exceptiongroup ];
nativeCheckInputs = [
pexpect
pytest-xdist
pytestCheckHook
] ++ lib.optionals isPyPy [ tzdata ];
inherit doCheck;
# This file changes how pytest runs and breaks it
preCheck = ''
rm tox.ini
'';
pytestFlagsArray = [ "tests/cover" ];
disabledTests =
[
# racy, fails to find a file sometimes
"test_recreate_charmap"
"test_uses_cached_charmap"
# fails if builder is too slow
"test_can_run_with_no_db"
]
++ lib.optionals (pythonOlder "3.10") [
# not sure why these tests fail with only 3.9
# FileNotFoundError: [Errno 2] No such file or directory: 'git'
"test_observability"
"test_assume_has_status_reason"
"test_observability_captures_stateful_reprs"
]
++ lib.optionals (pythonAtLeast "3.13") [
"test_clean_source"
];
pythonImportsCheck = [ "hypothesis" ];
passthru = {
doc = stdenv.mkDerivation {
# Forge look and feel of multi-output derivation as best as we can.
#
# Using 'outputs = [ "doc" ];' breaks a lot of assumptions.
name = "${pname}-${version}-doc";
inherit src pname version;
postInstallSphinx = ''
mv $out/share/doc/* $out/share/doc/python$pythonVersion-$pname-$version
'';
nativeBuildInputs = [
sphinxHook
sphinx-rtd-theme
sphinx-hoverxref
sphinx-codeautolink
];
inherit (python) pythonVersion;
inherit meta;
};
};
meta = with lib; {
description = "Library for property based testing";
mainProgram = "hypothesis";
homepage = "https://github.com/HypothesisWorks/hypothesis";
changelog = "https://hypothesis.readthedocs.io/en/latest/changes.html#v${
lib.replaceStrings [ "." ] [ "-" ] version
}";
license = licenses.mpl20;
maintainers = [ ];
};
}
|
