1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
# Programs for processing
LEX = flex
YACC = bison
CC = g++
CUT = cut
# Compiler and linker flags
#Possibly add -ljemalloc for faster malloc
CFLAGS = -flto -march=native -std=c++11 -m32 -O3 -I.
LDFLAGS = -flto -march=native -std=c++11 -static -m32 -O3 lpsolve/liblpsolve55-linux32.a -ldl \
-static-libgcc -static-libstdc++
# 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
|