chore: add ADA_TOOLS option (#413)

Author: myd7349

.github/workflows/emscripten.yml

@@ -32,7 +32,7 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v3
       - name: Configure
-        run: emcmake  cmake -B buildwasm
+        run: emcmake  cmake -B buildwasm -D ADA_TOOLS=OFF
       - name: Build
         run: cmake --build buildwasm
       - name: Test

CMakeLists.txt

@@ -69,6 +69,9 @@ include(GNUInstallDirs)
 
 if(NOT ADA_COVERAGE AND NOT EMSCRIPTEN)
   add_subdirectory(singleheader)
+endif()
+
+if(ADA_TOOLS)
   add_subdirectory(tools)
 endif()
 

cmake/ada-flags.cmake

@@ -12,6 +12,7 @@ if(ADA_SANITIZE_UNDEFINED)
   message(STATUS "Undefined sanitizer enabled.")
 endif()
 option(ADA_COVERAGE "Compute coverage" OFF)
+option(ADA_TOOLS "Build cli tools (adaparse)" ON)
 
 if (ADA_COVERAGE)
     message(STATUS "You want to compute coverage. We assume that you have installed gcovr.")