diff options
author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2018-12-03 08:47:28 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-12-03 08:47:28 +0000 |
commit | 60ede4d711834290503a69c7e6dad4356a06680d (patch) | |
tree | 2ee30329c50412c5a2dd11b44d199caa93e86bb7 /pkgs/development/tools | |
parent | e59970e3c409c7ee539e1c09b0d066339017c3ba (diff) | |
parent | 3d444cfd8e0a02f5854104c06cbcc0f6905ae6a8 (diff) | |
download | nixpkgs-60ede4d711834290503a69c7e6dad4356a06680d.tar nixpkgs-60ede4d711834290503a69c7e6dad4356a06680d.tar.gz nixpkgs-60ede4d711834290503a69c7e6dad4356a06680d.tar.bz2 nixpkgs-60ede4d711834290503a69c7e6dad4356a06680d.tar.lz nixpkgs-60ede4d711834290503a69c7e6dad4356a06680d.tar.xz nixpkgs-60ede4d711834290503a69c7e6dad4356a06680d.tar.zst nixpkgs-60ede4d711834290503a69c7e6dad4356a06680d.zip |
Merge pull request #51424 from marsam/feature/update-pyre
pyre: 0.0.17 -> 0.0.18
Diffstat (limited to 'pkgs/development/tools')
-rw-r--r-- | pkgs/development/tools/pyre/default.nix | 26 |
1 files changed, 11 insertions, 15 deletions
diff --git a/pkgs/development/tools/pyre/default.nix b/pkgs/development/tools/pyre/default.nix index 02772f9f791..87066284bfe 100644 --- a/pkgs/development/tools/pyre/default.nix +++ b/pkgs/development/tools/pyre/default.nix @@ -3,12 +3,12 @@ let # Manually set version - the setup script requires # hg and git + keeping the .git directory around. - pyre-version = "0.0.17"; # also change typeshed revision below with $pyre-src/.typeshed-version + pyre-version = "0.0.18"; # also change typeshed revision below with $pyre-src/.typeshed-version pyre-src = fetchFromGitHub { owner = "facebook"; repo = "pyre-check"; rev = "v${pyre-version}"; - sha256 = "0y86a3g5xbgh0byksyx5jw7yq7w840x85dhz9inz6mkg5j06mcis"; + sha256 = "1sy1lk9j3hq20dabfkr9s4r7prrcndrs345a5iqz6yzvakr4r74d"; }; versionFile = writeScript "version.ml" '' cat > "./version.ml" <<EOF @@ -21,6 +21,7 @@ let let log_version_banner () = Log.info "Running as pid: %d" (Pid.to_int (Unix.getpid ())); Log.info "Version: %s" (version ()); + Log.info "Build info: %s" (build_info ()) EOF ''; pyre-bin = stdenv.mkDerivation { @@ -28,8 +29,6 @@ let src = pyre-src; - nativeBuildInputs = [ makeWrapper ]; - buildInputs = with ocamlPackages; [ ocaml findlib @@ -45,32 +44,29 @@ let # python36Packages.python36Full # TODO ]; - buildPhase = '' + preBuild = '' # build requires HOME to be set - export HOME=. + export HOME=$TMPDIR # "external" because https://github.com/facebook/pyre-check/pull/8/files sed "s/%VERSION%/external/" dune.in > dune - cp ${versionFile} ./scripts/generate-version-number.sh + ln -sf ${versionFile} ./scripts/generate-version-number.sh mkdir $(pwd)/build export OCAMLFIND_DESTDIR=$(pwd)/build export OCAMLPATH=$OCAMLPATH:$(pwd)/build - - make release ''; - checkPhase = '' - make test - # ./scripts/run-python-tests.sh # TODO: once typeshed and python bits are added - ''; + buildFlags = [ "release" ]; + + doCheck = true; + # ./scripts/run-python-tests.sh # TODO: once typeshed and python bits are added # Note that we're not installing the typeshed yet. # Improvement for a future version. installPhase = '' - mkdir -p $out/bin - cp ./_build/default/main.exe $out/bin/pyre.bin + install -D ./_build/default/main.exe $out/bin/pyre.bin ''; meta = with stdenv.lib; { |