Stream: MetaCoq

Topic: Fixing dynlink errors?


view this post on Zulip Jason Gross (Apr 03 2023 at 00:59):

How do I fix Error: Error: Dynlink error: no implementation available for OrdersAlt in #882? I've already added gen-src/ordersAlt.ml and gen-src/ordersAlt.mli to template-coq/_PluginProject and template-coq/_PluginProject.in and added OrdersAlt to template-coq/src/template_coq.mlpack

Btw, locally I'm getting

Error:
Dynlink error: error loading shared library: Dynlink.Error (Dynlink.Cannot_open_dll "Failure(\"././gen-src/metacoq_template_plugin.cmxs: undefined symbol: camlMetacoq_template_plugin__OrdersAlt__Backport_OT_444\")")
Findlib paths:

instead, which seems pretty similar.

view this post on Zulip Jason Gross (Apr 03 2023 at 01:12):

Ah, I guess I have to update gen-src/metacoq_template_plugin.mlpack?

view this post on Zulip Matthieu Sozeau (Apr 03 2023 at 10:12):

It could also be the ordering you use in the mlpack


Last updated: Jul 23 2024 at 20:01 UTC