1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
# Programs for processing
LEX = flex
YACC = bison
CC = g++
CUT = cut
# Compiler and linker flags
CFLAGS = -fPIC -flto -march=x86-64 -std=c++14 -m64 -I.
#LDFLAGS = -flto=4 -march=x86-64 -std=c++14 -m64 -static lpsolve/liblpsolve55-linux64.a \
# -static-libgcc -static-libstdc++
# -Wl,-Bstatic -ldl -lm -lc -Wl,-Bdynamic -lpthread
# 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-linux64
include rules.mk
|