GithubHelp home page GithubHelp logo

Comments (9)

dark avatar dark commented on April 26, 2024 4

I have uploaded to Pypi an updated version that supports OSX 10.11 and above - pyre-check v.0.0.6.
Please let us know how that works.

from pyre-check.

mingrammer avatar mingrammer commented on April 26, 2024 2

@dark Thank you. Pyre was installed successfully on my machine.

from pyre-check.

stealthybox avatar stealthybox commented on April 26, 2024

re: @DanielCollins
cc: @dkgi @dark

other reports: https://news.ycombinator.com/item?id=17049415

from pyre-check.

dkgi avatar dkgi commented on April 26, 2024

I suspect this is us not shipping OCaml binaries for those platforms. What architecture are you running this on?

from pyre-check.

dark avatar dark commented on April 26, 2024

We're currently tagging all macOS releases of pyre-check to run on >= 10.13 because:

  • that's where I am compiling the binaries and testing them on;
  • given my limited experience with the Mach-O format, I assumed that from the output of otool -l pyre.bin we could only run on 10.13:
[...]
Load command 9
      cmd LC_VERSION_MIN_MACOSX
  cmdsize 16
  version 10.13
      sdk 10.13
[...]

The output of pip3.6 install pyre-check --verbose would confirm that indeed pip is skipping macOS 10.12 only due to the version requirement. @stealthybox could you please provide that?

I will investigate LC_VERSION_MIN_MACOSX more to see if this is a strict requirement or not.

from pyre-check.

DanielCollins avatar DanielCollins commented on April 26, 2024

https://gist.github.com/DanielCollins/629ae4cd2c0fb5a594b9edc1048045ca

from pyre-check.

stealthybox avatar stealthybox commented on April 26, 2024

@dark I'm getting the same output as @DanielCollins

from pyre-check.

mingrammer avatar mingrammer commented on April 26, 2024

I have same problem on macOS Sierra

from pyre-check.

dark avatar dark commented on April 26, 2024

Messing around with MACOSX_DEPLOYMENT_TARGET yields the expected result. The entire toolchain (i.e. including ~/.opam) needs a rebuild.

from pyre-check.

Related Issues (20)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo 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.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.