echo "sources not available for bvigator"
rem gcc -g -c bviglib.c -o bviglib.o
rem dlxgen.exe bvigator.dlx bviglib.o
rem gcc -g -c bvigator.c -o bvigator.o
rem dlxgen.exe programs/apps/bvigator.exe bvigator.o
rem dlxinsd.exe badctrls.dlx badctrls.dat
