Stream: Dune devs & users

Topic: Using a compiled library

view this post on Zulip Julin Shaji (Oct 15 2023 at 16:25):

Hi. How can we make dune use a library which was compiled 'manually' (as in with make).

I got a mathcomp compiled with make and wanted to use it in a project managed with dune.

How can that be done?

view this post on Zulip Emilio Jesús Gallego Arias (Oct 15 2023 at 16:53):

Hi @Julin Shaji , if the library is installed, you need to add it to theories, for example (theories mathcomp.ssreflect)

Last updated: Oct 13 2024 at 01:02 UTC