diff options
| author | Ben Sima <ben@bsima.me> | 2023-08-16 14:18:10 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2023-08-16 18:25:00 -0400 |
| commit | 7d7e0c02351303489d5555627337a39b519b536a (patch) | |
| tree | 794817b6d6046a265a129c910885339058773198 /Biz/Ide | |
| parent | 30d03210f7ac5b12235760f625bac5ff3aa3f85a (diff) | |
Get python targets building
I added 'black' to Biz/Lint.hs, but not the others because they rely on
dependencies being in the PYTHONPATH to work, so they are only relevant
in nix builds and repls.
I also made some other tweaks to the python checkPhase and linted all
the files. Everything should be building and linting correctly now.
Diffstat (limited to 'Biz/Ide')
| -rwxr-xr-x | Biz/Ide/mktags | 2 | ||||
| -rwxr-xr-x | Biz/Ide/repl | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/Biz/Ide/mktags b/Biz/Ide/mktags index ebad39a..b984fb1 100755 --- a/Biz/Ide/mktags +++ b/Biz/Ide/mktags @@ -2,7 +2,7 @@ # # script to generate tags automatically if there are none. # - set -euxo pipefail + set -euo pipefail files=$@ vimtags=${BIZ_ROOT:?}/tags emacstags=${BIZ_ROOT:?}/TAGS diff --git a/Biz/Ide/repl b/Biz/Ide/repl index e62c7b2..5a7b615 100755 --- a/Biz/Ide/repl +++ b/Biz/Ide/repl @@ -63,6 +63,7 @@ fi command=bash ;; Py) + langdeps="$langdeps pylint mypy" flags+=(--packages "$BILD.private.$packageSet (p: with p; [$langdeps])") command=${CMD:-"python -i $targets"} ;; |