File tree 1 file changed +4
-3
lines changed
1 file changed +4
-3
lines changed Original file line number Diff line number Diff line change @@ -37,13 +37,14 @@ class LibError(Exception):
37
37
BUILD_PLATFORM = "emscripten"
38
38
BUILD_ARCH = "wasm32"
39
39
BUILD_OS_VERSION = os .environ ['_PYTHON_HOST_PLATFORM' ].split ('_' )[1 :- 1 ]
40
+ build_env ['CFLAGS' ] = build_env .get ('CFLAGS' , '' ) + " -fexceptions -pthread"
41
+ build_env ['CXXFLAGS' ] = build_env .get ('CXXFLAGS' , '' ) + " -fexceptions -pthread"
42
+ build_env ['LDFLAGS' ] = build_env .get ('LDFLAGS' , '' ) + " -fexceptions -pthread"
43
+
40
44
else :
41
45
BUILD_PLATFORM = sys .platform
42
46
BUILD_ARCH = os .environ .get ("Z3_CROSS_COMPILING" , platform .machine ())
43
47
BUILD_OS_VERSION = platform .mac_ver ()[0 ].split ("." )[:2 ]
44
- build_env ['CFLAGS' ] = build_env .get ('CFLAGS' , '' ) + " -fexceptions -pthread"
45
- build_env ['CXXFLAGS' ] = build_env .get ('CXXFLAGS' , '' ) + " -fexceptions -pthread"
46
- build_env ['LDFLAGS' ] = build_env .get ('LDFLAGS' , '' ) + " -fexceptions -pthread"
47
48
else :
48
49
if not os .path .isdir (RELEASE_DIR ):
49
50
raise Exception ("RELEASE_DIR (%s) is not a directory!" % RELEASE_DIR )
You can’t perform that action at this time.
0 commit comments