diff options
| author | Jörg Thalheim <joerg@thalheim.io> | 2018-12-03 08:19:28 +0000 |
|---|---|---|
| committer | Jörg Thalheim <joerg@thalheim.io> | 2018-12-03 08:19:28 +0000 |
| commit | 3d444cfd8e0a02f5854104c06cbcc0f6905ae6a8 (patch) | |
| tree | 03344b6c43df6877795cc790439801b0bdf2d734 /pkgs/development/tools | |
| parent | 92cba3aa0c6c4c20afb9a3da0ea42fc31b94273e (diff) | |
| download | nixpkgs-3d444cfd8e0a02f5854104c06cbcc0f6905ae6a8.tar nixpkgs-3d444cfd8e0a02f5854104c06cbcc0f6905ae6a8.tar.gz nixpkgs-3d444cfd8e0a02f5854104c06cbcc0f6905ae6a8.tar.bz2 nixpkgs-3d444cfd8e0a02f5854104c06cbcc0f6905ae6a8.tar.lz nixpkgs-3d444cfd8e0a02f5854104c06cbcc0f6905ae6a8.tar.xz nixpkgs-3d444cfd8e0a02f5854104c06cbcc0f6905ae6a8.tar.zst nixpkgs-3d444cfd8e0a02f5854104c06cbcc0f6905ae6a8.zip | |
pyre: simplify build phases
Diffstat (limited to 'pkgs/development/tools')
| -rw-r--r-- | pkgs/development/tools/pyre/default.nix | 19 |
1 files changed, 8 insertions, 11 deletions
diff --git a/pkgs/development/tools/pyre/default.nix b/pkgs/development/tools/pyre/default.nix index fb6c8dd84be..87066284bfe 100644 --- a/pkgs/development/tools/pyre/default.nix +++ b/pkgs/development/tools/pyre/default.nix @@ -44,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; { |