update make dist

diff --git a/Makefile b/Makefile
index 8c32d77..13d0f21 100644 (file)
--- 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