Add -lstdc++ ?

owlbarn · Nov 10, 2020 · 8de3f76 · 8de3f76
1 parent ec1cd57
commit 8de3f76
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/eigen/dune b/eigen/dune
@@ -40,5 +40,6 @@ let () = Printf.ksprintf Jbuild_plugin.V1.send {|
   (include_dirs ../eigen_cpp/lib)
   (flags :standard %s)
   )
+ (c_library_flags :standard -lstdc++)
 )
 |} eigen_flags