2 ## Fleeterpreter ##############################################################################
7 run: fleet.jar; $(java) $(cp) $(interpreter_class)
9 ifeq ($(shell uname -o 2>/dev/null),Cygwin)
15 fleet.jar: $(shell find src -name \*.java) $(shell find ships -name \*.ship) src/edu/berkeley/fleet/assembler/fleet.g
16 mkdir -p build/class/edu/berkeley/fleet/assembler/
17 cp src/edu/berkeley/fleet/assembler/fleet.g build/class/edu/berkeley/fleet/assembler/
18 javac -classpath lib/edu.berkeley.sbp.jar -d build/class/ $(shell find src -name \*.java)
19 cd build/class/; jar xf ../../lib/edu.berkeley.sbp.jar
20 for A in `find ships -name \*.ship`;\
21 do java -cp build/class edu.berkeley.fleet.Main expand $$A;\
23 javac -classpath build/class${ps}lib/edu.berkeley.sbp.jar -d build/class/ `find build/java -name \*.java`
24 echo 'Main-Class: edu.berkeley.fleet.Main' > build/class/manifest
25 cd build/class/; jar cmf manifest ../../$@ .
28 ## Fpga ####################################################################################
30 #host = sting.eecs.berkeley.edu
31 #remote_xilinx = /opt/ISE81/
34 #host = intel2950-5.eecs.berkeley.edu
35 #remote_xilinx = /scratch/megacz/xilinx/
36 #remote_dir = /scratch/megacz/fleet/
38 #host = cs61c-tb@ilinux1.eecs.berkeley.edu
39 #remote_xilinx = /usr/local/xilinx/xilinx.ise.9.1-1607-8571-0259-2277
40 #remote_dir = /home/tmp/cs61c-tb/fleet
42 host = mm2.millennium.berkeley.edu
43 remote_xilinx = /scratch/megacz/xilinx/
44 remote_dir = /scratch/megacz/fleet/
46 xilinx = cd build/fpga;
47 xilinx += LD_LIBRARY_PATH=$$LD_LIBRARY_PATH:$(XILINX)/bin/lin
48 xilinx += XILINX=$(XILINX)
49 xilinx += PATH=$$PATH:$(XILINX)/bin/lin
50 xilinx += $(XILINX)/bin/lin/
52 remote_run = skill a.out;
53 remote_run += user_unprogram 1;
54 remote_run += user_program 1 main.bit;
55 remote_run += echo compiling;
56 remote_run += gcc test.c;
57 remote_run += echo running;
58 remote_run += ./a.out /dev/selectmap1 fleet.bin
60 verilog_files = $(shell find src -name \*.v)
61 verilog_files += $(shell find src -name \*.inc)
64 $(java) -jar fleet.jar target=fpga run
66 upload: fleet.jar build/fpga/main.bit
68 rsync -zare ssh --progress --verbose build/fpga/main.bit root@bee441.megacz.com:/var/slipway/megacz.bit
72 $(java) -jar fleet.jar target=fpga bitfile=megacz.bit test ships/*.ship tests
74 $(java) -jar fleet.jar target=fpga bitfile=megacz.bit test ships/*.ship tests
76 build/fpga/fabric.v: $(verilog_files) src/edu/berkeley/fleet/fpga/Fpga.java
79 $(java) $(cp) edu.berkeley.fleet.fpga.Fpga > build/fpga/fabric.v
81 build/fpga/main.bit: build/fpga/fabric.v $(verilog_files)
83 cp src/edu/berkeley/fleet/fpga/* build/fpga
84 for A in `find ships -name \*.ship`;\
85 do java -cp build/class edu.berkeley.fleet.Main target=fpga expand $$A;\
87 $(java) -cp fleet.jar edu.berkeley.fleet.fpga.Generator build/fpga/
88 rsync -zare ssh --progress --delete --verbose ./ ${host}:${remote_dir}
89 time ssh ${host} 'make -C ${remote_dir} synth XILINX=${remote_xilinx}'
90 scp ${host}:${remote_dir}/build/fpga/main.bit build/fpga/
93 cd build/fpga; ln -sf ../src/edu/berkeley/fleet/fpga/* .
94 cd build/fpga; echo work > main.lso
95 cd build/fpga; for A in *.v; do echo verilog work \""$$A"\"; done > main.prj
96 cd build/fpga; mkdir -p tmp
97 cd build/fpga; mkdir -p xst
98 rm -rf build/fpga/_ngo
99 $(xilinx)xst -intstyle xflow -ifn main.xst -ofn main.syr < main.xst
100 $(xilinx)ngdbuild -intstyle xflow -dd _ngo -nt timestamp -uc main.ucf -p xc2vp70-ff1704-6 main.ngc main.ngd
101 $(xilinx)map -intstyle xflow -p xc2vp70-ff1704-6 -cm speed -l -pr b -k 4 -c 100 -tx off -o main_map.ncd main.ngd main.pcf
102 $(xilinx)par -w -intstyle xflow -pl std -ol std -t 99 main_map.ncd main.ncd main.pcf
103 $(xilinx)bitgen -intstyle xflow -d -f main.ut main.ncd
104 # $(xilinx)trce -intstyle xflow -e 3 -l 3 -s 6 -xml main main.ncd -o main.twr main.pcf
108 test: fleet.jar; $(java) -jar fleet.jar test ships/*.ship tests
109 testfpga: fleet.jar; $(java) -jar fleet.jar target=fpga test ships/*.ship tests
112 $(java) -cp fleet.jar edu.berkeley.fleet.fpga.Generator build/fpga/
114 ## Manual ####################################################################################
116 svgs = $(shell find doc -name \*.svg)
118 DISPLAY= /Applications/Inkscape.app/Contents//Resources/bin/inkscape -z --export-area-drawing $^ --export-eps=$@
121 epstopdf $^ --outfile=$@
123 manual: archmanual toolmanual
125 archmanual: fleet.jar $(svgs:%.svg=%.pdf)
126 $(java) -jar fleet.jar doc
127 cd .tmp; ln -sf ../doc/*.bib .
128 cd .tmp; TEXINPUTS=$$TEXINPUTS:../src/edu/berkeley/fleet/assembler/:../doc/ pdflatex FleetTwo.Manual.tex
129 cd .tmp; for A in *.mp; do mpost --tex=latex $$A; done
130 cd .tmp; TEXINPUTS=$$TEXINPUTS:../src/edu/berkeley/fleet/assembler/:../doc/ pdflatex FleetTwo.Manual.tex
131 open .tmp/FleetTwo.Manual.pdf
132 toolmanual: fleet.jar $(svgs:%.svg=%.pdf)
133 $(java) -jar fleet.jar doc
134 cd .tmp; ln -sf ../doc/*.bib .
135 cd .tmp; TEXINPUTS=$$TEXINPUTS:../src/edu/berkeley/fleet/assembler/:../doc/ pdflatex toolchain.tex
136 open .tmp/toolchain.pdf
138 ## API docs ####################################################################################
143 -classpath lib/edu.berkeley.sbp.jar \
145 -windowtitle "Fleet API" \
147 -header "<b>Fleet</b><br>API" \
152 -stylesheetfile doc/javadoc.css \
155 edu.berkeley.fleet.api \
156 edu.berkeley.fleet.assembler
158 ## Misc ####################################################################################
161 rm -rf fleet.jar build
163 ## Dist ####################################################################################
167 darcs push /afs/research.cs.berkeley.edu/class/fleet/website/repos/fleet/
168 darcs get . --repo-name=fleet-`date +%d.%h.%y`
169 make -C fleet-`date +%d.%h.%y` fleet.jar
170 rm -rf fleet-`date +%d.%h.%y`/build
171 echo 'http://research.cs.berkeley.edu/class/fleet/repos/fleet/' > \
172 fleet-`date +%d.%h.%y`/_darcs/prefs/defaultrepo
173 tar cvzf fleet-`date +%d.%h.%y`.tgz fleet-`date +%d.%h.%y`
174 rm -rf fleet-`date +%d.%h.%y`
175 mv fleet-`date +%d.%h.%y`.tgz /afs/research.cs.berkeley.edu/class/fleet/website/files/
178 @echo http://research.cs.berkeley.edu/class/fleet/files/fleet-`date +%d.%h.%y`.tgz
183 # you'll probably want to change this line
184 ghc = /usr/local/brian/ghc/compiler/ghc-inplace
186 ghc += -fglasgow-exts -fallow-undecidable-instances -fallow-overlapping-instances -cpp
187 ghc += -i$(shell pwd)/build/hi/ -hidir $(shell pwd)/build/hi/ -odir $(shell pwd)/build/class/
190 mkdir -p build/hi build/class
191 cd lib; $(ghc) -c -java SBP.lhs
192 cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags) -java Util.lhs
193 cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags) -java Fleet.lhs
194 cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags) -java Types.lhs
195 cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags) -java Compile.lhs
196 cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags) -java Main.lhs
197 $(java) -cp build/class:lib/HSbase.jar:lib/HSrts.jar:lib/HSstm.jar:fleet.jar Main