## Fleeterpreter ##############################################################################

cp                = -cp fleet.jar
java              = java -Xmx500m

run: fleet.jar; $(java) $(cp) $(interpreter_class)

ifeq ($(shell uname -o 2>/dev/null),Cygwin)
ps=\;
else
ps=:
endif

fleet.jar: $(shell find src -name \*.java) $(shell find ships -name \*.ship) src/edu/berkeley/fleet/assembler/fleet.g
	mkdir -p build/class/edu/berkeley/fleet/assembler/
	cp src/edu/berkeley/fleet/assembler/fleet.g build/class/edu/berkeley/fleet/assembler/
	javac -classpath lib/edu.berkeley.sbp.jar -d build/class/ $(shell find src -name \*.java)
	cd build/class/; jar xf ../../lib/edu.berkeley.sbp.jar
	for A in `find ships -name \*.ship`;\
	  do java -cp build/class edu.berkeley.fleet.Main expand $$A;\
	  done
	javac -classpath build/class${ps}lib/edu.berkeley.sbp.jar -d build/class/ `find build/java -name \*.java`
	echo 'Main-Class: edu.berkeley.fleet.Main' > build/class/manifest
	cd build/class/; jar cmf manifest ../../$@ .


## Fpga ####################################################################################

#host = sting.eecs.berkeley.edu
#remote_xilinx = /opt/ISE81/
#remote_dir = fleet/

host = intel2950-4.eecs.berkeley.edu
remote_xilinx = /scratch/megacz/xilinx/
remote_dir = /scratch/megacz/fleet/

#host = cs61c-tb@ilinux1.eecs.berkeley.edu
#remote_xilinx = /usr/local/xilinx/xilinx.ise.9.1-1607-8571-0259-2277
#remote_dir = /home/tmp/cs61c-tb/fleet

#host = mm2.millennium.berkeley.edu
#remote_xilinx = /scratch/megacz/xilinx/
#remote_dir = /scratch/megacz/fleet/

xilinx =  cd build/fpga;
xilinx += LD_LIBRARY_PATH=$$LD_LIBRARY_PATH:$(XILINX)/bin/lin
xilinx += XILINX=$(XILINX)
xilinx += PATH=$$PATH:$(XILINX)/bin/lin
xilinx += $(XILINX)/bin/lin/

device = xc4vfx60-ff1152

remote_run =  skill a.out;
remote_run += user_unprogram 1;
remote_run += user_program 1 main.bit;
remote_run += echo compiling;
remote_run += gcc test.c;
remote_run += echo running;
remote_run +=  ./a.out /dev/selectmap1 fleet.bin

verilog_files  = $(shell find src -name \*.v)
verilog_files += $(shell find src -name \*.inc)

runfpga: fleet.jar
	$(java) -jar fleet.jar target=fpga run

program: upload
	ssh root@goliath.megacz.com 'cd /afs/megacz.com/work/ml410/; ./program.sh ./main.bit'

upload: fleet.jar build/fpga/main.bit
	mkdir -p build
	rsync -zare ssh --progress --verbose build/fpga/main.bit root@goliath.megacz.com:/afs/megacz.com/work/ml410/

