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
Revert "pyre: remove" #118014
base: master
Are you sure you want to change the base?
Revert "pyre: remove" #118014
Conversation
This reverts commit fa4b518.
@@ -10462,6 +10462,8 @@ in | |||
ocamlPackages = ocaml-ng.ocamlPackages_4_07; | |||
}; | |||
|
|||
pyre = callPackage ../development/tools/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.
This looks like an odd place to insert it back in.
EOF | ||
''; | ||
pyre-bin = stdenv.mkDerivation { | ||
name = "pyre-${pyre-version}"; |
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.
name = "pyre-${pyre-version}"; | |
pname = "pyre"; | |
inherit version src; |
|
||
ln -sf ${versionFile} ./scripts/generate-version-number.sh | ||
|
||
mkdir $(pwd)/build |
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.
mkdir $(pwd)/build | |
mkdir build |
homepage = https://pyre-check.org; | ||
license = licenses.mit; | ||
platforms = ocamlPackages.ocaml.meta.platforms; | ||
maintainers = with maintainers; [ 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.
maintainers = with maintainers; [ teh ]; | |
maintainers = with maintainers; [ siraben ]; |
phases = [ "unpackPhase" "installPhase" ]; | ||
installPhase = "cp -r $src $out"; |
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.
phases = [ "unpackPhase" "installPhase" ]; | |
installPhase = "cp -r $src $out"; | |
installPhase = '' | |
cp -r $src $out | |
''; |
version = pyre-version; | ||
src = pyre-src; |
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.
version = pyre-version; | |
src = pyre-src; | |
inherit version src; |
pyre-version = "0.0.22"; # also change typeshed revision below with $pyre-src/.typeshed-version | ||
pyre-src = fetchFromGitHub { |
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.
pyre-version = "0.0.22"; # also change typeshed revision below with $pyre-src/.typeshed-version | |
pyre-src = fetchFromGitHub { | |
version = "0.0.22"; # also change typeshed revision below with $pyre-src/.typeshed-version | |
src = fetchFromGitHub { |
pyre-bin = stdenv.mkDerivation { | ||
name = "pyre-${pyre-version}"; | ||
|
||
src = pyre-src; |
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.
src = pyre-src; |
''; | ||
checkPhase = '' | ||
bash scripts/run-python-tests.sh | ||
''; |
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.
meta should be in the final package, too.
@siraben do you have interest in continuing this pull request? I'd like to get this packaged. |
Hi @mjlbach, that would be great. I haven't made progress on this PR because of the difficulty in packaging pyre's latest version. |
I marked this as stale due to inactivity. → More info |
Motivation for this change
This reverts commit fa4b518. Pyre was under constant heavy changes which put a lot of burden on maintainers (#70001). Hopefully we can get things working again on the latest version.
Things done
sandbox
innix.conf
on non-NixOS linux)nix-shell -p nixpkgs-review --run "nixpkgs-review wip"
./result/bin/
)nix path-info -S
before and after)