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-3.eecs.berkeley.edu
  33 remote_xilinx = /scratch/megacz/xilinx/
  34 remote_dir = /scratch/megacz/fleet/
  35
  36 #host = mm2.millennium.berkeley.edu
  37 #remote_xilinx = /scratch/megacz/xilinx/
  38 #remote_dir = /scratch/megacz/fleet/
  39
  40 xilinx =  cd build/fpga;
  41 xilinx += LD_LIBRARY_PATH=$$LD_LIBRARY_PATH:$(XILINX)/bin/lin
  42 xilinx += XILINX=$(XILINX)
  43 xilinx += PATH=$$PATH:$(XILINX)/bin/lin
  44 xilinx += $(XILINX)/bin/lin/
  45
  46 device = xc4vfx60-11ff1152
  47
  48 upload: fleet.jar build/fpga/main.bit
  49         mkdir -p build
  50         rsync -are ssh --progress --verbose ./ root@goliath:fleet/
  51
  52 build/fpga/main.bit: $(java_files) $(ship_files)
  53         make fleet.jar
  54         mkdir -p build/fpga
  55         $(java) $(cp) edu.berkeley.fleet.fpga.Fpga build/fpga/
  56         cp src/edu/berkeley/fleet/fpga/* build/fpga
  57         for A in `find ships -name \*.ship`;\
  58           do java -cp build/class edu.berkeley.fleet.Main target=fpga expand $$A;\
  59           done
  60         rsync -zare ssh --progress --delete --verbose ./ ${host}:${remote_dir}
  61         time ssh ${host} 'make -C ${remote_dir} synth XILINX=${remote_xilinx}'
  62         scp ${host}:${remote_dir}/build/fpga/main.bit build/fpga/
  63
  64 synth:
  65         cd build/fpga; ln -sf ../../src/edu/berkeley/fleet/fpga/* .
  66         cd build/fpga; echo work > main.lso
  67         cd build/fpga; for A in *.v; do echo verilog work \""$$A"\"; done > main.prj
  68         cd build/fpga; mkdir -p tmp
  69         cd build/fpga; mkdir -p xst
  70         rm -rf build/fpga/_ngo
  71         $(xilinx)xst -intstyle xflow -ifn main.xst -ofn main.syr < main.xst
  72         $(xilinx)ngdbuild -aul -intstyle xflow -dd _ngo -nt timestamp -uc main.ucf -p $(device) main.ngc main.ngd
  73         $(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
  74         $(xilinx)par -w -intstyle xflow -pl std -ol std -t 99 main_map.ncd main.ncd main.pcf
  75         $(xilinx)bitgen -intstyle xflow -d -f main.ut main.ncd
  76 #       $(xilinx)trce -intstyle xflow -e 3 -l 3 -s 6 -xml main main.ncd -o main.twr main.pcf
  77
  78
  79
  80 test:     fleet.jar; $(java) -jar fleet.jar             test ships/*.ship tests
  81 testfpga: fleet.jar; $(java) -jar fleet.jar target=fpga test ships/*.ship tests
  82
  83 ## Manual ####################################################################################
  84
  85 svgs    = $(shell find doc -name \*.svg)
  86 %.eps: %.svg
  87         DISPLAY= /Applications/Inkscape.app/Contents//Resources/bin/inkscape  -z --export-area-drawing $^ --export-eps=$@
  88
  89 %.pdf: %.eps
  90         epstopdf $^ --outfile=$@
  91
  92 manual: archmanual toolmanual
  93
  94 archmanual: fleet.jar $(svgs:%.svg=%.pdf)
  95         $(java) -jar fleet.jar doc
  96         cd .tmp; ln -sf ../doc/*.bib .
  97         cd .tmp; TEXINPUTS=$$TEXINPUTS:../src/edu/berkeley/fleet/assembler/:../doc/ pdflatex FleetTwo.Manual.tex
  98         cd .tmp; for A in *.mp; do mpost --tex=latex $$A; done
  99         cd .tmp; TEXINPUTS=$$TEXINPUTS:../src/edu/berkeley/fleet/assembler/:../doc/ pdflatex FleetTwo.Manual.tex
 100         open .tmp/FleetTwo.Manual.pdf
 101 toolmanual: fleet.jar $(svgs:%.svg=%.pdf)
 102         $(java) -jar fleet.jar doc
 103         cd .tmp; ln -sf ../doc/*.bib .
 104         cd .tmp; TEXINPUTS=$$TEXINPUTS:../src/edu/berkeley/fleet/assembler/:../doc/ pdflatex toolchain.tex
 105         open .tmp/toolchain.pdf
 106
 107 ## API docs ####################################################################################
 108
 109 javadoc:
 110         javadoc \
 111                 -linksource \
 112                 -windowtitle "FleetCode API Documentation" \
 113                 -sourcepath src \
 114                 -header "<b>FleetCode API Documentation</b><br>" \
 115                 -public \
 116                 -notree \
 117                 -nonavbar \
 118                 -noqualifier all \
 119                 -stylesheetfile doc/javadoc.css \
 120                 -d /afs/research.cs.berkeley.edu/class/fleet/website/code/javadoc/ \
 121                 edu.berkeley.fleet.api
 122         open http://fleet.cs.berkeley.edu/code/javadoc/
 123
 124 ## Misc ####################################################################################
 125
 126 clean:
 127         rm -rf fleet.jar build
 128
 129 ## Dist ####################################################################################
 130
 131 dist:
 132         darcs record
 133         darcs push /afs/research.cs.berkeley.edu/class/fleet/website/repos/fleet/
 134         darcs get . --repo-name=fleet-`date +%d.%h.%y`
 135         make -C fleet-`date +%d.%h.%y` fleet.jar
 136         rm -rf fleet-`date +%d.%h.%y`/build
 137         echo 'http://research.cs.berkeley.edu/class/fleet/repos/fleet/' > \
 138           fleet-`date +%d.%h.%y`/_darcs/prefs/defaultrepo
 139         tar cvzf fleet-`date +%d.%h.%y`.tgz fleet-`date +%d.%h.%y`
 140         rm -rf fleet-`date +%d.%h.%y`
 141         mv fleet-`date +%d.%h.%y`.tgz /afs/research.cs.berkeley.edu/class/fleet/website/files/
 142         @echo
 143         @echo
 144         @echo   http://research.cs.berkeley.edu/class/fleet/files/fleet-`date +%d.%h.%y`.tgz
 145         @echo
 146         @echo
 147
 148
 149 # you'll probably want to change this line
 150 ghc  = /usr/local/brian/ghc/compiler/ghc-inplace
 151
 152 ghc += -fglasgow-exts -fallow-undecidable-instances -fallow-overlapping-instances -cpp
 153 ghc += -i$(shell pwd)/build/hi/ -hidir $(shell pwd)/build/hi/ -odir $(shell pwd)/build/class/
 154
 155 f0: fleet.jar
 156         mkdir -p build/hi build/class
 157         cd lib;                        $(ghc) -c -java SBP.lhs
 158         cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags)    -java Util.lhs
 159         cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags)    -java Fleet.lhs
 160         cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags)    -java Types.lhs
 161         cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags)    -java Compile.lhs
 162         cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags)    -java Main.lhs
 163         $(java) -cp build/class:lib/HSbase.jar:lib/HSrts.jar:lib/HSstm.jar:fleet.jar Main
 164