pyre: 0.0.20 -> 0.0.22
This commit is contained in:
parent
efc0fc165f
commit
e6ebd0553c
1 changed files with 15 additions and 4 deletions
|
@ -1,14 +1,14 @@
|
||||||
{ stdenv, fetchFromGitHub, ocamlPackages, writeScript
|
{ stdenv, fetchFromGitHub, ocamlPackages, writeScript
|
||||||
, dune, python3, rsync, buck, watchman }:
|
, dune, python3, rsync, buck, watchman, sqlite }:
|
||||||
let
|
let
|
||||||
# Manually set version - the setup script requires
|
# Manually set version - the setup script requires
|
||||||
# hg and git + keeping the .git directory around.
|
# hg and git + keeping the .git directory around.
|
||||||
pyre-version = "0.0.20"; # also change typeshed revision below with $pyre-src/.typeshed-version
|
pyre-version = "0.0.22"; # also change typeshed revision below with $pyre-src/.typeshed-version
|
||||||
pyre-src = fetchFromGitHub {
|
pyre-src = fetchFromGitHub {
|
||||||
owner = "facebook";
|
owner = "facebook";
|
||||||
repo = "pyre-check";
|
repo = "pyre-check";
|
||||||
rev = "v${pyre-version}";
|
rev = "v${pyre-version}";
|
||||||
sha256 = "1alkhdhvmigdhxvvarh0lr5s3b1s6q4arykip2dqb62vs8064s17";
|
sha256 = "057vy6zmgwsi0ag9n4m6sszhahmfk2s1ywm36nyfs7w4d0wnk92s";
|
||||||
};
|
};
|
||||||
versionFile = writeScript "version.ml" ''
|
versionFile = writeScript "version.ml" ''
|
||||||
cat > "./version.ml" <<EOF
|
cat > "./version.ml" <<EOF
|
||||||
|
@ -41,6 +41,8 @@ let
|
||||||
ppxlib
|
ppxlib
|
||||||
dune
|
dune
|
||||||
ounit
|
ounit
|
||||||
|
base64
|
||||||
|
sqlite.dev
|
||||||
# python36Packages.python36Full # TODO
|
# python36Packages.python36Full # TODO
|
||||||
];
|
];
|
||||||
|
|
||||||
|
@ -115,7 +117,16 @@ in python3.pkgs.buildPythonApplication rec {
|
||||||
|
|
||||||
buildInputs = [ pyre-bin ];
|
buildInputs = [ pyre-bin ];
|
||||||
nativeBuildInputs = [ rsync ]; # only required for build-pypi-package.sh
|
nativeBuildInputs = [ rsync ]; # only required for build-pypi-package.sh
|
||||||
propagatedBuildInputs = with python3.pkgs; [ docutils typeshed ];
|
propagatedBuildInputs = with python3.pkgs; [
|
||||||
|
docutils
|
||||||
|
typeshed
|
||||||
|
click-log
|
||||||
|
ipython
|
||||||
|
sqlalchemy
|
||||||
|
munch
|
||||||
|
xxhash
|
||||||
|
ujson
|
||||||
|
];
|
||||||
buildPhase = ''
|
buildPhase = ''
|
||||||
bash scripts/build-pypi-package.sh --version ${pyre-version} --bundle-typeshed ${typeshed}
|
bash scripts/build-pypi-package.sh --version ${pyre-version} --bundle-typeshed ${typeshed}
|
||||||
cp -r build/dist dist
|
cp -r build/dist dist
|
||||||
|
|
Loading…
Reference in a new issue