Add option for disabling dialyzer

Add RUN_DIALYZER option (default to ON).

Signed-off-by: Davide Bettio <[email protected]>

Author: bettio

CMakeLists.txt

@@ -33,6 +33,7 @@ option(AVM_VERBOSE_ABORT "Print module and line number on VM abort" OFF)
 option(AVM_RELEASE "Build an AtomVM release" OFF)
 option(AVM_CREATE_STACKTRACES "Create stacktraces" ON)
 option(COVERAGE "Build for code coverage" OFF)
+option(RUN_DIALYZER "Run dialyzer on BEAM modules" ON)
 
 if((${CMAKE_SYSTEM_NAME} STREQUAL "Darwin") OR
    (${CMAKE_SYSTEM_NAME} STREQUAL "Linux") OR

libs/CMakeLists.txt

@@ -40,7 +40,7 @@ else()
     pack_lib(atomvmlib eavmlib estdlib alisp)
 endif()
 
-if (Dialyzer_FOUND)
+if (Dialyzer_FOUND AND RUN_DIALYZER)
     add_custom_command(
         OUTPUT ${CMAKE_CURRENT_BINARY_DIR}/atomvmlib.plt
         DEPENDS atomvmlib
@@ -54,7 +54,7 @@ if (Dialyzer_FOUND)
         DEPENDS ${CMAKE_CURRENT_BINARY_DIR}/atomvmlib.plt
     )
 else()
-    message("Unable to find dialyzer -- skipping PLT build")
+    message("Dialyzer is not enabled -- skipping PLT build")
 endif()
 
 install(