[macOS] copy .dylib into .so - Githubissues

bobot / ocaml-flint

GNU Lesser General Public License v2.1

5 stars 3 forks source link

[macOS] copy .dylib into .so #3

Closed correnson closed 1 year ago

correnson commented 1 year ago

Workaround dune issue with ext_dll='.so' under macOS.