RNVBASE=http://ftp.davidashen.net/PreTI/RNV/
RNVZIP=rnv-1.7.8.zip

WGET=wget
WGETFLAGS=

UNZIP=unzip
UNZIPFLAGS=

PATCH=patch
PATCHFLAGS=-p0

hv: rnv-1.7.8/rnv
	cp $< $@

rnv-1.7.8:
	$(WGET) $(WGETFLAGS) $(RNVBASE)$(RNVZIP)
	$(UNZIP) $(UNZIPFLAGS) $(RNVZIP)

rnv-1.7.8/rnv: rnv-1.7.8 patch-rnv
	-$(PATCH) $(PATCHFLAGS) < patch-rnv
	$(MAKE) -C rnv-1.7.8 DXL_EXC=1 DXL_URL='\"http://whattf.org/datatype-draft\"'

test: test/test.log

test/test.log:
	$(MAKE) -C test

clean:
	$(RM) hv
	$(MAKE) -C test clean
	-$(MAKE) -C rnv-1.7.8 clean

realclean: clean
	$(RM) $(RNVZIP)
	$(RM) -r rnv-1.7.8