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 +++-
 Biz/Ide/version          | 14 +++++++++-----
 2 files changed, 12 insertions(+), 6 deletions(-)

(limited to 'Biz/Ide')

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
diff --git a/Biz/Ide/version b/Biz/Ide/version
index 3a02b95..5b017d9 100755
--- a/Biz/Ide/version
+++ b/Biz/Ide/version
@@ -3,9 +3,13 @@
 # simple implementation of kelvin versioning
 ##
   ns=$1
-  commits=$(git log --oneline --follow $ns | wc -l)
-  # gold melts at 1337 kelvin, so we start with this
-  # bc we are forging gold here
-  version=$(bc -l <<< "1337 - $commits")
-  echo $version
+  if [[ -e "$1" ]]; then
+    commits=$(git log --oneline --follow $ns | wc -l)
+    # gold melts at 1337 kelvin, so we start with this
+    # bc we are forging gold here
+    version=$(bc -l <<< "1337 - $commits")
+    echo $version
+  else
+    echo -1  # signal that file doesn't exist
+  fi
 ##
-- 
cgit v1.2.3