From: adam Date: Mon, 3 Nov 2008 10:20:25 +0000 (+0100) Subject: update make dist X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=7fac13d4fea054763cdd52b939660e0f1f335d42;p=fleet.git update make dist --- diff --git a/Makefile b/Makefile index 8c32d77..13d0f21 100644 --- a/Makefile +++ b/Makefile @@ -179,9 +179,14 @@ clean: # @echo # -dist: +dist: fleet.jar darcs dist -d fleet - mv fleet.tar.gz /afs/research.cs.berkeley.edu/class/fleet/website/code/snapshots/fleet-`date +%y.%m.%d`.tgz + mv fleet.tar.gz /afs/research.cs.berkeley.edu/class/fleet/website/code/snapshots/fleet-`date +%Y.%m.%d`.tgz + mkdir -p .build + rm -f lib/suncvs.jar + cd .build; for A in ../fleet.jar ../lib/*.jar; do jar xvf $$A; done + cd .build; jar cvf /afs/research.cs.berkeley.edu/class/fleet/website/code/snapshots/fleet-`date +%Y.%m.%d`.jar . + rm -rf .build # you'll probably want to change this line ghc = /usr/local/brian/ghc/compiler/ghc-inplace