← Back to branch summary

~tapaal-ltl/verifypn/scc-optimise

« back to all changes in this revision

Viewing changes to makefile.linux64

  • Committer: srba.jiri at gmail
  • Date: 2020-09-11 14:23:39 UTC
  • mfrom: (213.1.151 interval_tar)
  • Revision ID: srba.jiri@gmail.com-20200911142339-bq9328s1gppw24uj
merged in lp:~verifypn-maintainers/verifypn/interval_tar doing 
- Implements TAR w/o z3, but using a simple integer inference engine for Hoare logic.
 - Replaces LP-Solve with GLPK, reduces computation-time and memory overhead
 - Implements new global properties, translated into CTL formulae.

Show diffs side-by-side

added added

removed removed

Lines of Context:
makefile.linux64
1
 
# Programs for processing
2
 
LEX                             = flex
3
 
YACC                    = bison
4
 
CC                              = g++
5
 
CUT                             = cut
6
 
 
7
 
# Compiler and linker flags
8
 
CFLAGS                  = -fPIC -flto -march=x86-64 -std=c++14  -m64 -I.
9
 
LDFLAGS                 = -flto=4 -march=x86-64 -std=c++14  -m64 -static lpsolve/liblpsolve55-linux64.a \
10
 
              -static-libgcc -static-libstdc++ 
11
 
# -Wl,-Bstatic -ldl -lm -lc -Wl,-Bdynamic -lpthread 
12
 
 
13
 
# Input files
14
 
FLEX_SOURCES    = $(shell find * -name "*.l")
15
 
BISON_SOURCES   = $(shell find * -name "*.y")
16
 
SOURCES                 = $(shell find * -name "*.cpp" | grep -v ".\\(parser\\|lexer\\).cpp")           \
17
 
                                  $(BISON_SOURCES:.y=.parser.cpp)                                                                                       \
18
 
                                  $(FLEX_SOURCES:.l=.lexer.cpp)
19
 
OBJECTS                 = $(SOURCES:.cpp=.o)
20
 
TARGET                  = verifypn-linux64
21
 
 
22
 
include rules.mk