search

BerkeleyLearnVerify / VerifAI

VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.
BSD 3-Clause "New" or "Revised" License
170 stars 47 forks source link

Errors during installation #5

Closed Yougmark closed 4 years ago

Yougmark commented 4 years ago

errors from pip3 install .:

Exception:
Traceback (most recent call last):
  File "/usr/lib/python3/dist-packages/pip/basecommand.py", line 215, in main
    status = self.run(options, args)
  File "/usr/lib/python3/dist-packages/pip/commands/install.py", line 353, in run
    wb.build(autobuilding=True)
  File "/usr/lib/python3/dist-packages/pip/wheel.py", line 749, in build
    self.requirement_set.prepare_files(self.finder)
  File "/usr/lib/python3/dist-packages/pip/req/req_set.py", line 380, in prepare_files
    ignore_dependencies=self.ignore_dependencies))
  File "/usr/lib/python3/dist-packages/pip/req/req_set.py", line 554, in _prepare_file
    require_hashes
  File "/usr/lib/python3/dist-packages/pip/req/req_install.py", line 278, in populate_link
    self.link = finder.find_requirement(self, upgrade)
  File "/usr/lib/python3/dist-packages/pip/index.py", line 465, in find_requirement
    all_candidates = self.find_all_candidates(req.name)
  File "/usr/lib/python3/dist-packages/pip/index.py", line 423, in find_all_candidates
    for page in self._get_pages(url_locations, project_name):
  File "/usr/lib/python3/dist-packages/pip/index.py", line 568, in _get_pages
    page = self._get_page(location)
  File "/usr/lib/python3/dist-packages/pip/index.py", line 683, in _get_page
    return HTMLPage.get_page(link, session=self.session)
  File "/usr/lib/python3/dist-packages/pip/index.py", line 795, in get_page
    resp.raise_for_status()
  File "/usr/share/python-wheels/requests-2.18.4-py2.py3-none-any.whl/requests/models.py", line 935, in raise_for_status
    raise HTTPError(http_error_msg, response=self)
requests.exceptions.HTTPError: 404 Client Error: Not Found for url: https://pypi.org/simple/scenic/

errors from python3 setup.py install:

Processing dependencies for verifai==0.0.0                                   
Searching for scenic@ git+https://github.com/BerkeleyLearnVerify/Scenic.git#egg=scenic               
Reading https://pypi.org/simple/scenic/                                                              
Couldn't find index page for 'scenic' (maybe misspelled?)                                            
Scanning index of all packages (this may take a while)                     
Reading https://pypi.org/simple/                                                                     
No local packages or working download links found for scenic@ git+https://github.com/BerkeleyLearnVerify/Scenic.git#egg=scenic                                                    
error: Could not find suitable distribution for Requirement.parse('scenic@ git+https://github.com/Ber
keleyLearnVerify/Scenic.git#egg=scenic')

Both are caused by the invalid url https://pypi.org/simple/scenic/.

Yougmark commented 4 years ago

It's pip3 version issue.