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.
Ah, I guess I have to update gen-src/metacoq_template_plugin.mlpack
?
It could also be the ordering you use in the mlpack
Last updated: Oct 13 2024 at 01:02 UTC