+#dist:
+# darcs record
+# darcs push /afs/research.cs.berkeley.edu/class/fleet/website/repos/fleet/
+# darcs get . --repo-name=fleet-`date +%d.%h.%y`
+# make -C fleet-`date +%d.%h.%y` fleet.jar
+# rm -rf fleet-`date +%d.%h.%y`/build
+# echo 'http://research.cs.berkeley.edu/class/fleet/repos/fleet/' > \
+# fleet-`date +%d.%h.%y`/_darcs/prefs/defaultrepo
+# tar cvzf fleet-`date +%d.%h.%y`.tgz fleet-`date +%d.%h.%y`
+# rm -rf fleet-`date +%d.%h.%y`
+# mv fleet-`date +%d.%h.%y`.tgz /afs/research.cs.berkeley.edu/class/fleet/website/files/
+# @echo
+# @echo
+# @echo http://research.cs.berkeley.edu/class/fleet/files/fleet-`date +%d.%h.%y`.tgz
+# @echo
+# @echo
+#
+
+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
+ mkdir -p .build
+ 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
+ echo
+ echo http://fleet.cs.berkeley.edu/code/snapshots/fleet-`date +%Y.%m.%d`.jar
+ echo
+
+# you'll probably want to change this line
+ghc = /usr/local/brian/ghc/compiler/ghc-inplace
+
+ghc += -fglasgow-exts -fallow-undecidable-instances -fallow-overlapping-instances -cpp
+ghc += -i$(shell pwd)/build/hi/ -hidir $(shell pwd)/build/hi/ -odir $(shell pwd)/build/class/
+
+f0: fleet.jar
+ mkdir -p build/hi build/class
+ cd lib; $(ghc) -c -java SBP.lhs
+ cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags) -java Util.lhs
+ cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags) -java Fleet.lhs
+ cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags) -java Types.lhs
+ cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags) -java Compile.lhs
+ cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags) -java Main.lhs
+ $(java) -cp build/class:lib/HSbase.jar:lib/HSrts.jar:lib/HSstm.jar:fleet.jar Main
+
+
+## Targets below are for integration with Sun-Proprietary Marina Test Chip ##############################
+
+electric_jar = ~/proj/electric/srcj/electric.jar
+electric = java -Xss2m -XX:MaxPermSize=128m -Xmx2000m -jar ${electric_jar}
+electric_headless = java -Xmx1500m -jar -Djava.awt.headless=true ${electric_jar} -batch
+all_electric_files = $(shell find chips/marina/electric/ -name \*.jelib -or -path \*.delib\*)
+modname = fakeMarinaPadframe
+
+sun_server = simmons-tunnel
+
+#sun_server = frehley # electric team uses frehley
+#sun_server = simmons
+#sun_server = criss # criss is used for nohupped nanosim
+#sun_server = stanley # stanley is used for nohupped hsim
+
+testnum = 0
+
+runtest: fleet.jar chips/marina/testCode/marina.xml chips/marina/testCode/marina.v chips/marina/testCode/marina.schematic-parasitics.spi
+ ${rsync} --delete ./ ${sun_server}:~/fleet/
+ time ssh -t -Y ${sun_server} 'cd ~/fleet/; make testlocal'
+
+silicon: fleet.jar chips/marina/testCode/marina.xml
+ ${rsync} --delete ./ ${sun_server}:~/fleet/
+ time ssh -t -Y ${sun_server} 'cd ~/fleet/; make siliconlocal'
+
+spice: fleet.jar
+ cp ~/omegaCounter.spi chips/marina/testCode/omegaCounter.spi
+ cp ~/omegaCounter-extracted.spi chips/marina/testCode/omegaCounter-extracted.spi
+ rsync -azre ssh --delete --progress --verbose ./ ${sun_server}:~/fleet/
+ ssh -t -Y ${sun_server} 'cd ~/fleet/chips/marina/testCode/; export PATH=/proj/async/cad/linux/bin/:$$PATH; echo -e "rcf commands\n" | hsim64 -time 90000 go.spi -o go.spi'
+
+
+testlocal: fleet.jar
+ cd chips/marina/testCode; \
+ export PATH=/proj/async/cad/linux/bin/:$$PATH; \
+ /proj/async/cad/linux/lib/jdk1.5.0_05-linux-i586/bin/java \
+ -cp `pwd`/../../../lib/com.sun.async.test.jar:`pwd`/../../../fleet.jar \
+ -Dfleet.impl=com.sun.vlsi.chips.marina.test.Marina \
+ com.sun.vlsi.chips.marina.test.MarinaTest \
+ -hsim \
+ -testNum ${testnum} || tail -n 20 marina.spi.run
+
+siliconlocal: fleet.jar
+ cd chips/marina/testCode; \
+ export PATH=/proj/async/cad/linux/bin/:$$PATH; \
+ /proj/async/cad/linux/lib/jdk1.5.0_05-linux-i586/bin/java \
+ -cp `pwd`/../../../lib/com.sun.async.test.jar:`pwd`/../../../fleet.jar \
+ -Djava.library.path=/proj/async/cad/test/ \
+ -Dfleet.impl=com.sun.vlsi.chips.marina.test.Marina \
+ com.sun.vlsi.chips.marina.test.MarinaTest \
+ -silicon \
+ -testNum ${testnum}
+
+chips/marina/testCode/marina.xml \
+chips/marina/testCode/marina.v \
+chips/marina/testCode/marina.schematic-parasitics.spi: ${all_electric_files}