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
|
{ lib
, buildPythonPackage
, isPyPy
, fetchFromGitHub
, setuptools
, attrs
, exceptiongroup
, pexpect
, doCheck ? true
, pytestCheckHook
, pytest-xdist
, python
, sortedcontainers
, stdenv
, pythonOlder
, sphinxHook
, sphinx-rtd-theme
, sphinx-hoverxref
, sphinx-codeautolink
, tzdata
}:
buildPythonPackage rec {
pname = "hypothesis";
version = "6.99.12";
pyproject = true;
disabled = pythonOlder "3.7";
src = fetchFromGitHub {
owner = "HypothesisWorks";
repo = "hypothesis";
rev = "hypothesis-python-${version}";
hash = "sha256-0nzjRDv4L3bxxnC0lBY5S7FP9CFhyzHzNchWXoX91Zg=";
};
# 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";
nativeBuildInputs = [
setuptools
];
propagatedBuildInputs = [
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 = if (pythonOlder "3.10") then [
# 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"
] else null;
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 = with maintainers; [ ];
};
}
|
