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/mktags | 2 +-
 Biz/Ide/repl   | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

(limited to 'Biz/Ide')

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