commit 11889e16cc8279152d6623806b9b3a35cb137fbd parent 538090269f438f8b5bc8998d5133336a1431880c Author: Jaromil <jaromil@dyne.org> Date: Mon, 14 May 2012 21:40:48 +0200 small build script for debian Diffstat:
| A | build-gnu.sh | | | 37 | +++++++++++++++++++++++++++++++++++++ |
1 file changed, 37 insertions(+), 0 deletions(-)
diff --git a/build-gnu.sh b/build-gnu.sh @@ -0,0 +1,37 @@ +#!/bin/sh + +distro=unknown + +which apt-get && distro=debian + +# no other distro supported atm + +case $distro in + debian) + echo "Checking software to install..." + which zsh || sudo apt-get install zsh + which mutt || sudo apt-get install mutt + which procmail || sudo apt-get install procmail + which pinentry || sudo apt-get install pinentry + which fetchmail || sudo apt-get install fetchmail + which wipe || sudo apt-get install wipe + echo "All dependencies installed" + echo -n "Compiling a few sources... " + cd share/lbdb + echo -n "dotlock " + [ -x dotlock ] || gcc -O2 -o dotlock dotlock.c + echo "fetchaddr" + [ -x fetchaddr ] || \ + gcc -O2 -c fetchaddr.c helpers.c rfc2047.c rfc822.c; \ + gcc -O2 -o fetchaddr fetchaddr.o helpers.o rfc2047.o rfc822.o; \ + cd - > /dev/null + echo "Done compiling." + echo "Now run ./install.sh and jaromail will be ready in ~/Mail/jaro" + ;; + + *) + echo "Error: no distro recognized, build by hand." + return 1 + ;; +esac +