From bc9e5b0ea863a17537987faa5a72b00efc7767d1 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Mon, 18 Jul 2022 22:09:58 -0400
Subject: Upgrade nixpkgs, ghc923

I ended up deleting miso, and consequently all files under Hero/ and Miso/,
because I couldn't get miso to build with GHC 9.2.

Other things:

- Niv has been wrapped by Biz/Bild/Deps.hs, so I can extend it to my liking.
- Apply-refact is gone because I couldn't get it to build.
- Disabled python stuff.
---
 Biz/Ide/hooks/pre-commit | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'Biz/Ide/hooks/pre-commit')

diff --git a/Biz/Ide/hooks/pre-commit b/Biz/Ide/hooks/pre-commit
index 507d7e6..31a4e68 100755
--- a/Biz/Ide/hooks/pre-commit
+++ b/Biz/Ide/hooks/pre-commit
@@ -8,7 +8,9 @@
   for ns in ${changed[@]}
   do
     version=$($BIZ_ROOT/Biz/Ide/version $ns)
-    if (( $version < 1 )); then
+    if (( $version == -1 )); then
+      echo "info:  version:  $ns:  deleted"
+    elif (( $version < 1 )); then
       echo "fail:  version:  $ns:  $version"
       exit 1
     else
-- 
cgit v1.2.3