prefix=/usr/local
exec_prefix=${prefix}
bindir=${exec_prefix}/bin

LOCAL_BINDIR=../bin
yices_root=error

yicesw: 
	mkdir -p $(LOCAL_BINDIR)
	gcc -static -o $(LOCAL_BINDIR)/yicesw -I$(yices_root)/include -L$(yices_root)/lib yicesw.c -lyices -lgmp -lstdc++

