From 4226cbd8020253b010fb44d395db12efe68e1272 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Thu, 21 Sep 2023 22:30:17 -0400
Subject: Rename BIZ_ROOT to CODEROOT

BIZ_ROOT was too specific. CODEROOT allows for other (non-biz) projects to live
in the root of the repo. I didn't want to call it GIT_ROOT because maybe someday
I won't want to use git. But I'll never not use code.
---
 Biz/Ide/repl | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'Biz/Ide/repl')

diff --git a/Biz/Ide/repl b/Biz/Ide/repl
index 1401218..7230edd 100755
--- a/Biz/Ide/repl
+++ b/Biz/Ide/repl
@@ -31,7 +31,7 @@ fi
   exts=$(jq --raw-output '.[].namespace.ext' <<< $json | sort | uniq)
   packageSet=$(jq --raw-output '.[].packageSet' <<< $json)
   module=$(jq --raw-output '.[].mainModule' <<< $json)
-  BILD="(import ${BIZ_ROOT:?}/Biz/Bild.nix {})"
+  BILD="(import ${CODEROOT:?}/Biz/Bild.nix {})"
   for lib in ${sysdeps[@]}; do
     flags+=(--packages "$BILD.pkgs.${lib}")
     flags+=(--packages "$BILD.pkgs.pkg-config")
@@ -46,14 +46,14 @@ fi
         echo "warn:  repl:  ghci does not support binding to a port"
       fi
       flags+=(--packages "$BILD.bild.haskell.ghcWith (h: with h; [$langdeps])")
-      command=${CMD:-"ghci -i${BIZ_ROOT:?} -ghci-script ${BIZ_ROOT:?}/.ghci ${targets[@]}"}
+      command=${CMD:-"ghci -i${CODEROOT:?} -ghci-script ${CODEROOT:?}/.ghci ${targets[@]}"}
       ;;
     Scm)
       for lib in ${langdeps[@]}; do
         flags+=(--packages "$BILD.guile-${lib}")
       done
       flags+=(--packages "$BILD.guile")
-      command=${CMD:-"guile -L ${BIZ_ROOT:?} -C ${BIZ_ROOT:?}/_/int --r7rs --listen=${PORT:-37146}"}
+      command=${CMD:-"guile -L ${CODEROOT:?} -C ${CODEROOT:?}/_/int --r7rs --listen=${PORT:-37146}"}
       ;;
     Lisp)
       flags+=(--packages "$BILD.bild.$packageSet (p: with p; [asdf swank $langdeps])")
@@ -67,8 +67,8 @@ fi
       langdeps="$langdeps mypy"
       flags+=(--packages ruff)
       flags+=(--packages "$BILD.bild.python.pythonWith (p: with p; [$langdeps])")
-      PYTHONPATH=$BIZ_ROOT:$PYTHONPATH
-      pycommand="python -i $BIZ_ROOT/Biz/Repl.py $module ${targets[@]}"
+      PYTHONPATH=$CODEROOT:$PYTHONPATH
+      pycommand="python -i $CODEROOT/Biz/Repl.py $module ${targets[@]}"
       command=${CMD:-"$pycommand"}
       ;;
     *)
-- 
cgit v1.2.3