Use DKCODER_TOOL_MODULE not DKCODER_TOOL_VERSION

Author: jonahbeckford

__dk.cmake

@@ -363,7 +363,7 @@ endfunction()
 # - DKCODER_TOOL - location of the `dkcoder-tool` executable
 # - DKCODER_VERSION - dotted form of DkCoder like 0.2.0.1
 # - DKCODER_RUN - location of the `DkCoder_Edge-Run` executable (here "Edge" means the latest version for the VERSION; aka. the VERSION itself)
-# - DKCODER_TOOL_VERSION - `Env` or `V0_2`. Whatever was used to launch in `./dk DkRun_V0_2.Run` (etc.)
+# - DKCODER_TOOL_MODULE - `DkRun_Env.Run` or `DkRun_V0_2.Run`. Whatever was used to launch in `./dk DkRun_V0_2.Run` (etc.)
 # - DKCODER_HELPERS - location of bin directory or DkCoder.bundle/Contents/Helpers on macOS
 # - DKCODER_ETC - location of etc/dkcoder directory
 # - DKCODER_BASE_SITELIB - location of lib/ directory containing the base system that at minimum includes the ocaml-system (ie. lib/ocaml/)
@@ -621,8 +621,8 @@ stdlib="@DKCODER_HOME@/DkCoder.bundle/Contents/Resources/lib/ocaml"]] @ONLY NEWL
     # Export version
     set(DKCODER_VERSION "${compile_version}" PARENT_SCOPE)
 
-    # Export run vid (Env or V0_1)
-    set(DKCODER_TOOL_VERSION "${V_id}" PARENT_SCOPE)
+    # Export run module (Env or V0_1)
+    set(DKCODER_TOOL_MODULE "DkRun_${V_id}.Run" PARENT_SCOPE)
 endfunction()
 
 macro(__dkcoder_prep_environment)
@@ -709,7 +709,7 @@ function(__dkcoder_delegate)
         __dkcoder_add_environment_set("DKCODER_NINJA_EXE=${CMAKE_MAKE_PROGRAM}")
     endif()
 
-    # Propagate DKCODER_SHARE and DKCODER_HELPERS and DKCODER_TOOL_VERSION.
+    # Propagate DKCODER_SHARE and DKCODER_HELPERS and DKCODER_TOOL_MODULE.
     #   Why not DKCODER_HOST_ABI? DkRun has a hardcoded default (so ABI hardcoding comes from the downloaded DkRun
     #   which is chosen by ./dk). But we don't change the default since a future DkRun may have a better
     #   detection of ABI (ex. ./dk downloads x86_64 for macOS but ABI is detected as arm64).
@@ -729,7 +729,7 @@ function(__dkcoder_delegate)
     elseif(ARG_VERSION VERSION_GREATER 0.4.0.1)
         __dkcoder_add_environment_set("DKCODER_SITELIB=${DKCODER_BASE_SITELIB_NATIVE}")
     endif()
-    __dkcoder_add_environment_set("DKCODER_TOOL_VERSION=${DKCODER_TOOL_VERSION}")
+    __dkcoder_add_environment_set("DKCODER_TOOL_MODULE=${DKCODER_TOOL_MODULE}")
     __dkcoder_add_environment_set("DKCODER_TOOL_ENV_URL_BASE=${__DkRun_Env_URL_BASE}")
     __dkcoder_add_environment_set("DKCODER_PWD=${DKCODER_PWD}")
     __dkcoder_add_environment_set("DKCODER_ARG0=${DKCODER_ARG0}")