mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-17 16:52:15 +00:00
Code Activity

rewrite scoped_timer in C++11 way

Browse source 
the code is much smaller and reused across platforms
I see a small speedup on linux as well
This commit is contained in:
Nuno Lopes 2019-02-04 17:42:27 +00:00
parent 9cf99e26a6
commit 73f6806371
2 changed files with 26 additions and 217 deletions
Download patch file Download diff file Expand all files Collapse all files

2
scripts/mk_util.py
View file

@ -2905,7 +2905,7 @@ def mk_config():
config.write('LINK=%s\n' % CXX)
config.write('LINK_FLAGS=\n')
config.write('LINK_OUT_FLAG=-o \n')
config.write('LINK_EXTRA_FLAGS=-lpthread %s\n' % LDFLAGS)
config.write('LINK_EXTRA_FLAGS=%s\n' % LDFLAGS)
config.write('SO_EXT=%s\n' % SO_EXT)
config.write('SLINK=%s\n' % CXX)
config.write('SLINK_FLAGS=%s\n' % SLIBFLAGS)