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