
# Unset this to run on windows.    
MONO      ?= mono


TOYBSVROOT  ?=/home/djg11/d320/hprls/bsvc/priv_distro
BSVPATH     ?=$(TOYBSVROOT)/libs/camlib

TOYBSV      ?=$(TOYBSVROOT)/bin/bsvc

MONO_PATH ?= $(HPRLS)/hpr:$(FSHARP)/bin:$(FSHARP)/lib:$(FSHARP)/FSharpPowerPack-2.0.0.0/bin


all:
	$(TOYBSV) -vnl hwmlcore.v -incdir=$(BSVPATH) -conerefine=disable  -elab-limit=2000 -bsv-scheduler=default -aggressive-conditions=enable   Hwmlcore.bsv
# -wverbose=enable 
# -give-backtrace
# -bsv-print-parsetree=enable
	iverilog bsv-testbench.v hwmlcore.v ../rtlcore0/srams.v
	./a.out
	cp decoder.vcd ~/Dropbox/tmp/a.vcd

zip:
	zip hwmlbsv.zip gold.txt bsv-testbench.v Makefile README.txt   Hwmlcore.bsv ../rtlcore0/srams.v
