Comments (14)
I have this on mac too with either of python3.5 or 3.6
from pyre-check.
Actually we rely on parts of Janestreet's Core
library that are not portable to windows. Right now there's no plan to support windows :(
I have this on mac too with either of python3.5 or 3.6
@DanielCollins: can you try with pip3.6 install pyre-check
?
from pyre-check.
Fair enough, thanks !
from pyre-check.
HI @spapas thanks for the report.
At the moment we are not planning to publish on Pypi official binaries of Pyre for Windows, since we do not have enough bandwidth to support and test that platform.
However, we expect most of the code to work across all platforms, except maybe for filesystem-specific functions. You should be able to get to a good state by compiling the code on your machine.
from pyre-check.
@dkgi https://gist.github.com/DanielCollins/49b16f90f2c7eccb36e08d9bf6f80176
from pyre-check.
others with same (?) problem: https://news.ycombinator.com/item?id=17049415
from pyre-check.
@DanielCollins can you please open a separate Github issue for the Mac install? That platform should work, but tracking it here would confuse matters with the initial Windows request. Thanks.
from pyre-check.
If you need to use Pyre, you shouldn't be using Windows. (/s)
from pyre-check.
@LoganDark Your comment takes your dislike of Windows (perhaps highly justified - I have a long list of things about it that irritate me to no end) to a veiled personal attack on anyone who needs to work with a code base written for Windows. This is not helpful.
Perhaps we should be having a discussion about how to compile pyre-check
for Windows...
from pyre-check.
@polsar88 hold on, calm down. did you miss my /s
?
from pyre-check.
No I didn't, but until very now I didn't know it meant sarcasm
. A little rusty on the latest abbreviations. For that reason alone I suppose I shouldn't need to use pyre-check
;)
from pyre-check.
Note that Windows has an Ubuntu subsystem and I'm fairly sure Pyre can be compiled on there. Not cross-compiled for Windows, but you can do the checking using Ubuntu.
from pyre-check.
Yes, I'm aware of WSL. Unfortunately, my code needs to run under native Windows. I've been playing with mypy
today and it seems to work well, so that's what I'm going to use.
from pyre-check.
Unfortunately, my code needs to run under native Windows.
You can run your code under Windows. You can run Pyre under Linux.
from pyre-check.
Related Issues (20)
- 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 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 1
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.