New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
pyre: 0.0.8 -> 0.0.10 #44023
pyre: 0.0.8 -> 0.0.10 #44023
Conversation
renamed pyre to pyre.bin; see upstream issue at: facebook/pyre-check#79 (comment)
cc @teh |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks! Just two small comments.
@@ -33,6 +33,7 @@ in stdenv.mkDerivation { | |||
ppx_deriving_yojson | |||
ocamlbuild | |||
ppxlib | |||
# python36Packages.python36Full # TODO |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Can you expand the TODO with a closing condition? I'm not sure what needs to be done to resolve the TODO.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Can do, this is just for when we add the python client, pyre
.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Cool - LGTM after additional comment or removal. Thanks for the update!
''; | ||
|
||
# Note that we're not installing the typeshed yet. | ||
# Improvement for a future version. | ||
installPhase = '' | ||
mkdir -p $out/bin | ||
cp _build/all/main.native $out/bin/pyre | ||
cp _build/all/main.native $out/bin/pyre.bin |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
why rename this?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
See the linked issue, the python client pyre
expects this binary to be named pyre.bin
. Currently we aren't installing the python client. Seems to depend on typeshed as you already noted.
@GrahamcOfBorg build pyre |
Failure on aarch64-linux (full log) Attempted: pyre Partial log (click to expand)
|
Success on x86_64-linux (full log) Attempted: pyre Partial log (click to expand)
|
No attempt on x86_64-darwin (full log) The following builds were skipped because they don't evaluate on x86_64-darwin: pyre Partial log (click to expand)
|
renamed pyre to pyre.bin; see upstream issue at:
facebook/pyre-check#79 (comment)
Motivation for this change
Things done
sandbox
innix.conf
on non-NixOS)nix-shell -p nox --run "nox-review wip"
./result/bin/
)nix path-info -S
before and after)