Kay-Uwe Kirstein

I had a similar issue with header files not being copied to the correct location on cygwin (was a "Windows-path-backslash issue"). With stdint 0.4.2 & oasis 0.4.10 this seems to...

The current version of merlin (github/master, not yet released) now also compiles on Windows. So, from my point of view it would make sense to think about support of merlin...

@Khady Thanks for the feedback. Yes, I am using it on Windows (cygwin environment with mingw toolchain for ocaml). Merlin 3 works with vim, but not with vscode, so I...

@kit-ty-kate You pointed to the right location. Actually I had a mix-up of different versions. I have both repos upstream `opam-repository` from ocaml.org & `opam-repository-mingw` from github/fdopen in my opam...

@gasche I would agree with fdopen that we should keep the number of packages in the mingw repo with special patches small and concentrate of merging Windows-related patches to the...

A more general question: What is the roadmap for `ocamlbuild` anyway? `dune` is getting more and more adoption and has advantage with respect to platform independence. But I also remember...

I get the same error when installing `owl-zoo` (on Ubuntu 20.04). It looks like `-lstdc++` has been (accidentely?) removed for `dlleigen_cpp_stubs` ([commit](https://github.com/owlbarn/eigen/commit/ec1cd573743f5bc840a8665c2178897da6fc7f76#diff-7303594a5241ee580ba49a4530afa6df7d41b9f9d386b010eebd452568f5c1fb)) and (re-)added for `eigen` lib itself ([commit](https://github.com/owlbarn/eigen/commit/8de3f768c43603184f6ec336d6b39475e87217b5#diff-26882ef549c7a6b2123188d6890479a48518ce4bb1d78b521eac56f7b8c83e56)). I...

@ryanrhymes @mseri thanks for your hints. That explains the „movement“ of linking flags. I will also test the fix on Windows when merged.

Thanks for your work! Here is my feedback so far, first for Linux (Ubuntu 20.04, WSL2, OCaml 4.11.1): ``` opam pin add eigen https://github.com/owlbarn/eigen.git ``` -> `eigen` and `owl` installs...

.. and here the feedback for Windows10 (mingw toolchain in a Cygwin environment): ``` $ opam pin add eigen https://github.com/owlbarn/eigen.git [eigen.0.3.0] synchronised from git+https://github.com/owlbarn/eigen.git eigen is now pinned to git+https://github.com/owlbarn/eigen.git...