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         cd build/class/; jar cmf manifest ../../$@ .
  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 += XILINX_EDK=$(remote_edk)
  49
  50 xilinx_ise = $(xilinx) $(remote_ise)/bin/lin/
  51 xilinx_edk = $(xilinx) $(remote_edk)/bin/lin/
  52
  53 speed_grade = 11
  54 device = xc4vfx60ff1152-${speed_grade}
  55 #device = xc2vp70-7ff1704
  56
  57 upload: fleet.jar build/fpga/main.bit
  58         mkdir -p build
  59         chmod +x misc/program.sh
  60         rsync -are ssh --progress --verbose ./ root@goliath:fleet/
  61
  62 build/fpga/main.bit: $(java_files) $(ship_files)
  63         make fleet.jar
  64         mkdir -p build/fpga
  65         $(java) $(cp) edu.berkeley.fleet.fpga.Fpga build/fpga/
  66         cp src/edu/berkeley/fleet/fpga/* build/fpga || true
  67         for A in `find ships -name \*.ship`;\
  68           do java -cp build/class edu.berkeley.fleet.Main target=fpga expand $$A;\
  69           done
  70         rsync -zare ssh --progress --delete --verbose ./ ${host}:${remote_dir}
  71         time ssh ${host} 'make -C ${remote_dir} synth XILINX=${remote_ise} remote_ise=${remote_ise} remote_edk=${remote_edk}'
  72         scp ${host}:${remote_dir}/build/fpga/main.bit build/fpga/
  73
  74 pcore = ${remote_edk}/hw/XilinxProcessorIPLib/pcores
  75 synth:
  76         cd build/fpga; ln -sf ../../src/edu/berkeley/fleet/fpga/* .
  77         cd build/fpga; ln -sf ../../src/edu/berkeley/fleet/fpga/mem/* .
  78         rm -f build/fpga/main.lso
  79         echo work                        >> build/fpga/main.lso
  80         rm -f build/fpga/main.prj
  81         cd build/fpga; for A in *.v;   do echo verilog work \""$$A"\"; done >> main.prj
  82         cd build/fpga; for A in *.vhd; do echo vhdl    work \""$$A"\"; done >> main.prj
  83         cd build/fpga; mkdir -p tmp
  84         cd build/fpga; mkdir -p xst
  85         rm -rf build/fpga/_ngo
  86         skill xst_original
  87         $(xilinx_ise)xst -intstyle xflow -ifn main.xst -ofn main.syr < main.xst
  88         $(xilinx_ise)ngdbuild -aul -intstyle xflow -dd _ngo -nt timestamp -uc main.ucf -p $(device) main.ngc main.ngd
  89         $(xilinx_ise)map -intstyle xflow -p $(device) -pr b -ol std -o main_map.ncd main.ngd main.pcf
  90         $(xilinx_ise)par -w -intstyle xflow -t 99 -pl std -rl std main_map.ncd main.ncd main.pcf
  91         $(xilinx_ise)bitgen -intstyle xflow -d -f main.ut main.ncd
  92 #       $(xilinx_ise)trce -intstyle xflow -e 3 -l 3 -s ${speed_grade} -xml main main.ncd -o main.twr main.pcf
  93         $(xilinx_edk)xmd -tcl $(remote_edk)/data/xmd/genace.tcl -jprog -hw main.bit -board ml410 -ace main.ace
  94
  95
  96 runserver: fleet.jar
  97         java -Djava.library.path=lib -cp fleet.jar:lib/RXTXcomm.jar edu.berkeley.fleet.fpga.Server
  98
  99 test:     fleet.jar; $(java) -jar fleet.jar             test ships/*.ship tests
 100 testfpga: fleet.jar; $(java) -jar fleet.jar target=fpga test ships/*.ship tests
 101
 102 ## Manual ####################################################################################
 103
 104 svgs    = $(shell find doc -name \*.svg)
 105 %.eps: %.svg
 106         DISPLAY= /Applications/Inkscape.app/Contents//Resources/bin/inkscape  -z --export-area-drawing $^ --export-eps=$@
 107
 108 %.pdf: %.eps
 109         epstopdf $^ --outfile=$@
 110
 111 manual: archmanual toolmanual
 112
 113 archmanual: fleet.jar $(svgs:%.svg=%.pdf)
 114         $(java) -jar fleet.jar doc
 115         cd .tmp; ln -sf ../doc/*.bib .
 116         cd .tmp; TEXINPUTS=$$TEXINPUTS:../src/edu/berkeley/fleet/assembler/:../doc/ pdflatex FleetTwo.Manual.tex
 117         cd .tmp; for A in *.mp; do mpost --tex=latex $$A; done
 118         cd .tmp; TEXINPUTS=$$TEXINPUTS:../src/edu/berkeley/fleet/assembler/:../doc/ pdflatex FleetTwo.Manual.tex
 119         open .tmp/FleetTwo.Manual.pdf
 120 toolmanual: fleet.jar $(svgs:%.svg=%.pdf)
 121         $(java) -jar fleet.jar doc
 122         cd .tmp; ln -sf ../doc/*.bib .
 123         cd .tmp; TEXINPUTS=$$TEXINPUTS:../src/edu/berkeley/fleet/assembler/:../doc/ pdflatex toolchain.tex
 124         open .tmp/toolchain.pdf
 125
 126 ## API docs ####################################################################################
 127
 128 javadoc:
 129         javadoc \
 130                 -linksource \
 131                 -windowtitle "FleetCode API Documentation" \
 132                 -sourcepath src \
 133                 -header "<b>FleetCode API Documentation</b><br>" \
 134                 -public \
 135                 -notree \
 136                 -nonavbar \
 137                 -noqualifier all \
 138                 -stylesheetfile doc/javadoc.css \
 139                 -d /afs/research.cs.berkeley.edu/class/fleet/website/code/javadoc/ \
 140                 edu.berkeley.fleet.api
 141         open http://fleet.cs.berkeley.edu/code/javadoc/
 142
 143 ## Misc ####################################################################################
 144
 145 clean:
 146         rm -rf fleet.jar build
 147
 148 ## Dist ####################################################################################
 149
 150 #dist:
 151 #       darcs record
 152 #       darcs push /afs/research.cs.berkeley.edu/class/fleet/website/repos/fleet/
 153 #       darcs get . --repo-name=fleet-`date +%d.%h.%y`
 154 #       make -C fleet-`date +%d.%h.%y` fleet.jar
 155 #       rm -rf fleet-`date +%d.%h.%y`/build
 156 #       echo 'http://research.cs.berkeley.edu/class/fleet/repos/fleet/' > \
 157 #         fleet-`date +%d.%h.%y`/_darcs/prefs/defaultrepo
 158 #       tar cvzf fleet-`date +%d.%h.%y`.tgz fleet-`date +%d.%h.%y`
 159 #       rm -rf fleet-`date +%d.%h.%y`
 160 #       mv fleet-`date +%d.%h.%y`.tgz /afs/research.cs.berkeley.edu/class/fleet/website/files/
 161 #       @echo
 162 #       @echo
 163 #       @echo   http://research.cs.berkeley.edu/class/fleet/files/fleet-`date +%d.%h.%y`.tgz
 164 #       @echo
 165 #       @echo
 166 #
 167
 168 dist:
 169         darcs dist -d fleet
 170         mv fleet.tar.gz /afs/research.cs.berkeley.edu/class/fleet/website/code/snapshots/fleet-`date +%y.%m.%d`.tgz
 171
 172 # you'll probably want to change this line
 173 ghc  = /usr/local/brian/ghc/compiler/ghc-inplace
 174
 175 ghc += -fglasgow-exts -fallow-undecidable-instances -fallow-overlapping-instances -cpp
 176 ghc += -i$(shell pwd)/build/hi/ -hidir $(shell pwd)/build/hi/ -odir $(shell pwd)/build/class/
 177
 178 f0: fleet.jar
 179         mkdir -p build/hi build/class
 180         cd lib;                        $(ghc) -c -java SBP.lhs
 181         cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags)    -java Util.lhs
 182         cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags)    -java Fleet.lhs
 183         cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags)    -java Types.lhs
 184         cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags)    -java Compile.lhs
 185         cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags)    -java Main.lhs
 186         $(java) -cp build/class:lib/HSbase.jar:lib/HSrts.jar:lib/HSstm.jar:fleet.jar Main
 187