Makefile.in

YICES_DIR = /usr/local/yices-1.0.29

CC = gcc
FLEX = flex
BISON = bison
CFLAGS = -std=c99 -pedantic -g -Wall
LDFLAGS = -g -lgmp -lgmpxx -lstdc++ 

OBJECTS = smtlib2bisonparser.o \
	  smtlib2flexlexer.o \
	  smtlib2hashtable.o \
	  smtlib2abstractparser.o \
	  smtlib2termparser.o \
	  smtlib2utils.o \
	  smtlib2vector.o \
	  smtlib2charbuf.o \
	  smtlib2stream.o \
	  smtlib2scanner.o

YICES_OBJECTS = smtlib2yices.o \
	        yicesmain.o

all: libsmtlib2parser.a smtlib2yices

clean:
	rm -f $(OBJECTS) $(YICES_OBJECTS) libsmtlib2parser.a smtlib2yices smtlib2bisonparser.c smtlib2bisonparser.h smtlib2flexlexer.c smtlib2flexlexer.h


smtlib2yices: libsmtlib2parser.a $(YICES_OBJECTS)
	$(CC) $(YICES_OBJECTS) libsmtlib2parser.a $(YICES_DIR)/lib/libyices.a $(LDFLAGS) -o $@

smtlib2yices.o: smtlib2yices.c
	$(CC) $(CFLAGS) -I$(YICES_DIR)/include -c -o $@ $<
yicesmain.o: yicesmain.c
	$(CC) $(CFLAGS) -I$(YICES_DIR)/include -c -o $@ $<


libsmtlib2parser.a: $(OBJECTS)
	ar rc $@ $(OBJECTS)
	ranlib $@



%.o: %.c
	$(CC) $(CFLAGS) -c -o $@ $<


smtlib2bisonparser.c: smtlib2bisonparser.y smtlib2flexlexer.c
	$(BISON) -o $@ $<

smtlib2flexlexer.c: smtlib2flexlexer.l
	$(FLEX) --header-file="smtlib2flexlexer.h" -o $@ $<