Comments (14)
Ugh, that looks like a rogue server refusing to stop. Does pyre kill --with-fire
help?
from pyre-check.
Nope:
186590d34d15:FBA_Analytics_Utils vaggi$ pkill -9 pyre
186590d34d15:FBA_Analytics_Utils vaggi$ pyre kill --with-fire
186590d34d15:FBA_Analytics_Utils vaggi$ pyre
ƛ Server not running at `.`. Starting...
ƛ Client exited with error code -5:
from pyre-check.
I tried doing ps aux and grepping for anything with pyre in the name and cannot find any loose processes/servers. Anything I should manually be killing?
from pyre-check.
No, doesn't look like anything you should be manually killing - the server might just be refusing to start up. Does the simple pyre check
workflow work for you, or does the binary crash there as well?
For context, pyre
is a wrapper script that shells out to pyre.bin
, a binary that does the bulk of the work.
from pyre-check.
pyre check
also crashes with the same error message.
from pyre-check.
@FedericoV Please try with pyre --debug check
, it will print more informative messages. Specifically, it will print a line stating how the binary is being started, with its full commandline. I would recommend running that process manually.
Could you please provide a gist of both full outputs? Much appreciated.
from pyre-check.
Aha - I think the second message is actually helpful:
https://gist.github.com/FedericoV/ba1f630ad5fc0982242584da062ecc59
Not sure how the symbolic link got broken after the first invocation.
from pyre-check.
Can you please confirm the version you have installed with pip list
?
At this point I am puzzled, and worried this is going down the path of OSX playing tricks. Could you please provide the following in a gist?
which pyre.bin
otool -l $(which pyre.bin)
from pyre-check.
The output of the first command is this:
/Users/vaggi/anaconda3/bin/pyre.bin
The second command is here:
https://gist.github.com/FedericoV/061044a8ab1788209eb67c7beb326f16
from pyre-check.
Hi, sorry for not having further activity on this bug, but I am still not sure how to move forward.
We don't have much expertise about the MacOS userspace and toolchains, so we are learning as we go.
from pyre-check.
I ran into the same problem as @FedericoV:
dyld: Symbol not found: _clock_gettime
Referenced from: /foo/pyre.bin
Expected in: /usr/lib/libSystem.B.dylib
I'm running Mac 10.11.6.
It seems that Apple introduced clock_gettime
in Sierra (10.12), and the binary that pyre ships with was pre-compiled on 10.12 or later. Since 10.11 is missing clock_gettime, the executable fails with the runtime link error mentioned above.
My solution was to build pyre-checker from source and then edit my project's .pyre_configuration to point to the binary that was built for my system:
{
"binary": "/path/to/pyre-check/_build/all/main.native",
"source_directories": [
"./directory/to/typecheck"
],
"typeshed": "/path/to/typeshed/",
}
from pyre-check.
Chiming in with additional anecdata: I'm seeing the same _clock_gettime
issue as above, also on 10.11, using the pre-packaged wheel/binary:
> python -V
Python 3.6.2
> pip -V
pip 18.1 from /Users/<venv>/lib/python3.6/site-packages/pip (python 3.6)
> pip install pyre-check
Collecting pyre-check
Downloading https://files.pythonhosted.org/packages/.../pyre_check-0.0.20-py3-none-macosx_10_11_x86_64.whl (12.3MB)
Installing collected packages: pyre-check
Successfully installed pyre-check-0.0.20
> pyre --debug --source-directory . check
2019-02-12 14:34:48,116 DEBUG No configuration found at `.pyre_configuration.local`.
2019-02-12 14:34:48,116 DEBUG No configuration found at `.pyre_configuration`.
2019-02-12 14:34:48,117 INFO No binary specified, looking for `pyre.bin` in PATH
2019-02-12 14:34:48,117 INFO Found: `/Users/<venv>/bin/pyre.bin`
2019-02-12 14:34:48,117 INFO No typeshed specified, looking for it
2019-02-12 14:34:48,117 DEBUG Trying with: `/Users/<venv>/lib/python3.6/site-packages/pyre_check/pyre_check/typeshed/`
2019-02-12 14:34:48,118 DEBUG Trying with: `/Users/<venv>/lib/python3.6/site-packages/pyre_check/typeshed/`
2019-02-12 14:34:48,118 DEBUG Trying with: `/Users/<venv>/lib/python3.6/pyre_check/typeshed/`
2019-02-12 14:34:48,118 DEBUG Trying with: `/Users/<venv>/lib/pyre_check/typeshed/`
2019-02-12 14:34:48,118 INFO Found: `/Users/<venv>/lib/pyre_check/typeshed/`
2019-02-12 14:34:48,118 WARNING Setting up a `.pyre_configuration` with `pyre init` may reduce overhead
2019-02-12 14:34:48,119 DEBUG Running `/Users/<venv>/bin/pyre.bin check -debug -project-root /Users/<venv>/<package> -filter-directories . -workers 20 -typeshed /Users/<venv>/lib/pyre_check/typeshed/ /Users/<venv>/<package>`
dyld: lazy symbol binding failed: Symbol not found: _clock_gettime
Referenced from: /Users/<venv>/bin/pyre.bin
Expected in: /usr/lib/libSystem.B.dylib
dyld: Symbol not found: _clock_gettime
Referenced from: /Users/<venv>/bin/pyre.bin
Expected in: /usr/lib/libSystem.B.dylib
2019-02-12 14:34:48,590 ERROR Client exited with error code -5
from pyre-check.
Does the workaround in this stackoverflow thread help? https://stackoverflow.com/questions/49969800/why-is-pip-installing-pillow-for-os-x-10-12-when-i-have-os-x-10-11-installed/49987984#49987984
from pyre-check.
Closing this since this is an old issue. Please re-open if the problem is still present.
from pyre-check.
Related Issues (20)
- Context Manager - Taint Propagation Issue HOT 4
- 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 HOT 1
- 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
- [BUG] Check command exited with non-zero return code: 126. HOT 1
- CI builds are broken
- Pyre / Pysa unable to analyse files with same name in different folders HOT 2
- Taint config on "Running Pysa" page is invalid HOT 1
- `reveal_type` does not work reliably HOT 3
- Unable to get SQLAlchemy sinks to work HOT 4
- Pyre failing in python 3.8 and 3.9 due to new syntax HOT 9
- How to resolve importing a function from a module with same name HOT 6
- `input` is not part of the environment, no module `input` in search path. HOT 2
- Cannot resolve type for pymysql HOT 2
- Pyre command hangs on on torch.ao.ns.fx.mappings.get_node_type_to_io_type_map
- [pysa] Add a high level API for step logging
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.