uploadtest:
	make upload
	$(java) -jar fleet.jar target=fpga bitfile=megacz.bit test tests ships/*.ship
testmegacz:
	$(java) -jar fleet.jar target=fpga bitfile=megacz.bit test tests ships/*.ship

build/fpga/fabric.v: $(verilog_files) src/edu/berkeley/fleet/fpga/Fpga.java
	make fleet.jar
	mkdir -p build/fpga
	$(java) $(cp) edu.berkeley.fleet.fpga.Fpga > build/fpga/fabric.v

build/fpga/main.bit: build/fpga/fabric.v $(verilog_files)
	make fleet.jar
	cp src/edu/berkeley/fleet/fpga/* build/fpga
	for A in `find ships -name \*.ship`;\
	  do java -cp build/class edu.berkeley.fleet.Main target=fpga expand $$A;\
	  done
	$(java) -cp fleet.jar edu.berkeley.fleet.fpga.Generator build/fpga/
	rsync -zare ssh --progress --delete --verbose ./ ${host}:${remote_dir}
	time ssh ${host} 'make -C ${remote_dir} synth XILINX=${remote_xilinx}'
	scp ${host}:${remote_dir}/build/fpga/main.bit build/fpga/

synth:
	cd build/fpga; ln -sf ../../src/edu/berkeley/fleet/fpga/* .
	cd build/fpga; echo work > main.lso
	cd build/fpga; for A in *.v; do echo verilog work \""$$A"\"; done > main.prj
	cd build/fpga; mkdir -p tmp
	cd build/fpga; mkdir -p xst
	rm -rf build/fpga/_ngo
	$(xilinx)xst -intstyle xflow -ifn main.xst -ofn main.syr < main.xst
	$(xilinx)ngdbuild -aul -intstyle xflow -dd _ngo -nt timestamp -uc main.ucf -p $(device) main.ngc main.ngd
	$(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
	$(xilinx)par -w -intstyle xflow -pl std -ol std -t 99 main_map.ncd main.ncd main.pcf
	$(xilinx)bitgen -intstyle xflow -d -f main.ut main.ncd
#	$(xilinx)trce -intstyle xflow -e 3 -l 3 -s 6 -xml main main.ncd -o main.twr main.pcf



test:     fleet.jar; $(java) -jar fleet.jar             test tests ships/*.ship
testfpga: fleet.jar; $(java) -jar fleet.jar target=fpga test tests ships/*.ship

generate: fleet.jar
	$(java) -cp fleet.jar edu.berkeley.fleet.fpga.Generator build/fpga/

## Manual ####################################################################################

svgs    = $(shell find doc -name \*.svg)
%.eps: %.svg
	DISPLAY= /Applications/Inkscape.app/Contents//Resources/bin/inkscape  -z --export-area-drawing $^ --export-eps=$@

%.pdf: %.eps
	epstopdf $^ --outfile=$@

manual: archmanual toolmanual

archmanual: fleet.jar $(svgs:%.svg=%.pdf)
	$(java) -jar fleet.jar doc
	cd .tmp; ln -sf ../doc/*.bib .
	cd .tmp; TEXINPUTS=$$TEXINPUTS:../src/edu/berkeley/fleet/assembler/:../doc/ pdflatex FleetTwo.Manual.tex
	cd .tmp; for A in *.mp; do mpost --tex=latex $$A; done
	cd .tmp; TEXINPUTS=$$TEXINPUTS:../src/edu/berkeley/fleet/assembler/:../doc/ pdflatex FleetTwo.Manual.tex
	open .tmp/FleetTwo.Manual.pdf
toolmanual: fleet.jar $(svgs:%.svg=%.pdf)
	$(java) -jar fleet.jar doc
	cd .tmp; ln -sf ../doc/*.bib .
	cd .tmp; TEXINPUTS=$$TEXINPUTS:../src/edu/berkeley/fleet/assembler/:../doc/ pdflatex toolchain.tex
	open .tmp/toolchain.pdf

## API docs ####################################################################################

javadoc:
	mkdir -p doc/api
	javadoc \
		-classpath lib/edu.berkeley.sbp.jar \
		-linksource \
		-windowtitle "Fleet API" \
		-sourcepath src \
		-header "<b>Fleet</b><br>API" \
		-public \
		-notree \
		-noindex \
		-nonavbar \
		-stylesheetfile doc/javadoc.css \
		-noqualifier all \
		-d doc/api \
		edu.berkeley.fleet.api \
		edu.berkeley.fleet.assembler

## Misc ####################################################################################

clean:
	rm -rf fleet.jar build

## Dist ####################################################################################

dist:
	darcs record
	darcs push /afs/research.cs.berkeley.edu/class/fleet/website/repos/fleet/
	darcs get . --repo-name=fleet-`date +%d.%h.%y`
	make -C fleet-`date +%d.%h.%y` fleet.jar
	rm -rf fleet-`date +%d.%h.%y`/build
	echo 'http://research.cs.berkeley.edu/class/fleet/repos/fleet/' > \
	  fleet-`date +%d.%h.%y`/_darcs/prefs/defaultrepo
	tar cvzf fleet-`date +%d.%h.%y`.tgz fleet-`date +%d.%h.%y`
	rm -rf fleet-`date +%d.%h.%y`
	mv fleet-`date +%d.%h.%y`.tgz /afs/research.cs.berkeley.edu/class/fleet/website/files/
	@echo
	@echo
	@echo   http://research.cs.berkeley.edu/class/fleet/files/fleet-`date +%d.%h.%y`.tgz
	@echo
	@echo


# you'll probably want to change this line
ghc  = /usr/local/brian/ghc/compiler/ghc-inplace

ghc += -fglasgow-exts -fallow-undecidable-instances -fallow-overlapping-instances -cpp 
ghc += -i$(shell pwd)/build/hi/ -hidir $(shell pwd)/build/hi/ -odir $(shell pwd)/build/class/

f0: fleet.jar
	mkdir -p build/hi build/class
	cd lib;                        $(ghc) -c -java SBP.lhs
	cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags)    -java Util.lhs
	cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags)    -java Fleet.lhs
	cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags)    -java Types.lhs
	cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags)    -java Compile.lhs
	cd src/edu/berkeley/fleet/f0/; $(ghc) -fglasgow-exts -cpp $(hflags)    -java Main.lhs
	$(java) -cp build/class:lib/HSbase.jar:lib/HSrts.jar:lib/HSstm.jar:fleet.jar Main