Update

Signed-off-by: Marcello Seri <[email protected]>
owlbarn · Jul 16, 2021 · 5da90ba · 5da90ba
1 parent 5978e22
commit 5da90ba
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 3 deletions.
diff --git 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
@@ -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