← Back to branch summary

~boginw/verifypn/fix-branch

« back to all changes in this revision

Viewing changes to makefile.win64

  • 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.win64
1
 
# For bash on OS X, as /bin/sh is compiled with --enable-strict-posix-default
2
 
SHELL                   = /bin/bash
3
 
 
4
 
# Programs for processing
5
 
LEX                             = flex
6
 
YACC                    = bison
7
 
CC                              = x86_64-w64-mingw32-g++
8
 
CUT                             = cut
9
 
 
10
 
# Compiler and linker flags
11
 
CFLAGS                  = -flto -I.
12
 
LDFLAGS                 = -flto=4 -static -static-libgcc -static-libstdc++ -L. -Wl,--enable-stdcall-fixup -Wl,-Bdynamic -llpsolve55 -Wl,-Bstatic -lpthread 
13
 
 
14
 
# Input files
15
 
FLEX_SOURCES    = $(shell find * -name "*.l")
16
 
BISON_SOURCES   = $(shell find * -name "*.y")
17
 
SOURCES                 = $(shell find * -name "*.cpp" | grep -v ".\\(parser\\|lexer\\).cpp")           \
18
 
                                  $(BISON_SOURCES:.y=.parser.cpp)                                                                                       \
19
 
                                  $(FLEX_SOURCES:.l=.lexer.cpp)
20
 
DEPS                    = lpsolve55.dll
21
 
OBJECTS                 = $(SOURCES:.cpp=.o)
22
 
TARGET                  = verifypn-win64
23
 
 
24
 
include rules.mk
25
 
 
26
 
lpsolve55.dll: lpsolve/lpsolve55-win64.dll
27
 
        cp $< $@