0

In my project, I'm using OCanren package which I installed as described here: https://github.com/JetBrains-Research/OCanren#Installation.

I have a file test.ml where I use OCanren:

open OCanren

let _ = inj

And a dune file in the same directory:

(executable
  (name      test)
  (libraries ocanren mtime mtime.clock.os mtime.clock mtime.top)
  (flags     (:standard -rectypes)))

This is the problem I have when I try to build an executable:

$ dune build test.exe
File "_none_", line 1:
Error: No implementations provided for the following modules:
         Mtime_clock referenced from ~/.opam/4.07.1+fp+flambda/lib/ocanren/OCanren.cmxa(Timer)
         Mtime referenced from ~/.opam/4.07.1+fp+flambda/lib/ocanren/OCanren.cmxa(Timer),
           ~/.opam/4.07.1+fp+flambda/lib/ocanren/OCanren.cmxa(Core)
Done: 19/20 (jobs: 1)(base)

How do I provide the implementations for Mtime_clock and Mtime?

oquechy
  • 51
  • 4

1 Answers1

0

The solution was to put Mtime packages before OCanren in the dune file:

(executable
  (name      test)
  (libraries mtime mtime.clock.os ocanren)
  (flags     (:standard -rectypes)))
oquechy
  • 51
  • 4