lean-dojo / LeanDojo

Tool for data extraction and interacting with Lean programmatically.
https://leandojo.org
MIT License
567 stars 90 forks source link

Problem with ray when installing #9

Closed HanYuanHsu closed 1 year ago

HanYuanHsu commented 1 year ago

Hello,

My OS is Windows 11. I forked the repository, cloned it, and tried to install the package by running pip install . But then, I got the following error message:

Processing c:\users\a0306\leandojo
  Installing build dependencies ... done
  Getting requirements to build wheel ... done
  Preparing metadata (pyproject.toml) ... done
Requirement already satisfied: filelock in c:\users\a0306\hackathon\lib\site-packages (from lean-dojo==1.1.2) (3.12.2)
Collecting loguru (from lean-dojo==1.1.2)
  Using cached loguru-0.7.0-py3-none-any.whl (59 kB)
Collecting lxml (from lean-dojo==1.1.2)
  Using cached lxml-4.9.3-cp311-cp311-win_amd64.whl (3.8 MB)
Requirement already satisfied: networkx in c:\users\a0306\hackathon\lib\site-packages (from lean-dojo==1.1.2) (3.1)
INFO: pip is looking at multiple versions of lean-dojo to determine which version is compatible with other requirements. This could take a while.
ERROR: Could not find a version that satisfies the requirement ray[default]>=1.5 (from lean-dojo) (from versions: none)
ERROR: No matching distribution found for ray[default]>=1.5

I first ran pip install "pydantic<2" and I got

Requirement already satisfied: pydantic<2 in c:\users\a0306\hackathon\lib\site-packages (1.10.9)
Requirement already satisfied: typing-extensions>=4.2.0 in c:\users\a0306\hackathon\lib\site-packages (from pydantic<2) (4.6.3)

Here are the packages I have installed (I ran pip list):

