Merge pull request #474 from VeriFIT/wasm-build

Support of the WASM build #patch

3rdparty/simlib/include/mata/simlib/util/shared_list.hh

@@ -108,7 +108,7 @@ public:
 		}
 
 		if (elem)
-			--elem->counter_;
+			--elem->refcount_;
 	}
 
 	template <class Deleter>

CMakeLists.txt

@@ -11,6 +11,11 @@ set(CMAKE_MODULE_PATH "${PROJECT_SOURCE_DIR}/cmake" ${CMAKE_MODULE_PATH})
 option(MATA_WERROR "Warnings should be handled as errors" OFF)
 option(MATA_ENABLE_COVERAGE "Build with coverage compiler flags" OFF)
 
+# For the case of WASM build we need to add -pthread option
+if (EMSCRIPTEN)
+    add_compile_options(-pthread)
+endif()
+
 # Only do these if this is the main project, and not if it is included through add_subdirectory
 if(CMAKE_PROJECT_NAME STREQUAL PROJECT_NAME)
     # Store compile commands into 'build/compile_commands.json', which are needed, beside others, for linters.

README-WASM.md

@@ -0,0 +1,9 @@
+## Building Mata to WASM
+
+In order to build Mata library to WASM, you need to have `emscripten` set up, along with all of its dependencies. 
+You can use the system packages or consult [emsdk](https://github.com/emscripten-core/emsdk).
+For building Mata to WASM then use the following steps:
+
+1. create folder `build-wasm` for the WASM build of libmata.a
+2. in `build-wasm` run `emcmake cmake -DBUILD_TYPE=Release -DMATA_BUILD_EXAMPLES:BOOL=OFF -DBUILD_TESTING:BOOL=OFF ..`
+3. build the library using `emmake make` (the WASM static library `src/libmata.a` should be created after that)

src/CMakeLists.txt

@@ -34,6 +34,11 @@ set_target_properties(libmata PROPERTIES
 
 target_include_directories(libmata PUBLIC "${PROJECT_SOURCE_DIR}/include/")
 
+# For the case of WASM build we need to link with pthread
+if (EMSCRIPTEN)
+	target_link_libraries(libmata PRIVATE pthread)
+endif()
+
 target_link_libraries(libmata PUBLIC cudd simlib)
 target_link_libraries(libmata PRIVATE re2)