Merge pull request #8 from imandra-ai/simon/compat-4.12

chore: compat with 4.12

.github/workflows/main.yml

@@ -18,7 +18,7 @@ jobs:
               #- macos-latest
               #- windows-latest
         ocaml-compiler:
-            - '4.13'
+            - '4.12'
             - '5.2'
 
     runs-on: ${{ matrix.os }}

dune-project

@@ -22,7 +22,7 @@
  (synopsis "Core utils library for Imandra")
  (depends
   (ocaml
-   (>= 4.13))
+   (>= 4.12))
   dune
   (containers
    (>= 3.4))
@@ -66,7 +66,7 @@
  (synopsis "Logging utils for Imandra")
  (depends
   (ocaml
-   (>= 4.13))
+   (>= 4.12))
   (imandrakit
    (= :version))
   hmap
@@ -83,7 +83,7 @@
  (synopsis "IO utils for Imandra")
  (depends
   (ocaml
-   (>= 4.13))
+   (>= 4.12))
   (imandrakit
    (= :version))
   (imandrakit-log

imandrakit-io.opam

@@ -9,7 +9,7 @@ homepage: "https://github.com/imandra-ai/imandrakit"
 bug-reports: "https://github.com/imandra-ai/imandrakit/issues"
 depends: [
   "dune" {>= "3.0"}
-  "ocaml" {>= "4.13"}
+  "ocaml" {>= "4.12"}
   "imandrakit" {= version}
   "imandrakit-log" {= version}
   "moonpool" {>= "0.6"}

imandrakit-log.opam

@@ -8,7 +8,7 @@ license: "MIT"
 homepage: "https://github.com/imandra-ai/imandrakit"
 bug-reports: "https://github.com/imandra-ai/imandrakit/issues"
 depends: [
-  "ocaml" {>= "4.13"}
+  "ocaml" {>= "4.12"}
   "imandrakit" {= version}
   "hmap"
   "dune" {>= "3.0"}

imandrakit.opam

@@ -9,7 +9,7 @@ tags: ["moonpool" "multicore" "thread" "logs" "logging"]
 homepage: "https://github.com/imandra-ai/imandrakit"
 bug-reports: "https://github.com/imandra-ai/imandrakit/issues"
 depends: [
-  "ocaml" {>= "4.13"}
+  "ocaml" {>= "4.12"}
   "dune" {>= "3.0"}
   "containers" {>= "3.4"}
   "iter" {>= "1.0"}

src/io/dune

@@ -3,6 +3,14 @@
  (public_name imandrakit-io)
  (synopsis "Utils around IO/unix")
  (libraries imandrakit imandrakit-log moonpool threads unix)
+ (private_modules realpath_)
  (preprocess
   (pps ppx_deriving.std))
  (flags :standard -open Imandrakit))
+
+(rule
+ (targets realpath_.ml)
+ (action
+  (with-stdout-to
+   %{targets}
+   (run ./gen/gen.exe))))

src/io/gen/dune

@@ -0,0 +1,2 @@
+(executable
+ (name gen))

src/io/gen/gen.ml

@@ -0,0 +1,14 @@
+let after_4_13 = {|
+let realpath = Unix.realpath 
+|}
+
+let before_4_13 = {|
+let realpath x = x
+|}
+
+let () =
+  let major, min = Scanf.sscanf Sys.ocaml_version "%d.%d" (fun x y -> x, y) in
+  if (major, min) >= (4, 13) then
+    print_endline after_4_13
+  else
+    print_endline before_4_13

src/io/imandrakit_io.ml

@@ -47,7 +47,7 @@ let make_absolute ?(in_dir = Sys.getcwd ()) file_name =
     else
       Filename.concat in_dir file_name
   in
-  try Unix.realpath f
+  try Realpath_.realpath f
   with Unix.Unix_error (Unix.ENOENT, _, _) -> normalize_in_mem_ f
 
 let find_file ?(in_dir = Sys.getcwd ()) ~file_name ~load_path () :