bin_PROGRAMS = dvispc.exe chkdvifont.exe

dvispc_SOURCES  = dvispc.c
chkdvifont_SOURCES = chkdvifont.c dd.h msvcdir.h

CC=cl
CFLAGS=-nologo -wd4819 -O2 -MD -DWIN32=1 -DMSVC=1 -DPTEXENC=1 -I. \
-I../ptexenc -I..

LIBS=../ptexenc/libptexenc.lib

all: $(bin_PROGRAMS)

chkdvifont.exe: chkdvifont.obj
	$(CC) -Fe$@ chkdvifont.obj setargv.obj

chkdvifont.obj: $(chkdvifont_SOURCES)
	$(CC) $(CFLAGS) -c chkdvifont.c

dvispc.exe: dvispc.obj
	$(CC) -Fe$@ dvispc.obj setargv.obj $(LIBS)

dvispc.obj: $(dvispc_SOURCES)
	$(CC) $(CFLAGS) -c dvispc.c

clean::
	rm -f *~ *.obj *.exe *.cfn *.dvi *.spc

DESTDIR1=c:/usr/work/edrive/wk/dist/PTEX/bin
DESTDIR2=c:/usr/work/edrive/wk/dist/WEB2CBIN/bin

install: dvispc.exe chkdvifont.exe
	cp -p dvispc.exe $(DESTDIR1)/
	cp -p chkdvifont.exe $(DESTDIR2)/
	cp -p dvispc.exe chkdvifont.exe c:/usr/local/txdir/w32tex/bin/
