From d2147723de857b9bae88d180d72ae87517d28f37 Mon Sep 17 00:00:00 2001
From: Marcello Seri <marcello.seri@gmail.com>
Date: Sat, 14 Nov 2020 22:47:33 +0100
Subject: [PATCH] move -lstdc++

Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
---
 eigen/dune     | 1 -
 eigen_cpp/dune | 1 +
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/eigen/dune b/eigen/dune
index 514aba4..f8e1e56 100644
--- a/eigen/dune
+++ b/eigen/dune
@@ -40,6 +40,5 @@ let () = Printf.ksprintf Jbuild_plugin.V1.send {|
   (include_dirs ../eigen_cpp/lib)
   (flags :standard %s)
   )
- (c_library_flags :standard -lstdc++)
 )
 |} eigen_flags
diff --git a/eigen_cpp/dune b/eigen_cpp/dune
index 6ac18a1..b6ddf56 100644
--- a/eigen_cpp/dune
+++ b/eigen_cpp/dune
@@ -28,6 +28,7 @@ let () = Printf.ksprintf Jbuild_plugin.V1.send {|
    -pedantic
    -O3
    -std=c++11
+   -lstdc++
    %s
    %s
   )