From f9eb9a7b9887bf9d0860f67c053772684d42b989 Mon Sep 17 00:00:00 2001 From: Ben Sima 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 | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/Biz/Ide/repl b/Biz/Ide/repl index b10f0f0..fcc7eba 100755 --- a/Biz/Ide/repl +++ b/Biz/Ide/repl @@ -33,13 +33,11 @@ fi packageSet=$(jq --raw-output '.[].packageSet' <<< $json) module=$(jq --raw-output '.[].mainModule' <<< $json) BILD="(import ${CODEROOT:?}/Biz/Bild.nix {})" - for lib in ${sysdeps[@]} - do + for lib in ${sysdeps[@]}; do flags+=(--packages "$BILD.pkgs.${lib}") flags+=(--packages "$BILD.pkgs.pkg-config") done - for lib in ${rundeps[@]} - do + for lib in ${rundeps[@]}; do flags+=(--packages "$BILD.pkgs.${lib}") done case $exts in -- cgit v1.2.3