Comments (7)
Hi @alfonso-higuera , I am not sure what's the reason behind the problem yet. Could you please run the following commands?
pip3.6 --version
python3.6 -m pip install pyre-check --user --verbose
pip3.6 install pyre-check --user --verbose
Thanks!
from pyre-check.
Sure, thanks for the response, and sorry for taking so long to answer.
https://gist.github.com/alfonso-higuera/b9fad7e7b9e994f1b4e13bd56fa3d237
from pyre-check.
Thanks for the info, I will look at the gist and let you know.
from pyre-check.
It seems like pip
is refusing to install binary packages:
Skipping link https://files.pythonhosted.org/packages/dd/c1/89a1daa94e1c5be6d66e3b259a323fa38eca7a3305186a39bbc5a8d807a2/pyre_check-0.0.7-py3-none-manylinux1_x86_64.whl#sha256=a9ed2d1a16e14cdf8248045dbf9f8ec0089e0f6c8dfc9c1262de1c6c103bbb6b (from https://pypi.org/simple/pyre-check/) (requires-python:>=3.5); No binaries permitted for pyre-check
Since you are not providing --no-binary ':all:'
on the commandline, that must come from a configuration file. I am not sure if that configuration choice is the default for Arch or if you have overridden it, but, in either case, pip config list
should display where the configuration item is coming from. Could you please confirm? Thanks.
As of why all of this is needed: we are distributing only binary packages in Pypi, and not source distributions, due to the complexity and variety of ocaml toolchain installations. The idea is that, since the source is on Github, one can still compile directly from the repo if so inclined.
from pyre-check.
Environment:
Linux 965d148df725 4.9.49-moby #1 SMP Fri Dec 8 13:40:02 UTC 2017 x86_64 Linux
Commands:
pip3.6 --version
python3.6 -m pip install pyre-check --user --verbose
pip3.6 install pyre-check --user --verbose
Outputs:
pip 10.0.1 from /usr/local/lib/python3.6/site-packages/pip (python 3.6)
Created temporary directory: /tmp/pip-ephem-wheel-cache-zwfazxzp
Created temporary directory: /tmp/pip-install-_lkreheh
Collecting pyre-check
1 location(s) to search for versions of pyre-check:
* https://pypi.org/simple/pyre-check/
Getting page https://pypi.org/simple/pyre-check/
Looking up "https://pypi.org/simple/pyre-check/" in the cache
Current age based on date: 113
Freshness lifetime from max-age: 600
Freshness lifetime from request max-age: 600
The response is "fresh", returning cached response
600 > 113
Analyzing links from page https://pypi.org/simple/pyre-check/
Skipping link https://files.pythonhosted.org/packages/32/b0/8f074bf76214cafa5e88bbebc676df70396a66211333331790844df61adb/pyre_check-0.0.6-py3-none-macosx_10_11_x86_64.whl#sha256=2d631e00c15761bdeef0e3f70e3b54f8cfa2765018d42a841cbfe7373574db6d (from https://pypi.org/simple/pyre-check/) (requires-python:>=3.5); it is not compatible with this Python
Skipping link https://files.pythonhosted.org/packages/f3/d9/f8382029c06b46b990628a71c04f8c8fd92adf2088e5d6cc92ea8b2c07d3/pyre_check-0.0.6-py3-none-manylinux1_x86_64.whl#sha256=a05d569441a1eadc5acbb8574710d69171898a2c02fa196e1d162faf77dc4f02 (from https://pypi.org/simple/pyre-check/) (requires-python:>=3.5); it is not compatible with this Python
Skipping link https://files.pythonhosted.org/packages/7c/6b/fe0d1313d78f2d3edd2fbb1c9e7ded1ba06092916789baf163933844870e/pyre_check-0.0.7-py3-none-macosx_10_11_x86_64.whl#sha256=1ca118242d4c3cee4ddf8d55234064ff1b16288c56949ff55e85c4d2dec6fd67 (from https://pypi.org/simple/pyre-check/) (requires-python:>=3.5); it is not compatible with this Python
Skipping link https://files.pythonhosted.org/packages/dd/c1/89a1daa94e1c5be6d66e3b259a323fa38eca7a3305186a39bbc5a8d807a2/pyre_check-0.0.7-py3-none-manylinux1_x86_64.whl#sha256=a9ed2d1a16e14cdf8248045dbf9f8ec0089e0f6c8dfc9c1262de1c6c103bbb6b (from https://pypi.org/simple/pyre-check/) (requires-python:>=3.5); it is not compatible with this Python
Cleaning up...
Exception information:
Traceback (most recent call last):
File "/usr/local/lib/python3.6/site-packages/pip/_internal/basecommand.py", line 228, in main
status = self.run(options, args)
File "/usr/local/lib/python3.6/site-packages/pip/_internal/commands/install.py", line 291, in run
resolver.resolve(requirement_set)
File "/usr/local/lib/python3.6/site-packages/pip/_internal/resolve.py", line 103, in resolve
self._resolve_one(requirement_set, req)
File "/usr/local/lib/python3.6/site-packages/pip/_internal/resolve.py", line 257, in _resolve_one
abstract_dist = self._get_abstract_dist_for(req_to_install)
File "/usr/local/lib/python3.6/site-packages/pip/_internal/resolve.py", line 210, in _get_abstract_dist_for
self.require_hashes
File "/usr/local/lib/python3.6/site-packages/pip/_internal/operations/prepare.py", line 245, in prepare_linked_requirement
req.populate_link(finder, upgrade_allowed, require_hashes)
File "/usr/local/lib/python3.6/site-packages/pip/_internal/req/req_install.py", line 307, in populate_link
self.link = finder.find_requirement(self, upgrade)
File "/usr/local/lib/python3.6/site-packages/pip/_internal/index.py", line 533, in find_requirement
'No matching distribution found for %s' % req
pip._internal.exceptions.DistributionNotFound: No matching distribution found for pyre-check
Created temporary directory: /tmp/pip-ephem-wheel-cache-yidegae2
Created temporary directory: /tmp/pip-install-ic5b2snv
Collecting pyre-check
1 location(s) to search for versions of pyre-check:
* https://pypi.org/simple/pyre-check/
Getting page https://pypi.org/simple/pyre-check/
Looking up "https://pypi.org/simple/pyre-check/" in the cache
Current age based on date: 114
Freshness lifetime from max-age: 600
Freshness lifetime from request max-age: 600
The response is "fresh", returning cached response
600 > 114
Analyzing links from page https://pypi.org/simple/pyre-check/
Skipping link https://files.pythonhosted.org/packages/32/b0/8f074bf76214cafa5e88bbebc676df70396a66211333331790844df61adb/pyre_check-0.0.6-py3-none-macosx_10_11_x86_64.whl#sha256=2d631e00c15761bdeef0e3f70e3b54f8cfa2765018d42a841cbfe7373574db6d (from https://pypi.org/simple/pyre-check/) (requires-python:>=3.5); it is not compatible with this Python
Skipping link https://files.pythonhosted.org/packages/f3/d9/f8382029c06b46b990628a71c04f8c8fd92adf2088e5d6cc92ea8b2c07d3/pyre_check-0.0.6-py3-none-manylinux1_x86_64.whl#sha256=a05d569441a1eadc5acbb8574710d69171898a2c02fa196e1d162faf77dc4f02 (from https://pypi.org/simple/pyre-check/) (requires-python:>=3.5); it is not compatible with this Python
Skipping link https://files.pythonhosted.org/packages/7c/6b/fe0d1313d78f2d3edd2fbb1c9e7ded1ba06092916789baf163933844870e/pyre_check-0.0.7-py3-none-macosx_10_11_x86_64.whl#sha256=1ca118242d4c3cee4ddf8d55234064ff1b16288c56949ff55e85c4d2dec6fd67 (from https://pypi.org/simple/pyre-check/) (requires-python:>=3.5); it is not compatible with this Python
Skipping link https://files.pythonhosted.org/packages/dd/c1/89a1daa94e1c5be6d66e3b259a323fa38eca7a3305186a39bbc5a8d807a2/pyre_check-0.0.7-py3-none-manylinux1_x86_64.whl#sha256=a9ed2d1a16e14cdf8248045dbf9f8ec0089e0f6c8dfc9c1262de1c6c103bbb6b (from https://pypi.org/simple/pyre-check/) (requires-python:>=3.5); it is not compatible with this Python
Cleaning up...
Exception information:
Traceback (most recent call last):
File "/usr/local/lib/python3.6/site-packages/pip/_internal/basecommand.py", line 228, in main
status = self.run(options, args)
File "/usr/local/lib/python3.6/site-packages/pip/_internal/commands/install.py", line 291, in run
resolver.resolve(requirement_set)
File "/usr/local/lib/python3.6/site-packages/pip/_internal/resolve.py", line 103, in resolve
self._resolve_one(requirement_set, req)
File "/usr/local/lib/python3.6/site-packages/pip/_internal/resolve.py", line 257, in _resolve_one
abstract_dist = self._get_abstract_dist_for(req_to_install)
File "/usr/local/lib/python3.6/site-packages/pip/_internal/resolve.py", line 210, in _get_abstract_dist_for
self.require_hashes
File "/usr/local/lib/python3.6/site-packages/pip/_internal/operations/prepare.py", line 245, in prepare_linked_requirement
req.populate_link(finder, upgrade_allowed, require_hashes)
File "/usr/local/lib/python3.6/site-packages/pip/_internal/req/req_install.py", line 307, in populate_link
self.link = finder.find_requirement(self, upgrade)
File "/usr/local/lib/python3.6/site-packages/pip/_internal/index.py", line 533, in find_requirement
'No matching distribution found for %s' % req
pip._internal.exceptions.DistributionNotFound: No matching distribution found for pyre-check
from pyre-check.
@dark Thanks again for your help. You were right, I have a pip config file that prevented the installation of binaries. Even though I don't remember writing it I highly doubt it's an Arch default config file. I suggest to close this issue.
from pyre-check.
@alfonso-higuera Great, glad I could help.
@kelly-apollo The error you posted looks different:
[...] (requires-python:>=3.5); it is not compatible with this Python
I'd rather not conflate different reports, could you please open a new issue? Thanks.
from pyre-check.
Related Issues (20)
- Pyre couldn't find a required site-package HOT 1
- Parsing failure [404]: f-string expression part cannot include a backslash HOT 1
- Pyre infers set-of-literals as set[str] rather than set[MyLiteral] HOT 1
- Null
- Ask for if also import pysa-filter for `sapp` when run `pyre init-pysa`
- Allow use of pyre_extensions in pyre playground, use newer typing_extensions
- Mutable attributes of classes should be invariant in subclasses. HOT 1
- Internal crash: Raised in src/string.ml HOT 11
- Pyre doesn't understand for-else statement HOT 2
- Is it possible to taint specific values of parameters? HOT 2
- Tainting Python Builtin Functions! How do we do this? HOT 1
- Module boto3 - Taint Propagation Issue HOT 3
- Context Manager - Taint Propagation Issue
- PySpark - Incompatible parameter type & Unsupported operand HOT 1
- [Pyre setup.sh] Terminal closes while building from source HOT 2
- Pysa tutorial not working HOT 4
- Find lambdas are not checked correctly
- Errors with recursive type aliases: "JSON is declared to have type `TypeAlias` but is used as type `UnionType`"
- pyre from PyPI can't find its typeshed directory HOT 1
- Update pyre-check.org/play to use Python 3.11 HOT 2
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from pyre-check.