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

ML API Windows build fixes

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2015-12-12 20:01:52 +00:00
parent fbced1db98
commit 5a357097c0
2 changed files with 5 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
scripts/mk_util.py
View file

@ -1765,7 +1765,7 @@ class MLComponent(Component):
stubso = os.path.join(self.sub_dir, self.stubs) + '$(OBJ_EXT)' stubso = os.path.join(self.sub_dir, self.stubs) + '$(OBJ_EXT)'
z3dllso = get_component(Z3_DLL_COMPONENT).dll_name + '$(SO_EXT)' z3dllso = get_component(Z3_DLL_COMPONENT).dll_name + '$(SO_EXT)'
out.write('%s: %s %s\n' % (stubso, stubsc, z3dllso)) out.write('%s: %s %s\n' % (stubso, stubsc, z3dllso))
out.write('\t%s -ccopt "$(CXXFLAGS_OCAML) -I %s -I %s -I %s -o %s" -c %s\n' % out.write('\t%s -ccopt "$(CXXFLAGS_OCAML) -I %s -I %s -I %s $(CXX_OUT_FLAG)%s" -c %s\n' %
(OCAMLC, OCAML_LIB, api_src, src_dir, stubso, stubsc)) (OCAMLC, OCAML_LIB, api_src, src_dir, stubso, stubsc))
for m in self.modules: for m in self.modules:

10
src/api/ml/z3native_stubs.h
View file

@ -21,12 +21,10 @@ Notes:
#define Z3NATIVE_STUBS_H_ #define Z3NATIVE_STUBS_H_
#if defined _WIN32 || defined __CYGWIN__ #if defined _WIN32 || defined __CYGWIN__
#ifdef BUILDING_DLL #ifdef __GNUC__
#ifdef __GNUC__ #define DLL_PUBLIC __attribute__ ((dllexport))
#define DLL_PUBLIC __attribute__ ((dllexport)) #else
#else #define DLL_PUBLIC __declspec(dllexport)
#define DLL_PUBLIC __declspec(dllexport)
#endif
#endif #endif
#define DLL_LOCAL #define DLL_LOCAL
#else #else