Update build / release / install scripts

.gitignore

@@ -1,4 +1,4 @@
 .stack-work
 result
 dist-newstyle
-hell
+hell-linux-x86-64bit

install.md

@@ -1,12 +1,13 @@
 Bootstrap (do this once):
 
     $ stack build
-    $ cp .stack-work/dist/x86_64-linux/ghc-9.4.8/build/hell/hell ./hell
+    $ cp .stack-work/dist/x86_64-linux/ghc-9.4.8/build/hell/hell ./hell-linux-x86-64bit
+    $ sudo ./hell-linux-x86-64bit scripts/install-hell.hell
 
 Build static binary (do from docker image):
 
-    ./hell scripts/static-build.hell
+    hell scripts/static-build.hell
 
 Install static binary to /usr/bin/ (do from host OS):
 
-    sudo ./hell scripts/install-hell.hell
+    sudo ./hell-linux-x86-64bit scripts/install-hell.hell

scripts/install-hell.hell

@@ -1,2 +1,2 @@
 main = do
-  Directory.copyFile "hell" "/usr/bin/hell"
+  Directory.copyFile "hell-linux-x86-64bit" "/usr/bin/hell"

scripts/static-build.hell

@@ -2,3 +2,12 @@ main = do
   Process.runProcess_ (Process.proc "docker" ["exec", "hell", "stack", "build","--ghc-options", "-static -optl-static -fforce-recomp", "--force-dirty"])
   Directory.renameFile ".stack-work/dist/x86_64-linux/ghc-9.4.8/build/hell/hell" "hell-linux-x86-64bit"
   Process.runProcess_ (Process.proc "strip" ["hell-linux-x86-64bit"])
+  examples <- Directory.listDirectory "examples/"
+  let check = \fp -> do
+        Text.putStrLn $ Text.concat ["Checking ", fp]
+        Process.runProcess_ (Process.proc "./hell-linux-x86-64bit" ["--check", fp])
+  Monad.forM_ examples \example -> do
+    check $ Text.concat ["examples/", example]
+  check "scripts/static-build.hell"
+  check "scripts/install-hell.hell"
+  Text.putStrLn "All OK."