store .ship files in fleet.jar
[fleet.git] / Makefile
1
2 ## Fleeterpreter ##############################################################################
3
4 cp                = -cp fleet.jar:lib/RXTXcomm.jar
5 java              = java -Xmx500m
6
7 run: fleet.jar; $(java) $(cp) $(interpreter_class)
8
9 ifeq ($(shell uname -o 2>/dev/null),Cygwin)
10 ps=\;
11 else
12 ps=:
13 endif
14
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;\
24           done
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 .
28
29
30 ## Fpga ####################################################################################
31
32 host = intel2950-5.eecs.berkeley.edu
33 remote_ise = /tools/xilinx/ISE9.1i_lin
34 remote_edk = /tools/xilinx/EDK9.1i
35 remote_dir = /scratch/megacz/fleet/
36
37 #host = mm2.millennium.berkeley.edu
38 #remote_ise = /scratch/megacz/xilinx/ise/
39 #remote_edk = /scratch/megacz/xilinx/edk/
40 #remote_dir = /scratch/megacz/fleet/
41
42
43 xilinx =  cd build/fpga;
44 xilinx += LD_LIBRARY_PATH=$$LD_LIBRARY_PATH:$(remote_ise)/bin/lin:$(remote_edk)/bin/lin
45 xilinx += PATH=$$PATH:$(remote_ise)/bin/lin:$(remote_edk)/bin/lin
46 xilinx += XST_VERSION=9.2i
47 xilinx += XILINX=$(remote_ise)
48 xilinx += XIL_XST_HIDEMESSAGES=hdl_and_low_levels
49 xilinx += XILINX_EDK=$(remote_edk)
50
51 xilinx_ise = $(xilinx) $(remote_ise)/bin/lin/
52 xilinx_edk = $(xilinx) $(remote_edk)/bin/lin/
53
54 speed_grade = 11
55 device = xc4vfx60ff1152-${speed_grade}
56 #device = xc2vp70-7ff1704
57
58 upload: fleet.jar build/fpga/main.bit
59         mkdir -p build
60         chmod +x misc/program.sh
61         rsync -are ssh --progress --verbose ./ root@goliath:fleet/
62
63 build/fpga/main.bit: $(java_files) $(ship_files)
64         make fleet.jar
65         mkdir -p build/fpga
66         $(java) $(cp) edu.berkeley.fleet.fpga.Fpga build/fpga/
67         cp src/edu/berkeley/fleet/fpga/* build/fpga || true
68         for A in `find ships -name \*.ship`;\
69           do java -cp build/class edu.berkeley.fleet.Main target=fpga expand $$A;\
70           done
71         rsync -zare ssh --progress --delete --verbose ./ ${host}:${remote_dir}
72         time ssh ${host} 'make -C ${remote_dir} synth XILINX=${remote_ise} remote_ise=${remote_ise} remote_edk=${remote_edk}'
73         scp ${host}:${remote_dir}/build/fpga/main.bit build/fpga/
74
75 pcore = ${remote_edk}/hw/XilinxProcessorIPLib/pcores
76 synth:
77         cd build/fpga; ln -sf ../../src/edu/berkeley/fleet/fpga/* .
78         cd build/fpga; ln -sf ../../src/edu/berkeley/fleet/fpga/mem/* .
79         rm -f build/fpga/main.lso
80         echo work                        >> build/fpga/main.lso
81         rm -f build/fpga/main.prj
82         cd build/fpga; for A in *.v;   do echo verilog work \""$$A"\"; done >> main.prj
83         cd build/fpga; touch main.ini
84         cd build/fpga; mkdir -p tmp
85         cd build/fpga; mkdir -p xst
86         rm -rf build/fpga/_ngo
87         skill xst_original
88
89         rm -f build/fpga/main.xst
90         echo "set -tmpdir ./tmp" >> build/fpga/main.xst
91         echo "set -xsthdpdir ./xst" >> build/fpga/main.xst
92         echo "set -xsthdpini main.ini" >> build/fpga/main.xst
93         echo -n "run" >> build/fpga/main.xst
94         echo -n " -ifn main.prj" >> build/fpga/main.xst
95         echo -n " -ifmt mixed" >> build/fpga/main.xst
96         echo -n " -ofn main" >> build/fpga/main.xst
97         echo -n " -ofmt NGC" >> build/fpga/main.xst
98         echo -n " -p xc4vfx60-11ff1152" >> build/fpga/main.xst
99         echo -n " -top main" >> build/fpga/main.xst
100         echo -n " -opt_mode area" >> build/fpga/main.xst
101         echo -n " -opt_level 2" >> build/fpga/main.xst
102         echo -n " -iuc NO" >> build/fpga/main.xst
103         echo -n " -lso main.lso" >> build/fpga/main.xst
104         echo -n " -keep_hierarchy NO" >> build/fpga/main.xst
105         echo -n " -rtlview Yes" >> build/fpga/main.xst
106         echo -n " -glob_opt AllClockNets" >> build/fpga/main.xst
107         echo -n " -read_cores YES" >> build/fpga/main.xst
108         echo -n " -write_timing_constraints NO" >> build/fpga/main.xst
109         echo -n " -cross_clock_analysis YES" >> build/fpga/main.xst
110         echo -n " -hierarchy_separator /" >> build/fpga/main.xst
111         echo -n " -bus_delimiter <>" >> build/fpga/main.xst
112         echo -n " -case maintain" >> build/fpga/main.xst
113         echo -n " -slice_utilization_ratio 100" >> build/fpga/main.xst
114         echo -n " -verilog2001 YES" >> build/fpga/main.xst
115         echo -n " -fsm_extract Yes" >> build/fpga/main.xst
116         echo -n " -fsm_encoding Auto" >> build/fpga/main.xst
117         echo -n " -safe_implementation No" >> build/fpga/main.xst
118         echo -n " -fsm_style lut" >> build/fpga/main.xst
119         echo -n " -ram_extract Yes" >> build/fpga/main.xst
120         echo -n " -ram_style Auto" >> build/fpga/main.xst
121         echo -n " -rom_extract Yes" >> build/fpga/main.xst
122         echo -n " -mux_style Auto" >> build/fpga/main.xst
123         echo -n " -decoder_extract YES" >> build/fpga/main.xst
124         echo -n " -priority_extract YES" >> build/fpga/main.xst
125         echo -n " -shreg_extract YES" >> build/fpga/main.xst
126         echo -n " -shift_extract YES" >> build/fpga/main.xst
127         echo -n " -xor_collapse YES" >> build/fpga/main.xst
128         echo -n " -rom_style Auto" >> build/fpga/main.xst
129         echo -n " -mux_extract YES" >> build/fpga/main.xst
130         echo -n " -resource_sharing YES" >> build/fpga/main.xst
131         echo -n " -mult_style auto" >> build/fpga/main.xst
132         echo -n " -iobuf YES" >> build/fpga/main.xst
133         echo -n " -max_fanout 10000" >> build/fpga/main.xst
134         echo -n " -bufg 1" >> build/fpga/main.xst
135         echo -n " -register_duplication YES" >> build/fpga/main.xst
136         echo -n " -register_balancing Yes" >> build/fpga/main.xst
137         echo -n " -slice_packing Yes" >> build/fpga/main.xst
138         echo -n " -optimize_primitives Yes" >> build/fpga/main.xst
139         echo -n " -tristate2logic Yes" >> build/fpga/main.xst
140         echo -n " -use_clock_enable Yes" >> build/fpga/main.xst
141         echo -n " -use_sync_set Yes" >> build/fpga/main.xst
142         echo -n " -use_sync_reset Yes" >> build/fpga/main.xst
143         echo -n " -iob auto" >> build/fpga/main.xst
144         echo -n " -equivalent_register_removal YES" >> build/fpga/main.xst
145         echo -n " -slice_utilization_ratio_maxmargin 5" >> build/fpga/main.xst
146         echo >> build/fpga/main.xst
147
148         rm -f build/fpga/main.ut
149         echo '-w' >> build/fpga/main.ut
150         echo '-g CclkPin:PULLUP' >> build/fpga/main.ut
151         echo '-g TdoPin:PULLNONE' >> build/fpga/main.ut
152         echo '-g M1Pin:PULLDOWN' >> build/fpga/main.ut
153         echo '-g DonePin:PULLUP' >> build/fpga/main.ut
154         echo '-g DriveDone:No' >> build/fpga/main.ut
155         echo '-g StartUpClk:JTAGCLK' >> build/fpga/main.ut
156         echo '-g DONE_cycle:4' >> build/fpga/main.ut
157         echo '-g GTS_cycle:5' >> build/fpga/main.ut
158         echo '-g M0Pin:PULLUP' >> build/fpga/main.ut
159         echo '-g M2Pin:PULLUP' >> build/fpga/main.ut
160         echo '-g ProgPin:PULLUP' >> build/fpga/main.ut
161         echo '-g TckPin:PULLUP' >> build/fpga/main.ut
162         echo '-g TdiPin:PULLUP' >> build/fpga/main.ut
163         echo '-g TmsPin:PULLUP' >> build/fpga/main.ut
164         echo '-g DonePipe:No' >> build/fpga/main.ut
165         echo '-g GWE_cycle:6' >> build/fpga/main.ut
166         echo '-g LCK_cycle:NoWait' >> build/fpga/main.ut
167         echo '-g Security:NONE' >> build/fpga/main.ut
168         echo '-g Persist:No' >> build/fpga/main.ut
169
170         $(xilinx_ise)xst -intstyle xflow -ifn main.xst -ofn main.syr < main.xst
171         $(xilinx_ise)ngdbuild -aul -intstyle xflow -dd _ngo -nt timestamp -uc main.ucf -p $(device) main.ngc main.ngd
172         $(xilinx_ise)map -cm area -intstyle xflow -p $(device) -pr b -ol high -o main_map.ncd main.ngd main.pcf
173         $(xilinx_ise)par -w -intstyle xflow -t 99 -pl high -rl high main_map.ncd main.ncd main.pcf
174         $(xilinx_ise)bitgen -intstyle xflow -f main.ut main.ncd
175 #       $(xilinx_ise)trce -intstyle xflow -e 3 -l 3 -s ${speed_grade} -xml main main.ncd -o main.twr main.pcf
176         $(xilinx_edk)xmd -tcl $(remote_edk)/data/xmd/genace.tcl -jprog -hw main.bit -board ml410 -ace mainx.ace
177         mv build/fpga/mainx.ace build/fpga/main.ace   # genace throws a fit if the filename prefix is the same?
178
179
180 runserver: fleet.jar
181         java -Djava.library.path=lib -cp fleet.jar:lib/RXTXcomm.jar edu.berkeley.fleet.fpga.Server
182
183 test:     fleet.jar; $(java) -jar fleet.jar             test ships/*.ship tests
184 testfpga: fleet.jar; $(java) -jar fleet.jar target=fpga test ships/*.ship tests
185
186 ## Manual ####################################################################################
187
188 svgs    = $(shell find doc -name \*.svg)
189 %.eps: %.svg
190         DISPLAY= /Applications/Inkscape.app/Contents//Resources/bin/inkscape  -z --export-area-drawing $^ --export-eps=$@
191
192 %.pdf: %.eps
193         epstopdf $^ --outfile=$@
194
195 manual: archmanual toolmanual
196
197 archmanual: fleet.jar $(svgs:%.svg=%.pdf)
198         $(java) -jar fleet.jar doc
199         cd .tmp; ln -sf ../doc/*.bib .
200         cd .tmp; TEXINPUTS=$$TEXINPUTS:../src/edu/berkeley/fleet/assembler/:../doc/ pdflatex FleetTwo.Manual.tex
201         cd .tmp; for A in *.mp; do mpost --tex=latex $$A; done
202         cd .tmp; TEXINPUTS=$$TEXINPUTS:../src/edu/berkeley/fleet/assembler/:../doc/ pdflatex FleetTwo.Manual.tex
203         open .tmp/FleetTwo.Manual.pdf
204 toolmanual: fleet.jar $(svgs:%.svg=%.pdf)
205         $(java) -jar fleet.jar doc
206         cd .tmp; ln -sf ../doc/*.bib .
207         cd .tmp; TEXINPUTS=$$TEXINPUTS:../src/edu/berkeley/fleet/assembler/:../doc/ pdflatex toolchain.tex
208         open .tmp/toolchain.pdf
209
210 ## API docs ####################################################################################
211
212 javadoc:
213         javadoc \
214                 -linksource \
215                 -windowtitle "FleetCode API Documentation" \
216                 -sourcepath src \
217                 -header "<b>FleetCode API Documentation</b><br>" \
218                 -public \
219                 -notree \
220                 -nonavbar \
221                 -noqualifier all \
222                 -stylesheetfile doc/javadoc.css \
223                 -d /afs/research.cs.berkeley.edu/class/fleet/website/code/javadoc/ \
224                 edu.berkeley.fleet.api
225         javadoc \
226                 -linksource \
227                 -windowtitle "FleetCode API Documentation" \
228                 -sourcepath src \
229                 -header "<b>FleetCode API Documentation</b><br>" \
230                 -public \
231                 -notree \
232                 -nonavbar \
233                 -noqualifier all \
234                 -stylesheetfile doc/javadoc.css \
235                 -d /afs/research.cs.berkeley.edu/class/fleet/website/code/javadoc-private/ \
236                 `find src/edu/berkeley/fleet -name \*.java`
237         open http://fleet.cs.berkeley.edu/code/javadoc/
238         open http://fleet.cs.berkeley.edu/code/javadoc-private/
239
240 ## Misc ####################################################################################
241
242 clean:
243         rm -rf fleet.jar build
244
245 ## Dist ####################################################################################
246
247 #dist:
248 #       darcs record
249 #       darcs push /afs/research.cs.berkeley.edu/class/fleet/website/repos/fleet/
250 #       darcs get . --repo-name=fleet-`date +%d.%h.%y`
251 #       make -C fleet-`date +%d.%h.%y` fleet.jar
252 #       rm -rf fleet-`date +%d.%h.%y`/build
253 #       echo 'http://research.cs.berkeley.edu/class/fleet/repos/fleet/' > \
254 #         fleet-`date +%d.%h.%y`/_darcs/prefs/defaultrepo
255 #       tar cvzf fleet-`date +%d.%h.%y`.tgz fleet-`date +%d.%h.%y`
256 #       rm -rf fleet-`date +%d.%h.%y`
257 #       mv fleet-`date +%d.%h.%y`.tgz /afs/research.cs.berkeley.edu/class/fleet/website/files/
258 #       @echo
259 #       @echo
260 #       @echo   http://research.cs.berkeley.edu/class/fleet/files/fleet-`date +%d.%h.%y`.tgz
261 #       @echo
262 #       @echo
263 #
264
265 dist: fleet.jar
266         darcs dist -d fleet
267         mv fleet.tar.gz /afs/research.cs.berkeley.edu/class/fleet/website/code/snapshots/fleet-`date +%Y.%m.%d`.tgz
268         mkdir -p .build
269         rm -f lib/suncvs.jar
270         cd .build; for A in ../fleet.jar ../lib/*.jar; do jar xvf $$A; done
271         cd .build; jar cvf /afs/research.cs.berkeley.edu/class/fleet/website/code/snapshots/fleet-`date +%Y.%m.%d`.jar .
272         rm -rf .build
273         echo
274         echo http://fleet.cs.berkeley.edu/code/snapshots/fleet-`date +%Y.%m.%d`.jar 
275         echo
276
277 # you'll probably want to change this line
278 ghc  = /usr/local/brian/ghc/compiler/ghc-inplace
279
280 ghc += -fglasgow-exts -fallow-undecidable-instances -fallow-overlapping-instances -cpp 
281 ghc += -i$(shell pwd)/build/hi/ -hidir $(shell pwd)/build/hi/ -odir $(shell pwd)/build/class/
282
283 f0: fleet.jar
284         mkdir -p build/hi build/class
285         cd lib;                        $(ghc) -c -java SBP.lhs
286         cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags)    -java Util.lhs
287         cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags)    -java Fleet.lhs
288         cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags)    -java Types.lhs
289         cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags)    -java Compile.lhs
290         cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags)    -java Main.lhs
291         $(java) -cp build/class:lib/HSbase.jar:lib/HSrts.jar:lib/HSstm.jar:fleet.jar Main
292
293
294 ## Targets below are for integration with Sun-Proprietary Marina Test Chip ##############################
295
296 cleansuncvs:
297         rm -rf lib/suncvs.jar suncvs
298
299 lib/suncvs.jar: fleet.jar suncvs/marina suncvs/test
300         rm -rf suncvs/test/manuals
301         mkdir -p suncvs/build
302         cd suncvs; javac -cp ../fleet.jar:test/javamake.jar:test/jcommon.jar:test/jfreechart.jar -d build `find . -name \*.java`
303         cd suncvs/build; jar cvf ../../lib/suncvs.jar .
304         cd suncvs/test; jar uvf ../../lib/suncvs.jar .
305
306 #sun_server = frehley
307 sun_server = simmons
308
309 runtest: fleet.jar
310         rm lib/suncvs.jar; make lib/suncvs.jar
311         rm -f suncvs/marina/testSims/isolatedInDock.spi.run
312         ssh ${sun_server} 'skill nanosim'
313         rsync -are ssh --delete --progress --verbose ./ ${sun_server}:~/fleet/
314         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 3018'
315
316 electric:
317         rsync -are ssh --progress --verbose ${sun_server}:fleet/suncvs/marina/testSims/marina.spi.out ~/marina.spi.out
318         java -Xmx900m -jar /Applications/electric.jar suncvs/marina/electric/marinaL.jelib
319
320 suncvs/test:
321         mkdir -p suncvs
322         cd suncvs; cvs -d ${sun_server}:/import/async/cad/cvs co test
323
324 suncvs/marina:
325         mkdir -p suncvs
326         cd suncvs; cvs -d ${sun_server}:/import/async/cad/cvs co marina
327
328
329 syncspi:
330         rsync -are ssh --progress --verbose frehley:fleet/suncvs/marina/testSims/marina.spi.out ~/marina.spi.out