--- /dev/null
+[submodule "alliance-check-toolkit"]
+ path = alliance-check-toolkit
+ url = https://gitlab.lip6.fr/vlsi-eda/alliance-check-toolkit.git
--- /dev/null
+.PHONY: all
+
+# for running VASY in coriolis2 chroot. setup:
+# https://git.libre-soc.org/?p=dev-env-setup.git;a=blob;f=coriolis2-chroot;hb=HEAD
+VASY ?= schroot -c coriolis -d /tmp /home/lkcl/alliance/install/bin/vasy
+
+nsxlib_vbe=$(wildcard *.vbe)
+nsxlib_vst=$(patsubst %.vbe,%.vhd,$(wildcard *.vhd))
+
+SPOT=$(addsuffix .vbe, $(basename $(wildcard *.vhd)))
+
+%.vbe : %.vhd
+ $(VASY) -s -I vbe $^ -o $@
+ mv $@.vhd $@
+
+all : $(nsxlib_vst)
+ echo $(SPOT)
+ echo $(nsxlib_vbe)
+ echo $(nsxlib_vst)
+