add script that generates a elisp tar ball on website

 

File modified: bin/hg-tar.sh

Change358 at Thu Aug 26 10:49:31 2010 +0200 by Ivan Kanis <ivan@tao>

diff -r 02f8a62ac793 -r 90f280b0de76 bin/hg-tar.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/hg-tar.sh	Thu Aug 26 10:49:31 2010 +0200
@@ -0,0 +1,47 @@
+#!/bin/sh
+
+export PATH=${PATH}:${HOME}/local/bin
+hg_stage="${HOME}/hg"
+tar_ball="hg.tar.bz2"
+
+fn_check () {
+    if test "X${?}" != "X0"
+    then
+       printf "${1}.\n"
+       exit 1
+    fi
+}
+
+fn_clean_stage () {
+    if test -d "${hg_stage}"
+    then
+         rm -r "${hg_stage}"
+         fn_check "Failed to remove ${hg_stage}"
+    fi
+}
+
+fn_clean_stage
+
+mkdir "${hg_stage}"
+fn_check "Failed to make dir ${hg_stage}"
+
+cp -r "${HOME}/www/hg/lisp" "${hg_stage}"
+fn_check "Failed to copy ${HOME}/www/hg/lisp to ${hg_stage}"
+
+cd "${hg_stage}/lisp"
+fn_check "Failed to change to directory ${hg_stage}/lisp"
+
+make > hg_tar.log 2>&1
+fn_check "Make failed"
+
+cd "${HOME}"
+fn_check "Failed to change to directory ${HOME}"
+
+tar cjf "${tar_ball}" hg
+fn_check "Failed to create tar file ${tar_ball}"
+
+mv "${tar_ball}" "${HOME}/www"
+fn_check "Failed to move ${tar_ball} to ${HOME}/www"
+
+fn_clean_stage
+exit 0

back