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 = ()