From 5da90bab19edc6fdd908771330becf61d1d06475 Mon Sep 17 00:00:00 2001 From: Marcello Seri Date: Fri, 16 Jul 2021 09:50:52 +0200 Subject: [PATCH] Update Signed-off-by: Marcello Seri --- eigen/dune | 2 +- eigen_cpp/dune | 2 +- eigen_cpp/eigen_cpp.ml | 1 - 3 files changed, 2 insertions(+), 3 deletions(-) delete mode 100644 eigen_cpp/eigen_cpp.ml diff --git a/eigen/dune b/eigen/dune index f8e1e56..6ddc65f 100644 --- a/eigen/dune +++ b/eigen/dune @@ -33,7 +33,7 @@ let () = Printf.ksprintf Jbuild_plugin.V1.send {| (public_name eigen) (libraries ctypes) (modules :standard ffi_eigen_generated) - (foreign_archives ../eigen_cpp/eigen_cpp_stubs) + (foreign_archives ../eigen_cpp/eigen_cpp) (foreign_stubs (language c) (names eigen_utils_stubs ffi_eigen_generated_stub) diff --git a/eigen_cpp/dune b/eigen_cpp/dune index 057040c..c1395fc 100644 --- a/eigen_cpp/dune +++ b/eigen_cpp/dune @@ -16,7 +16,7 @@ let () = Printf.ksprintf Jbuild_plugin.V1.send {| (include_subdirs unqualified) (foreign_library - (archive_name eigen_cpp_stubs) + (archive_name eigen_cpp) (language cxx) (names eigen_tensor eigen_dsmat eigen_spmat) (include_dirs lib lib/unsupported) diff --git a/eigen_cpp/eigen_cpp.ml b/eigen_cpp/eigen_cpp.ml deleted file mode 100644 index 3c3a727..0000000 --- a/eigen_cpp/eigen_cpp.ml +++ /dev/null @@ -1 +0,0 @@ -let linkme = ()