Makefile

   1
   2 ## Fleeterpreter ##############################################################################
   3
   4 cp                = -cp fleet.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 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;\
  22           done
  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 ../../$@ .
  26
  27
  28 ## Fpga ####################################################################################
  29
  30 #host = sting.eecs.berkeley.edu
  31 #remote_xilinx = /opt/ISE81/
  32 #remote_dir = fleet/
  33
  34 host = intel2950-4.eecs.berkeley.edu
  35 remote_xilinx = /scratch/megacz/xilinx/
  36 remote_dir = /scratch/megacz/fleet/
  37
  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
  41
  42 #host = mm2.millennium.berkeley.edu
  43 #remote_xilinx = /scratch/megacz/xilinx/
  44 #remote_dir = /scratch/megacz/fleet/
  45
  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/
  51
  52 device = xc4vfx60-ff1152
  53
  54 remote_run =  skill a.out;
  55 remote_run += user_unprogram 1;
  56 remote_run += user_program 1 main.bit;
  57 remote_run += echo compiling;
  58 remote_run += gcc test.c;
  59 remote_run += echo running;
  60 remote_run +=  ./a.out /dev/selectmap1 fleet.bin
  61
  62 verilog_files  = $(shell find src -name \*.v)
  63 verilog_files += $(shell find src -name \*.inc)
  64
  65 runfpga: fleet.jar
  66         $(java) -jar fleet.jar target=fpga run
  67
  68 program: upload
  69         ssh root@goliath.megacz.com 'cd /afs/megacz.com/work/ml410/; ./program.sh ./main.bit'
  70
  71 upload: fleet.jar build/fpga/main.bit
  72         mkdir -p build
  73         rsync -zare ssh --progress --verbose build/fpga/main.bit root@goliath.megacz.com:/afs/megacz.com/work/ml410/
  74
  75 uploadtest:
  76         make upload
  77         $(java) -jar fleet.jar target=fpga bitfile=megacz.bit test tests ships/*.ship
  78 testmegacz:
  79         $(java) -jar fleet.jar target=fpga bitfile=megacz.bit test tests ships/*.ship
  80
  81 build/fpga/fabric.v: $(verilog_files) src/edu/berkeley/fleet/fpga/Fpga.java
  82         make fleet.jar
  83         mkdir -p build/fpga
  84         $(java) $(cp) edu.berkeley.fleet.fpga.Fpga > build/fpga/fabric.v
  85
  86 build/fpga/main.bit: build/fpga/fabric.v $(verilog_files)
  87         make fleet.jar
  88         cp src/edu/berkeley/fleet/fpga/* build/fpga
  89         for A in `find ships -name \*.ship`;\
  90           do java -cp build/class edu.berkeley.fleet.Main target=fpga expand $$A;\
  91           done
  92         $(java) -cp fleet.jar edu.berkeley.fleet.fpga.Generator build/fpga/
  93         rsync -zare ssh --progress --delete --verbose ./ ${host}:${remote_dir}
  94         time ssh ${host} 'make -C ${remote_dir} synth XILINX=${remote_xilinx}'
  95         scp ${host}:${remote_dir}/build/fpga/main.bit build/fpga/
  96
  97 synth:
  98         cd build/fpga; ln -sf ../../src/edu/berkeley/fleet/fpga/* .
  99         cd build/fpga; echo work > main.lso
 100         cd build/fpga; for A in *.v; do echo verilog work \""$$A"\"; done > main.prj
 101         cd build/fpga; mkdir -p tmp
 102         cd build/fpga; mkdir -p xst
 103         rm -rf build/fpga/_ngo
 104         $(xilinx)xst -intstyle xflow -ifn main.xst -ofn main.syr < main.xst
 105         $(xilinx)ngdbuild -aul -intstyle xflow -dd _ngo -nt timestamp -uc main.ucf -p $(device) main.ngc main.ngd
 106         $(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
 107         $(xilinx)par -w -intstyle xflow -pl std -ol std -t 99 main_map.ncd main.ncd main.pcf
 108         $(xilinx)bitgen -intstyle xflow -d -f main.ut main.ncd
 109 #       $(xilinx)trce -intstyle xflow -e 3 -l 3 -s 6 -xml main main.ncd -o main.twr main.pcf
 110
 111
 112
 113 test:     fleet.jar; $(java) -jar fleet.jar             test tests ships/*.ship
 114 testfpga: fleet.jar; $(java) -jar fleet.jar target=fpga test tests ships/*.ship
 115
 116 generate: fleet.jar
 117         $(java) -cp fleet.jar edu.berkeley.fleet.fpga.Generator build/fpga/
 118
 119 ## Manual ####################################################################################
 120
 121 svgs    = $(shell find doc -name \*.svg)
 122 %.eps: %.svg
 123         DISPLAY= /Applications/Inkscape.app/Contents//Resources/bin/inkscape  -z --export-area-drawing $^ --export-eps=$@
 124
 125 %.pdf: %.eps
 126         epstopdf $^ --outfile=$@
 127
 128 manual: archmanual toolmanual
 129
 130 archmanual: fleet.jar $(svgs:%.svg=%.pdf)
 131         $(java) -jar fleet.jar doc
 132         cd .tmp; ln -sf ../doc/*.bib .
 133         cd .tmp; TEXINPUTS=$$TEXINPUTS:../src/edu/berkeley/fleet/assembler/:../doc/ pdflatex FleetTwo.Manual.tex
 134         cd .tmp; for A in *.mp; do mpost --tex=latex $$A; done
 135         cd .tmp; TEXINPUTS=$$TEXINPUTS:../src/edu/berkeley/fleet/assembler/:../doc/ pdflatex FleetTwo.Manual.tex
 136         open .tmp/FleetTwo.Manual.pdf
 137 toolmanual: fleet.jar $(svgs:%.svg=%.pdf)
 138         $(java) -jar fleet.jar doc
 139         cd .tmp; ln -sf ../doc/*.bib .
 140         cd .tmp; TEXINPUTS=$$TEXINPUTS:../src/edu/berkeley/fleet/assembler/:../doc/ pdflatex toolchain.tex
 141         open .tmp/toolchain.pdf
 142
 143 ## API docs ####################################################################################
 144
 145 javadoc:
 146         mkdir -p doc/api
 147         javadoc \
 148                 -classpath lib/edu.berkeley.sbp.jar \
 149                 -linksource \
 150                 -windowtitle "Fleet API" \
 151                 -sourcepath src \
 152                 -header "<b>Fleet</b><br>API" \
 153                 -public \
 154                 -notree \
 155                 -noindex \
 156                 -nonavbar \
 157                 -stylesheetfile doc/javadoc.css \
 158                 -noqualifier all \
 159                 -d doc/api \
 160                 edu.berkeley.fleet.api \
 161                 edu.berkeley.fleet.assembler
 162
 163 ## Misc ####################################################################################
 164
 165 clean:
 166         rm -rf fleet.jar build
 167
 168 ## Dist ####################################################################################
 169
 170 dist:
 171         darcs record
 172         darcs push /afs/research.cs.berkeley.edu/class/fleet/website/repos/fleet/
 173         darcs get . --repo-name=fleet-`date +%d.%h.%y`
 174         make -C fleet-`date +%d.%h.%y` fleet.jar
 175         rm -rf fleet-`date +%d.%h.%y`/build
 176         echo 'http://research.cs.berkeley.edu/class/fleet/repos/fleet/' > \
 177           fleet-`date +%d.%h.%y`/_darcs/prefs/defaultrepo
 178         tar cvzf fleet-`date +%d.%h.%y`.tgz fleet-`date +%d.%h.%y`
 179         rm -rf fleet-`date +%d.%h.%y`
 180         mv fleet-`date +%d.%h.%y`.tgz /afs/research.cs.berkeley.edu/class/fleet/website/files/
 181         @echo
 182         @echo
 183         @echo   http://research.cs.berkeley.edu/class/fleet/files/fleet-`date +%d.%h.%y`.tgz
 184         @echo
 185         @echo
 186
 187
 188 # you'll probably want to change this line
 189 ghc  = /usr/local/brian/ghc/compiler/ghc-inplace
 190
 191 ghc += -fglasgow-exts -fallow-undecidable-instances -fallow-overlapping-instances -cpp
 192 ghc += -i$(shell pwd)/build/hi/ -hidir $(shell pwd)/build/hi/ -odir $(shell pwd)/build/class/
 193
 194 f0: fleet.jar
 195         mkdir -p build/hi build/class
 196         cd lib;                        $(ghc) -c -java SBP.lhs
 197         cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags)    -java Util.lhs
 198         cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags)    -java Fleet.lhs
 199         cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags)    -java Types.lhs
 200         cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags)    -java Compile.lhs
 201         cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags)    -java Main.lhs
 202         $(java) -cp build/class:lib/HSbase.jar:lib/HSrts.jar:lib/HSstm.jar:fleet.jar Main
 203