← Back to branch summary

~tapaal-dist-ctl/verifypn/new_deadlocksupport

« back to all changes in this revision

Viewing changes to makefile.linux32

  • Committer: Jiri Srba
  • Date: 2016-05-25 20:13:50 UTC
  • Revision ID: srba.jiri@gmail.com-20160525201350-gq6vg8crdi8h66y3
updated on the make files (removing -march=native flag)

Show diffs side-by-side

added added

removed removed

Lines of Context:
makefile.linux32
6
6
 
7
7
# Compiler and linker flags
8
8
#Possibly add -ljemalloc for faster malloc
9
 
CFLAGS                  = -flto -march=native -std=c++11 -m32 -O3 -I.
10
 
LDFLAGS                 = -flto -march=native -std=c++11 -static -m32 -O3 lpsolve/liblpsolve55-linux32.a -ldl \
 
9
CFLAGS                  = -flto  -std=c++11 -m32 -O3 -I.
 
10
LDFLAGS                 = -flto  -std=c++11 -static -m32 -O3 lpsolve/liblpsolve55-linux32.a -ldl \
11
11
              -static-libgcc -static-libstdc++
12
12
 
13
13
# Input files