Fix some compilation warnings and enable Windows JIT (#586)
This commit is contained in:
@ -117,6 +117,7 @@ ExternalProject_Add(bwa
|
||||
UPDATE_COMMAND git clean -fd && git checkout -- *
|
||||
&& ${CMAKE_COMMAND} -E echo "Copying pre-installed CMakeLists.txt"
|
||||
&& ${CMAKE_COMMAND} -E copy ${CMAKE_CURRENT_SOURCE_DIR}/CMakeLists.bwa_wasm.txt CMakeLists.txt
|
||||
&& git apply ../bwa.patch
|
||||
CONFIGURE_COMMAND ${CMAKE_COMMAND}
|
||||
-DWASI_SDK_PREFIX=${WASI_SDK_HOME}/wasi-sdk
|
||||
-DCMAKE_TOOLCHAIN_FILE=${WASI_SDK_HOME}/wasi-sdk/share/cmake/wasi-sdk.cmake
|
||||
|
||||
13
samples/workload/bwa/bwa.patch
Normal file
13
samples/workload/bwa/bwa.patch
Normal file
@ -0,0 +1,13 @@
|
||||
diff --git a/utils.c b/utils.c
|
||||
index 9ceb1be..323299f 100644
|
||||
--- a/utils.c
|
||||
+++ b/utils.c
|
||||
@@ -301,6 +301,7 @@ long peakrss(void)
|
||||
#ifdef __linux__
|
||||
return r.ru_maxrss * 1024;
|
||||
#else
|
||||
- return r.ru_maxrss;
|
||||
+ /*return r.ru_maxrss;*/
|
||||
+ return 0;
|
||||
#endif
|
||||
}
|
||||
Reference in New Issue
Block a user