Package                       Version
----------------------------- ---------
aiohttp                       3.8.4
aiohttp-retry                 2.8.3
aiosignal                     1.3.1
alabaster                     0.7.13
appnope                       0.1.2
arrow                         1.2.3
astroid                       2.15.5
asttokens                     2.2.1
async-timeout                 4.0.2
atomicwrites                  1.4.1
attrs                         23.1.0
autopep8                      2.0.2
Babel                         2.12.1
backcall                      0.2.0
bcrypt                        4.0.1
beautifulsoup4                4.12.2
binaryornot                   0.4.4
black                         23.3.0
bleach                        6.0.0
certifi                       2021.10.8
cffi                          1.15.1
chardet                       5.1.0
charset-normalizer            2.0.8
click                         8.1.3
cloudpickle                   2.2.1
colorama                      0.4.6
comm                          0.1.3
cookiecutter                  2.1.1
cryptography                  41.0.1
dataclasses-json              0.5.8
debugpy                       1.6.7
decorator                     5.0.9
defusedxml                    0.7.1
diff-match-patch              20230430
dill                          0.3.6
distlib                       0.3.6
docstring-to-markdown         0.12
docutils                      0.20.1
entrypoints                   0.3
executing                     1.2.0
fastjsonschema                2.17.1
filelock                      3.12.2
flake8                        6.0.0
frozenlist                    1.3.3
greenlet                      2.0.2
idna                          3.3
imagesize                     1.4.1
importlib-metadata            6.7.0
inflection                    0.5.1
intervaltree                  3.1.0
ipykernel                     6.23.3
ipython                       8.14.0
ipython-genutils              0.2.0
isort                         5.12.0
jaraco.classes                3.2.3
jedi                          0.18.0
jellyfish                     1.0.0
Jinja2                        3.1.2
jinja2-time                   0.2.0
jsonschema                    4.17.3
jupyter_client                8.3.0
jupyter_core                  5.3.1
jupyterlab-pygments           0.2.2
keyring                       24.2.0
langchain                     0.0.215
langchainplus-sdk             0.0.17
lazy-object-proxy             1.9.0
MarkupSafe                    2.1.3
marshmallow                   3.19.0
marshmallow-enum              1.5.1
matplotlib-inline             0.1.2
mccabe                        0.7.0
mistune                       3.0.1
more-itertools                9.1.0
mpmath                        1.2.1
multidict                     6.0.4
mypy-extensions               1.0.0
nbclient                      0.8.0
nbconvert                     7.6.0
nbformat                      5.9.0
nest-asyncio                  1.5.1
networkx                      3.1
numexpr                       2.8.4
numpy                         1.23.4
numpydoc                      1.5.0
oauthlib                      3.1.1
openai                        0.27.8
openapi-schema-pydantic       1.2.4
packaging                     23.1
pandocfilters                 1.5.0
paramiko                      3.2.0
parso                         0.8.2
pathspec                      0.11.1
pexpect                       4.8.0
pickleshare                   0.7.5
Pillow                        9.3.0
pip                           23.1.2
platformdirs                  3.8.0
pluggy                        1.2.0
prompt-toolkit                3.0.38
protobuf                      4.21.9
psutil                        5.9.5
ptyprocess                    0.7.0
pure-eval                     0.2.2
pycodestyle                   2.10.0
pycparser                     2.21
pydantic                      1.10.9
pydocstyle                    6.3.0
pyflakes                      3.0.1
Pygments                      2.15.1
PyJWT                         2.7.0
pylint                        2.17.4
pylint-venv                   3.0.2
pyls-spyder                   0.4.0
PyNaCl                        1.5.0
PyQt5                         5.15.9
PyQt5-Qt5                     5.15.2
PyQt5-sip                     12.12.1
PyQtWebEngine                 5.15.6
PyQtWebEngine-Qt5             5.15.2
pyrsistent                    0.19.3
python-dateutil               2.8.2
python-lsp-black              1.3.0
python-lsp-jsonrpc            1.0.0
python-lsp-server             1.7.3
python-slugify                8.0.1
pytoolconfig                  1.2.5
pytz                          2023.3
pywin32                       306
pywin32-ctypes                0.2.2
PyYAML                        6.0
pyzmq                         25.1.0
QDarkStyle                    3.1
qstylizer                     0.2.2
QtAwesome                     1.2.3
qtconsole                     5.4.3
QtPy                          2.3.1
requests                      2.26.0
requests-oauthlib             1.3.0
rope                          1.8.0
Rtree                         1.0.1
setuptools                    65.5.0
six                           1.16.0
snowballstemmer               2.2.0
sortedcontainers              2.4.0
soupsieve                     2.4.1
Sphinx                        7.0.1
sphinxcontrib-applehelp       1.0.4
sphinxcontrib-devhelp         1.0.2
sphinxcontrib-htmlhelp        2.0.1
sphinxcontrib-jsmath          1.0.1
sphinxcontrib-qthelp          1.0.3
sphinxcontrib-serializinghtml 1.1.5
spyder                        5.4.3
spyder-kernels                2.4.3
SQLAlchemy                    2.0.17
stack-data                    0.6.2
sympy                         1.8
tenacity                      8.2.2
text-unidecode                1.3
textdistance                  4.5.0
three-merge                   0.1.1
tinycss2                      1.2.1
tomli                         2.0.1
tomlkit                       0.11.8
torch                         2.0.1
tornado                       6.3.2
tqdm                          4.65.0
traitlets                     5.9.0
typing_extensions             4.6.3
typing-inspect                0.9.0
ujson                         5.8.0
urllib3                       1.26.7
virtualenv                    20.23.1
watchdog                      3.0.0
wcwidth                       0.2.5
webencodings                  0.5.1
whatthepatch                  1.0.5
wrapt                         1.15.0
yapf                          0.40.1
yarl                          1.9.2
zipp                          3.15.0

Even after running pip install "pydantic<2", I still got the same error message after running pip install .

yangky11 commented 1 year ago

What will happen if you try installing ray manually using pip? If it doesn't work, you should probably ask the Ray people. Note that Ray is in beta for Windows: https://docs.ray.io/en/latest/ray-overview/installation.html#windows-support

yangky11 commented 1 year ago

@Peiyang-Song Did you get similar errors on Windows (WSL)?

HanYuanHsu commented 1 year ago

@yangky11 I got the following after running pip install -U "ray[default]":

ERROR: Could not find a version that satisfies the requirement ray[default] (from versions: none)
ERROR: No matching distribution found for ray[default]

Yeah, I will ask the Ray people.

yangky11 commented 1 year ago

Maybe you have other packages conflicting with Ray. Creating a new conda environment might help.

Peiyang-Song commented 1 year ago

No, I didn't encounter this problem on my machine. But I saw before that if you don't have Ray Dashboard or Cluster Launcher, maybe you could try to install ray with minimal dependencies first. I.e., pip install -U "ray"