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 fleet.jar: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 jar cmf build/class/manifest $@ ships -C build/class .
30 ## Fpga ####################################################################################
32 # 32Gb ram, 4-core. small-config:1019s large-config:2530s
33 host = intel2950-5.eecs.berkeley.edu
35 # 128Gb ram, 2x4-core. small-config:1189s large-config:3065s
36 #host = amdr905-1.eecs.berkeley.edu
38 remote_ise = /tools/xilinx/10.1/ISE
39 remote_edk = /tools/xilinx/10.1/EDK
41 #remote_ise = /tools/xilinx/ISE9.1i_lin
42 #remote_edk = /tools/xilinx/EDK9.1i
44 #remote_dir = /scratch/megacz/fleet/
45 #remote_dir = /vol/hitz/home/megacz/fleet/
46 remote_dir = /tmp/megacz/fleet/
48 #host = mm2.millennium.berkeley.edu
49 #remote_ise = /scratch/megacz/xilinx/ise/
50 #remote_edk = /scratch/megacz/xilinx/edk/
51 #remote_dir = /scratch/megacz/fleet/
54 xilinx = cd build/fpga;
55 xilinx += LD_LIBRARY_PATH=$$LD_LIBRARY_PATH:$(remote_ise)/bin/lin:$(remote_edk)/bin/lin
56 xilinx += PATH=$$PATH:$(remote_ise)/bin/lin:$(remote_edk)/bin/lin
57 #xilinx += XST_VERSION=9.2i
58 xilinx += XILINX=$(remote_ise)
59 xilinx += XIL_XST_HIDEMESSAGES=hdl_and_low_levels
60 xilinx += XILINX_EDK=$(remote_edk)
62 xilinx_ise = $(xilinx) $(remote_ise)/bin/lin/
63 xilinx_edk = $(xilinx) $(remote_edk)/bin/lin/
81 device = ${part}${package}-${speed_grade}
83 upload: fleet.jar build/fpga/main.bit
85 chmod +x misc/program.sh
86 rsync -are ssh --progress --verbose ./ root@goliath:fleet/
88 build/fpga/main.bit: $(java_files) $(ship_files)
91 $(java) $(cp) edu.berkeley.fleet.fpga.Fpga build/fpga/
92 cp src/edu/berkeley/fleet/fpga/* build/fpga || true
93 for A in `find ships -name \*.ship`;\
94 do java -cp build/class edu.berkeley.fleet.Main target=fpga expand $$A;\
96 ssh ${host} 'mkdir -p ${remote_dir}'
97 rsync -zare ssh --progress --delete --verbose ./ ${host}:${remote_dir}
98 time ssh ${host} 'make -C ${remote_dir} synth XILINX=${remote_ise} remote_ise=${remote_ise} remote_edk=${remote_edk}'
99 scp ${host}:${remote_dir}/build/fpga/main.bit build/fpga/
101 pcore = ${remote_edk}/hw/XilinxProcessorIPLib/pcores
105 cd build/fpga; ln -sf ../../src/edu/berkeley/fleet/fpga/* .
106 cd build/fpga; ln -sf ../../src/edu/berkeley/fleet/fpga/mem/* .
107 cd build/fpga; ln -sf ../../src/edu/berkeley/fleet/fpga/greg/* .
108 rm -f build/fpga/main.lso
109 echo work >> build/fpga/main.lso
110 rm -f build/fpga/main.prj
111 cd build/fpga; for A in *.v; do echo verilog work \""$$A"\"; done >> main.prj
112 cd build/fpga; touch main.ini
113 cd build/fpga; mkdir -p tmp
114 cd build/fpga; mkdir -p xst
115 rm -rf build/fpga/_ngo
118 rm -f build/fpga/main.xst
119 echo "set -tmpdir ./tmp" >> build/fpga/main.xst
120 echo "set -xsthdpdir ./xst" >> build/fpga/main.xst
121 echo "set -xsthdpini main.ini" >> build/fpga/main.xst
122 echo -n "run" >> build/fpga/main.xst
123 echo -n " -ifn main.prj" >> build/fpga/main.xst
124 echo -n " -ifmt mixed" >> build/fpga/main.xst
125 echo -n " -ofn main" >> build/fpga/main.xst
126 echo -n " -ofmt NGC" >> build/fpga/main.xst
127 echo -n " -p ${device}" >> build/fpga/main.xst
128 echo -n " -top main" >> build/fpga/main.xst
129 echo -n " -opt_mode area" >> build/fpga/main.xst
130 echo -n " -opt_level 2" >> build/fpga/main.xst
131 echo -n " -iuc NO" >> build/fpga/main.xst
132 echo -n " -lso main.lso" >> build/fpga/main.xst
133 echo -n " -keep_hierarchy NO" >> build/fpga/main.xst
134 echo -n " -rtlview Yes" >> build/fpga/main.xst
135 echo -n " -glob_opt AllClockNets" >> build/fpga/main.xst
136 echo -n " -read_cores YES" >> build/fpga/main.xst
137 echo -n " -write_timing_constraints NO" >> build/fpga/main.xst
138 echo -n " -cross_clock_analysis YES" >> build/fpga/main.xst
139 echo -n " -hierarchy_separator /" >> build/fpga/main.xst
140 echo -n " -bus_delimiter <>" >> build/fpga/main.xst
141 echo -n " -case maintain" >> build/fpga/main.xst
142 echo -n " -slice_utilization_ratio 100" >> build/fpga/main.xst
143 echo -n " -verilog2001 YES" >> build/fpga/main.xst
144 echo -n " -fsm_extract Yes" >> build/fpga/main.xst
145 echo -n " -fsm_encoding Auto" >> build/fpga/main.xst
146 echo -n " -safe_implementation No" >> build/fpga/main.xst
147 echo -n " -fsm_style lut" >> build/fpga/main.xst
148 echo -n " -ram_extract Yes" >> build/fpga/main.xst
149 echo -n " -ram_style Auto" >> build/fpga/main.xst
150 echo -n " -rom_extract Yes" >> build/fpga/main.xst
151 echo -n " -mux_style Auto" >> build/fpga/main.xst
152 echo -n " -decoder_extract YES" >> build/fpga/main.xst
153 echo -n " -priority_extract YES" >> build/fpga/main.xst
154 echo -n " -shreg_extract YES" >> build/fpga/main.xst
155 echo -n " -shift_extract YES" >> build/fpga/main.xst
156 echo -n " -xor_collapse YES" >> build/fpga/main.xst
157 echo -n " -rom_style Auto" >> build/fpga/main.xst
158 echo -n " -mux_extract YES" >> build/fpga/main.xst
159 echo -n " -resource_sharing YES" >> build/fpga/main.xst
160 echo -n " -mult_style auto" >> build/fpga/main.xst
161 echo -n " -iobuf YES" >> build/fpga/main.xst
162 echo -n " -max_fanout 10000" >> build/fpga/main.xst
163 echo -n " -bufg 1" >> build/fpga/main.xst
164 echo -n " -register_duplication YES" >> build/fpga/main.xst
165 echo -n " -register_balancing Yes" >> build/fpga/main.xst
166 echo -n " -slice_packing Yes" >> build/fpga/main.xst
167 echo -n " -optimize_primitives Yes" >> build/fpga/main.xst
168 echo -n " -tristate2logic Yes" >> build/fpga/main.xst
169 echo -n " -use_clock_enable Yes" >> build/fpga/main.xst
170 echo -n " -use_sync_set Yes" >> build/fpga/main.xst
171 echo -n " -use_sync_reset Yes" >> build/fpga/main.xst
172 echo -n " -iob auto" >> build/fpga/main.xst
173 echo -n " -equivalent_register_removal YES" >> build/fpga/main.xst
174 echo -n " -slice_utilization_ratio_maxmargin 5" >> build/fpga/main.xst
175 echo >> build/fpga/main.xst
177 rm -f build/fpga/main.ut
178 echo '-w' >> build/fpga/main.ut
179 echo '-g CclkPin:PULLUP' >> build/fpga/main.ut
180 echo '-g TdoPin:PULLNONE' >> build/fpga/main.ut
181 echo '-g M1Pin:PULLDOWN' >> build/fpga/main.ut
182 echo '-g DonePin:PULLUP' >> build/fpga/main.ut
183 echo '-g DriveDone:No' >> build/fpga/main.ut
184 echo '-g StartUpClk:JTAGCLK' >> build/fpga/main.ut
185 echo '-g DONE_cycle:4' >> build/fpga/main.ut
186 echo '-g GTS_cycle:5' >> build/fpga/main.ut
187 echo '-g M0Pin:PULLUP' >> build/fpga/main.ut
188 echo '-g M2Pin:PULLUP' >> build/fpga/main.ut
189 echo '-g ProgPin:PULLUP' >> build/fpga/main.ut
190 echo '-g TckPin:PULLUP' >> build/fpga/main.ut
191 echo '-g TdiPin:PULLUP' >> build/fpga/main.ut
192 echo '-g TmsPin:PULLUP' >> build/fpga/main.ut
193 echo '-g DonePipe:No' >> build/fpga/main.ut
194 echo '-g GWE_cycle:6' >> build/fpga/main.ut
195 echo '-g LCK_cycle:NoWait' >> build/fpga/main.ut
196 echo '-g Security:NONE' >> build/fpga/main.ut
197 echo '-g Persist:No' >> build/fpga/main.ut
199 $(xilinx_ise)xst -intstyle xflow -ifn main.xst -ofn main.syr < main.xst
200 $(xilinx_ise)ngdbuild -intstyle xflow -aul -dd _ngo -nt timestamp -uc main.ucf -p $(device) main.ngc main.ngd
201 $(xilinx_ise)map -intstyle xflow -ol ${effort} -p $(device) -pr b -cm area -o main_map.ncd main.ngd main.pcf
202 $(xilinx_ise)par -intstyle xflow -ol ${effort} -w main_map.ncd main.ncd main.pcf
203 $(xilinx_ise)bitgen -intstyle xflow -f main.ut main.ncd
204 # $(xilinx_ise)trce -intstyle xflow -e 3 -l 3 -s ${speed_grade} -xml main main.ncd -o main.twr main.pcf
205 # $(xilinx_edk)xmd -tcl $(remote_edk)/data/xmd/genace.tcl -jprog -hw main.bit -board ${board} -ace mainx.ace
206 # mv build/fpga/mainx.ace build/fpga/main.ace # genace throws a fit if the filename prefix is the same?
210 java -Djava.library.path=lib -cp fleet.jar:lib/RXTXcomm.jar edu.berkeley.fleet.fpga.Server
212 test: fleet.jar; $(java) -jar fleet.jar test ships/*.ship tests
213 testfpga: fleet.jar; $(java) -jar fleet.jar target=fpga test ships/*.ship tests
215 ## Manual ####################################################################################
217 svgs = $(shell find doc -name \*.svg)
219 DISPLAY= /Applications/Inkscape.app/Contents//Resources/bin/inkscape -z --export-area-drawing $^ --export-eps=$@
222 epstopdf $^ --outfile=$@
224 manual: archmanual toolmanual
226 archmanual: fleet.jar $(svgs:%.svg=%.pdf)
227 $(java) -jar fleet.jar doc
228 cd .tmp; ln -sf ../doc/*.bib .
229 cd .tmp; TEXINPUTS=$$TEXINPUTS:../src/edu/berkeley/fleet/assembler/:../doc/ pdflatex FleetTwo.Manual.tex
230 cd .tmp; for A in *.mp; do mpost --tex=latex $$A; done
231 cd .tmp; TEXINPUTS=$$TEXINPUTS:../src/edu/berkeley/fleet/assembler/:../doc/ pdflatex FleetTwo.Manual.tex
232 open .tmp/FleetTwo.Manual.pdf
233 toolmanual: fleet.jar $(svgs:%.svg=%.pdf)
234 $(java) -jar fleet.jar doc
235 cd .tmp; ln -sf ../doc/*.bib .
236 cd .tmp; TEXINPUTS=$$TEXINPUTS:../src/edu/berkeley/fleet/assembler/:../doc/ pdflatex toolchain.tex
237 open .tmp/toolchain.pdf
239 ## API docs ####################################################################################
244 -windowtitle "FleetCode API Documentation" \
246 -header "<b>FleetCode API Documentation</b><br>" \
251 -stylesheetfile doc/javadoc.css \
252 -d /afs/research.cs.berkeley.edu/class/fleet/website/code/javadoc/ \
253 edu.berkeley.fleet.api
256 -windowtitle "FleetCode API Documentation" \
258 -header "<b>FleetCode API Documentation</b><br>" \
263 -stylesheetfile doc/javadoc.css \
264 -d /afs/research.cs.berkeley.edu/class/fleet/website/code/javadoc-private/ \
265 `find src/edu/berkeley/fleet -name \*.java`
266 open http://fleet.cs.berkeley.edu/code/javadoc/
267 open http://fleet.cs.berkeley.edu/code/javadoc-private/
269 ## Misc ####################################################################################
272 rm -rf fleet.jar build
274 ## Dist ####################################################################################
278 # darcs push /afs/research.cs.berkeley.edu/class/fleet/website/repos/fleet/
279 # darcs get . --repo-name=fleet-`date +%d.%h.%y`
280 # make -C fleet-`date +%d.%h.%y` fleet.jar
281 # rm -rf fleet-`date +%d.%h.%y`/build
282 # echo 'http://research.cs.berkeley.edu/class/fleet/repos/fleet/' > \
283 # fleet-`date +%d.%h.%y`/_darcs/prefs/defaultrepo
284 # tar cvzf fleet-`date +%d.%h.%y`.tgz fleet-`date +%d.%h.%y`
285 # rm -rf fleet-`date +%d.%h.%y`
286 # mv fleet-`date +%d.%h.%y`.tgz /afs/research.cs.berkeley.edu/class/fleet/website/files/
289 # @echo http://research.cs.berkeley.edu/class/fleet/files/fleet-`date +%d.%h.%y`.tgz
296 mv fleet.tar.gz /afs/research.cs.berkeley.edu/class/fleet/website/code/snapshots/fleet-`date +%Y.%m.%d`.tgz
299 cd .build; for A in ../fleet.jar ../lib/*.jar; do jar xvf $$A; done
300 cd .build; jar cvf /afs/research.cs.berkeley.edu/class/fleet/website/code/snapshots/fleet-`date +%Y.%m.%d`.jar .
303 echo http://fleet.cs.berkeley.edu/code/snapshots/fleet-`date +%Y.%m.%d`.jar
306 # you'll probably want to change this line
307 ghc = /usr/local/brian/ghc/compiler/ghc-inplace
309 ghc += -fglasgow-exts -fallow-undecidable-instances -fallow-overlapping-instances -cpp
310 ghc += -i$(shell pwd)/build/hi/ -hidir $(shell pwd)/build/hi/ -odir $(shell pwd)/build/class/
313 mkdir -p build/hi build/class
314 cd lib; $(ghc) -c -java SBP.lhs
315 cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags) -java Util.lhs
316 cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags) -java Fleet.lhs
317 cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags) -java Types.lhs
318 cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags) -java Compile.lhs
319 cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags) -java Main.lhs
320 $(java) -cp build/class:lib/HSbase.jar:lib/HSrts.jar:lib/HSstm.jar:fleet.jar Main
323 ## Targets below are for integration with Sun-Proprietary Marina Test Chip ##############################
326 rm -rf lib/suncvs.jar suncvs
328 lib/suncvs.jar: fleet.jar suncvs/marina suncvs/test
329 rm -rf suncvs/test/manuals
330 mkdir -p suncvs/build
331 cd suncvs; javac -cp ../fleet.jar:test/javamake.jar:test/jcommon.jar:test/jfreechart.jar -d build `find . -name \*.java`
332 cd suncvs/build; jar cvf ../../lib/suncvs.jar .
333 cd suncvs/test; jar uvf ../../lib/suncvs.jar .
336 #sun_server = simmons
339 rm lib/suncvs.jar; make lib/suncvs.jar
340 rm -f suncvs/marina/testSims/isolatedInDock.spi.run
341 ssh ${sun_server} 'skill nanosim'
342 rsync -are ssh --delete --progress --verbose ./ ${sun_server}:~/fleet/
343 ssh ${sun_server} 'export PATH=$$PATH:/proj/async/cad/linux/bin/; cd ~/fleet/suncvs/marina/testSims; ln -s ../testCode/marina.xml ../testCode/marina.spi ../testCode/cfg .; /proj/async/cad/linux/lib/jdk1.5.0_05-linux-i586/bin/java -cp $$HOME/fleet/fleet.jar:$$HOME/fleet/lib/suncvs.jar com.sun.vlsi.chips.marina.test.MarinaTest -testNum 3021'
346 rsync -are ssh --progress --verbose ${sun_server}:fleet/suncvs/marina/testSims/marina.spi.out ~/marina.spi.out
347 java -Xmx900m -jar /Applications/electric.jar suncvs/marina/electric/marinaL.jelib
351 cd suncvs; cvs -d ${sun_server}:/import/async/cad/cvs co test
355 cd suncvs; cvs -d ${sun_server}:/import/async/cad/cvs co marina
359 rsync -are ssh --progress --verbose frehley:fleet/suncvs/marina/testSims/marina.spi.out ~/marina.spi.out