1
# Programs for processing
7
# Compiler and linker flags
9
LDFLAGS = -m32 -O3 /usr/lib/liblpsolve55.a -lcolamd -ldl
12
FLEX_SOURCES = $(shell find * -name "*.l")
13
BISON_SOURCES = $(shell find * -name "*.y")
14
SOURCES = $(shell find * -name "*.cpp" | grep -v ".\\(parser\\|lexer\\).cpp") \
15
$(BISON_SOURCES:.y=.parser.cpp) \
16
$(FLEX_SOURCES:.l=.lexer.cpp)
17
OBJECTS = $(SOURCES:.cpp=.o)
18
TARGET = verifypn-linux32