diff --git a/eigen/dune b/eigen/dune index 72031ab..8d7a016 100644 --- a/eigen/dune +++ b/eigen/dune @@ -38,6 +38,6 @@ let () = Printf.ksprintf Jbuild_plugin.V1.send {| (names eigen_utils_stubs ffi_eigen_generated_stub) (flags :standard %s -I../eigen_cpp/lib) ) - (c_library_flags :standard -lstdc++) + (c_library_flags :standard) ) |} eigen_flags