#Generated by Edalize

QVERIFY ?= qverify

QVERIFY_OPTIONS  ?= a few qverify_options

all: work

run: work
	$(QVERIFY) $(QVERIFY_OPTIONS) -do "do edalize_autocheck.tcl; exit"

run-gui: work
	$(QVERIFY) -gui

work:
	$(QVERIFY) -c -do "do edalize_main.tcl; exit"

clean: 
