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/repl | |
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/repl')
-rwxr-xr-x | Biz/Ide/repl | 1 |
1 files changed, 1 insertions, 0 deletions
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"} ;; |