~verifypn-maintainers/verifypn/u1.2

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
# Programs for processing
LEX				= flex
YACC			= bison
CC				= g++
CUT				= cut

# Compiler and linker flags
CFLAGS			= -m32 -O3 -I.
LDFLAGS			= -m32 -O3 lpsolve/liblpsolve55-linux32.a -ldl

# Input files
FLEX_SOURCES	= $(shell find * -name "*.l")
BISON_SOURCES	= $(shell find * -name "*.y")
SOURCES			= $(shell find * -name "*.cpp" | grep -v ".\\(parser\\|lexer\\).cpp")		\
				  $(BISON_SOURCES:.y=.parser.cpp)											\
				  $(FLEX_SOURCES:.l=.lexer.cpp)
OBJECTS			= $(SOURCES:.cpp=.o)
TARGET			= verifypn-linux32

include rules.mk