mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

Merge branch 'master' of https://github.com/Z3Prover/z3

Browse source
This commit is contained in:
Nikolaj Bjorner 2016-03-01 09:48:53 -08:00
parent 67397bf71e 0cb8193cdd
commit 9b6963d112
2 changed files with 10 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
scripts/mk_util.py
View file

@ -1261,13 +1261,16 @@ class DLLComponent(Component):
out.write(' /DEF:%s.def' % os.path.join(self.to_src_dir, self.name)) out.write(' /DEF:%s.def' % os.path.join(self.to_src_dir, self.name))
out.write('\n') out.write('\n')
if self.static: if self.static:
self.mk_static(out) if IS_WINDOWS:
libfile = '%s$(LIB_EXT)' % self.dll_name libfile = '%s-static$(LIB_EXT)' % self.dll_name
else:
libfile = '%s$(LIB_EXT)' % self.dll_name
self.mk_static(out, libfile)
out.write('%s: %s %s\n\n' % (self.name, self.dll_file(), libfile)) out.write('%s: %s %s\n\n' % (self.name, self.dll_file(), libfile))
else: else:
out.write('%s: %s\n\n' % (self.name, self.dll_file())) out.write('%s: %s\n\n' % (self.name, self.dll_file()))
def mk_static(self, out): def mk_static(self, out, libfile):
# generate rule for lib # generate rule for lib
objs = [] objs = []
for cppfile in get_cpp_files(self.src_dir): for cppfile in get_cpp_files(self.src_dir):
@ -1279,7 +1282,6 @@ class DLLComponent(Component):
for cppfile in get_cpp_files(dep.src_dir): for cppfile in get_cpp_files(dep.src_dir):
objfile = '%s$(OBJ_EXT)' % os.path.join(dep.build_dir, os.path.splitext(cppfile)[0]) objfile = '%s$(OBJ_EXT)' % os.path.join(dep.build_dir, os.path.splitext(cppfile)[0])
objs.append(objfile) objs.append(objfile)
libfile = '%s$(LIB_EXT)' % self.dll_name
out.write('%s:' % libfile) out.write('%s:' % libfile)
for obj in objs: for obj in objs:
out.write(' ') out.write(' ')

8
src/api/api_numeral.cpp
View file

@ -68,10 +68,10 @@ extern "C" {
(' ' == *m) || ('\n' == *m) || (' ' == *m) || ('\n' == *m) ||
('.' == *m) || ('e' == *m) || ('.' == *m) || ('e' == *m) ||
('E' == *m) || ('E' == *m) ||
(is_float && (is_float &&
('p' == *m) || (('p' == *m) ||
('P' == *m) || ('P' == *m) ||
('+' == *m)))) { ('+' == *m))))) {
SET_ERROR_CODE(Z3_PARSER_ERROR); SET_ERROR_CODE(Z3_PARSER_ERROR);
return 0; return 0;
} }