Add 2.1.4-r9

diskuv · Nov 9, 2024 · 71d47cd · 71d47cd
1 parent a21dab6
commit 71d47cd
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 7 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -2,6 +2,10 @@
 
 ## Pending
 
+## 2.1.4.9
+
+- The marshalled `.mli` filenames (part of `Location.t`) are now equal in both DkSDK CMake and DkSDK Coder for all the package dependencies of DkSDKFFI_OCaml: base,ocplib-endian,res,result,sexplib0, and stdio. That makes their `.cmi` checksums equivalent which avoids `make inconsistent assumptions` ocamlc errors.
+
 ## 2.1.4.8
 
 - Allow unpackaged scripts to run. That means `./dk DkRun_Project.Run somefile.ml` can have `somefile.ml` be any path on the filesystem. That gives a new third way to run scripts:

diff --git a/__dk.cmake b/__dk.cmake
@@ -80,14 +80,14 @@ set(__DkRun_V0_4_SHA256_windows_x86_64 394f897d7cfc791f115e5bf427c7f56e054b510cb
 set(__DkRun_V0_4_SHA256_windows_x86    d0561ee1b49728b05e008df16146bd6e282199d40fd9e67c21f059eee3aa3469)
 set(__DkRun_V0_4_EOL_YYYY_MM_DD "2025-06-30")
 set(__DkRun_V0_4_EOG_YYYY_MM_DD "2025-12-30")
-set(__DkRun_V2_1_COMPILE_VERSION 2.1.4-r8)
+set(__DkRun_V2_1_COMPILE_VERSION 2.1.4-r9)
 set(__DkRun_V2_1_URL_BASE https://gitlab.com/api/v4/projects/52918795/packages/generic/stdexport/${__DkRun_V2_1_COMPILE_VERSION})
-set(__DkRun_V2_1_SHA256_linux_x86_64   3f4b6540f0d3c2adf6da0ef76c0b8d06708ee56956d35e18a3c66a6aa9c70663)
-set(__DkRun_V2_1_SHA256_linux_x86      ae5878c4a090250c366ec20fd567b7321e770192020dc6ba0aca38422028b80a)
-set(__DkRun_V2_1_SHA256_darwin_x86_64  d0202c7f49618a5646148ab8bf35af3d877366b3f96893c71711be7793a19d70)
-set(__DkRun_V2_1_SHA256_darwin_arm64   20e4708ce8e6e490f7f14f080e0be88041e6519dd7c3bd162b7eeaca9eb080e9)
-set(__DkRun_V2_1_SHA256_windows_x86_64 3811d87c3cd730bf7af7812320f89af52d3c5ff1ae9101613a3cb08559c6370b)
-set(__DkRun_V2_1_SHA256_windows_x86    27dd7912b7dc5390ddf74c9310429b130b613b956576ebbdb7954df11bb9ec72)
+set(__DkRun_V2_1_SHA256_linux_x86_64   e33938ca264043a71acbeb58fcbe6f19e541281463f342bf9ecf056b751d6eaf)
+set(__DkRun_V2_1_SHA256_linux_x86      31dfdcab0fc1139b0dc22b50614aa1d9d4a4b80e7cdb6414bbcf7958d4381ed3)
+set(__DkRun_V2_1_SHA256_darwin_x86_64  4eb63df3b227160c54415be86500506fa28abe749f87fc55a0c94fbebc2c9f7d)
+set(__DkRun_V2_1_SHA256_darwin_arm64   ab05c9260883e3883b0bd0214f97b0ead1683f1918ff4db68a27b9a1b6ba3986)
+set(__DkRun_V2_1_SHA256_windows_x86_64 63a80464ae7bca7714588518d556b558f4f24c972edebdb5e03aa2972c6b80ce)
+set(__DkRun_V2_1_SHA256_windows_x86    139101637bd9a0c8f7f8c9f85727e196835aec9c32b3304355f1d91e7e4d6841)
 set(__DkRun_V2_1_EOL_YYYY_MM_DD "2025-08-30")
 set(__DkRun_V2_1_EOG_YYYY_MM_DD "2026-02-30")
 #   `Env` is a valid DkCoder version if $DKRUN_ENV_URL_BASE exists. Typically it is a file:// URL.