diff options
| author | Ben Sima <ben@bsima.me> | 2023-09-21 22:30:17 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2023-10-27 10:06:55 -0400 |
| commit | ad46b74dc2d69c5fe6645591d7177e389e9431bd (patch) | |
| tree | 86e23b664dd6318db5537c7d70c688e2ad47ec1f /Biz/Ide | |
| parent | 83ea1cdd1fbd9c3ae7908ff1dd12363fee585b45 (diff) | |
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.
Diffstat (limited to 'Biz/Ide')
| -rwxr-xr-x | Biz/Ide/repl.bash | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/Biz/Ide/repl.bash b/Biz/Ide/repl.bash index b10f0f0..fcc7eba 100755 --- a/Biz/Ide/repl.bash +++ b/Biz/Ide/repl.bash @@ -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 |