2 ## Fleeterpreter ##############################################################################
4 cp = -cp fleet.jar:lib/RXTXcomm.jar
7 run: fleet.jar; $(java) $(cp) $(interpreter_class)
9 ifeq ($(shell uname -o 2>/dev/null),Cygwin)
15 java_files = $(shell find src -name \*.java)
16 ship_files = $(shell find ships -name \*.ship)
17 fleet.jar: $(java_files) $(ship_files) src/edu/berkeley/fleet/assembler/fleet.g
18 mkdir -p build/class/edu/berkeley/fleet/assembler/
19 cp src/edu/berkeley/fleet/assembler/fleet.g build/class/edu/berkeley/fleet/assembler/
20 javac -classpath lib/RXTXcomm.jar:lib/edu.berkeley.sbp.jar -d build/class/ $(shell find src -name \*.java)
21 cd build/class/; jar xf ../../lib/edu.berkeley.sbp.jar
22 for A in `find ships -name \*.ship`;\
23 do java -cp build/class edu.berkeley.fleet.Main expand $$A;\
25 javac -classpath lib/RXTXcomm.jar:build/class${ps}lib/edu.berkeley.sbp.jar -d build/class/ `find build/java -name \*.java`
26 echo 'Main-Class: edu.berkeley.fleet.Main' > build/class/manifest
27 cd build/class/; jar cmf manifest ../../$@ .
30 ## Fpga ####################################################################################
32 host = intel2950-3.eecs.berkeley.edu
33 remote_xilinx = /scratch/megacz/xilinx/
34 remote_dir = /scratch/megacz/fleet/
36 #host = mm2.millennium.berkeley.edu
37 #remote_xilinx = /scratch/megacz/xilinx/
38 #remote_dir = /scratch/megacz/fleet/
40 xilinx = cd build/fpga;
41 xilinx += LD_LIBRARY_PATH=$$LD_LIBRARY_PATH:$(XILINX)/bin/lin
42 xilinx += XILINX=$(XILINX)
43 xilinx += PATH=$$PATH:$(XILINX)/bin/lin
44 xilinx += $(XILINX)/bin/lin/
46 device = xc4vfx60-11ff1152
48 upload: fleet.jar build/fpga/main.bit
50 rsync -are ssh --progress --verbose ./ root@goliath:fleet/
52 build/fpga/main.bit: $(java_files) $(ship_files)
55 $(java) $(cp) edu.berkeley.fleet.fpga.Fpga build/fpga/
56 cp src/edu/berkeley/fleet/fpga/* build/fpga
57 for A in `find ships -name \*.ship`;\
58 do java -cp build/class edu.berkeley.fleet.Main target=fpga expand $$A;\
60 rsync -zare ssh --progress --delete --verbose ./ ${host}:${remote_dir}
61 time ssh ${host} 'make -C ${remote_dir} synth XILINX=${remote_xilinx}'
62 scp ${host}:${remote_dir}/build/fpga/main.bit build/fpga/
65 cd build/fpga; ln -sf ../../src/edu/berkeley/fleet/fpga/* .
66 cd build/fpga; echo work > main.lso
67 cd build/fpga; for A in *.v; do echo verilog work \""$$A"\"; done > main.prj
68 cd build/fpga; mkdir -p tmp
69 cd build/fpga; mkdir -p xst
70 rm -rf build/fpga/_ngo
71 $(xilinx)xst -intstyle xflow -ifn main.xst -ofn main.syr < main.xst
72 $(xilinx)ngdbuild -aul -intstyle xflow -dd _ngo -nt timestamp -uc main.ucf -p $(device) main.ngc main.ngd
73 $(xilinx)map -intstyle xflow -p $(device) -cm speed -l -pr b -k 4 -c 100 -tx off -o main_map.ncd main.ngd main.pcf
74 $(xilinx)par -w -intstyle xflow -pl std -ol std -t 99 main_map.ncd main.ncd main.pcf
75 $(xilinx)bitgen -intstyle xflow -d -f main.ut main.ncd
76 # $(xilinx)trce -intstyle xflow -e 3 -l 3 -s 6 -xml main main.ncd -o main.twr main.pcf
80 test: fleet.jar; $(java) -jar fleet.jar test ships/*.ship tests
81 testfpga: fleet.jar; $(java) -jar fleet.jar target=fpga test ships/*.ship tests
83 ## Manual ####################################################################################
85 svgs = $(shell find doc -name \*.svg)
87 DISPLAY= /Applications/Inkscape.app/Contents//Resources/bin/inkscape -z --export-area-drawing $^ --export-eps=$@
90 epstopdf $^ --outfile=$@
92 manual: archmanual toolmanual
94 archmanual: fleet.jar $(svgs:%.svg=%.pdf)
95 $(java) -jar fleet.jar doc
96 cd .tmp; ln -sf ../doc/*.bib .
97 cd .tmp; TEXINPUTS=$$TEXINPUTS:../src/edu/berkeley/fleet/assembler/:../doc/ pdflatex FleetTwo.Manual.tex
98 cd .tmp; for A in *.mp; do mpost --tex=latex $$A; done
99 cd .tmp; TEXINPUTS=$$TEXINPUTS:../src/edu/berkeley/fleet/assembler/:../doc/ pdflatex FleetTwo.Manual.tex
100 open .tmp/FleetTwo.Manual.pdf
101 toolmanual: fleet.jar $(svgs:%.svg=%.pdf)
102 $(java) -jar fleet.jar doc
103 cd .tmp; ln -sf ../doc/*.bib .
104 cd .tmp; TEXINPUTS=$$TEXINPUTS:../src/edu/berkeley/fleet/assembler/:../doc/ pdflatex toolchain.tex
105 open .tmp/toolchain.pdf
107 ## API docs ####################################################################################
112 -windowtitle "FleetCode API Documentation" \
114 -header "<b>FleetCode API Documentation</b><br>" \
119 -stylesheetfile doc/javadoc.css \
120 -d /afs/research.cs.berkeley.edu/class/fleet/website/code/javadoc/ \
121 edu.berkeley.fleet.api
122 open http://fleet.cs.berkeley.edu/code/javadoc/
124 ## Misc ####################################################################################
127 rm -rf fleet.jar build
129 ## Dist ####################################################################################
133 darcs push /afs/research.cs.berkeley.edu/class/fleet/website/repos/fleet/
134 darcs get . --repo-name=fleet-`date +%d.%h.%y`
135 make -C fleet-`date +%d.%h.%y` fleet.jar
136 rm -rf fleet-`date +%d.%h.%y`/build
137 echo 'http://research.cs.berkeley.edu/class/fleet/repos/fleet/' > \
138 fleet-`date +%d.%h.%y`/_darcs/prefs/defaultrepo
139 tar cvzf fleet-`date +%d.%h.%y`.tgz fleet-`date +%d.%h.%y`
140 rm -rf fleet-`date +%d.%h.%y`
141 mv fleet-`date +%d.%h.%y`.tgz /afs/research.cs.berkeley.edu/class/fleet/website/files/
144 @echo http://research.cs.berkeley.edu/class/fleet/files/fleet-`date +%d.%h.%y`.tgz
149 # you'll probably want to change this line
150 ghc = /usr/local/brian/ghc/compiler/ghc-inplace
152 ghc += -fglasgow-exts -fallow-undecidable-instances -fallow-overlapping-instances -cpp
153 ghc += -i$(shell pwd)/build/hi/ -hidir $(shell pwd)/build/hi/ -odir $(shell pwd)/build/class/
156 mkdir -p build/hi build/class
157 cd lib; $(ghc) -c -java SBP.lhs
158 cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags) -java Util.lhs
159 cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags) -java Fleet.lhs
160 cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags) -java Types.lhs
161 cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags) -java Compile.lhs
162 cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags) -java Main.lhs
163 $(java) -cp build/class:lib/HSbase.jar:lib/HSrts.jar:lib/HSstm.jar:fleet.jar Main