← Back to branch summary

~verifypn-stub/verifypn/deadlock-hotfix-2.2

« back to all changes in this revision

Viewing changes to makefile.osx32

  • Committer: Jiri Srba
  • Date: 2017-08-07 19:16:12 UTC
  • mfrom: (152.32.44 inhib)
  • Revision ID: srba.jiri@gmail.com-20170807191612-t1z6jtgvmvv1w5t0
merged in the branch lp:~verifypn-stub/verifypn/inhib adding support of stubborn sets
for inhibitor arcs and a number of other fixes and compiles now for windows as well

Show diffs side-by-side

added added

removed removed

Lines of Context:
makefile.osx32
3
3
 
4
4
# Programs for processing
5
5
LEX                             = false
6
 
YACC                    = false
7
 
CC                              = gcc
 
6
YACC                            = false
 
7
CC                              = llvm-gcc
8
8
CUT                             = cut
9
9
 
10
10
# Compiler and linker flags
11
 
CFLAGS                  = -mmacosx-version-min=10.6 -m32 -O3 -I.
12
 
LDFLAGS                 = -mmacosx-version-min=10.6 -m32 -O3 lpsolve/liblpsolve55-osx32.a -lstdc++
 
11
CFLAGS                  = -mmacosx-version-min=10.7 -std=c++14 -m32 -I. -stdlib=libc++
 
12
LDFLAGS                 = -dynamic -mmacosx-version-min=10.7 -std=c++14 -m32 lpsolve/liblpsolve55-osx32.a -stdlib=libc++ -lc++  
13
13
 
14
14
# Input files
15
15
FLEX_SOURCES    = $(shell find * -name "*.l")