Turn clone-deps.sh into a safe update-deps.sh script and document in INSTALL.md

INSTALL.md

@@ -46,7 +46,7 @@ Clone the Vervis repo:
 
 Clone dependency libraries:
 
-    $ ./clone-deps.sh
+    $ ./update-deps.sh
 
 # (5) Configuration and database
 
@@ -103,6 +103,12 @@ Build. This will also automatically install GHC.
 
 # (8) Development and deployment
 
+To update your local clone of Vervis, run:
+
+    $ darcs pull
+    $ ./update-deps.sh
+    $ stack build
+
 For convenience, at least on actual deployments, you may wish to run the Vervis
 SSH server on port 22, so that people don't have to specify a custom port. For
 that to work, the user that runs the Vervis server needs to get permission to

clone-deps.sh

@@ -1,16 +0,0 @@
-#!/bin/sh
-
-VERVIS='https://dev.angeley.es/s/fr33domlover/r'
-
-mkdir -p lib
-cd lib
-darcs clone $VERVIS/hit-graph
-darcs clone $VERVIS/hit-harder
-darcs clone $VERVIS/hit-network
-darcs clone $VERVIS/darcs-lights
-darcs clone $VERVIS/darcs-rev
-darcs clone $VERVIS/ssh
-darcs clone $VERVIS/persistent-migration
-darcs clone $VERVIS/persistent-email-address
-darcs clone $VERVIS/time-interval-aeson
-darcs clone $VERVIS/yesod-mail-send

update-deps.sh

@@ -0,0 +1,24 @@
+#!/bin/sh
+
+VERVIS='https://dev.angeley.es/s/fr33domlover/r'
+
+DEPS='hit-graph
+      hit-harder
+      hit-network
+      darcs-lights
+      darcs-rev
+      ssh
+      persistent-migration
+      persistent-email-address
+      time-interval-aeson
+      yesod-mail-send'
+
+mkdir -p lib
+cd lib
+for dep in $DEPS; do
+    if [ -d "$dep" ]; then
+        darcs pull --repodir="$dep"
+    else
+        darcs clone "$VERVIS/$dep"
+    fi
+done