From 7d7e0c02351303489d5555627337a39b519b536a Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Wed, 16 Aug 2023 14:18:10 -0400
Subject: 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.
---
 Biz/Ide/repl | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Biz/Ide/repl')

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"}
       ;;
-- 
cgit v1.2.3