Skip to content

Commit

Permalink
workaround dune -fPIC issue
Browse files Browse the repository at this point in the history
  • Loading branch information
rr0gi committed Nov 8, 2023
1 parent d6a1e80 commit 626726e
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 0 deletions.
1 change: 1 addition & 0 deletions cuda_ffi/dune
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@
(external_library_name libcuda)
(build_flags_resolver
(vendored
(c_flags :standard -fPIC)
(c_library_flags
-lcuda
-I
Expand Down
1 change: 1 addition & 0 deletions nvrtc_ffi/dune
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@
(external_library_name libnvrtc)
(build_flags_resolver
(vendored
(c_flags :standard -fPIC)
(c_library_flags
-lnvrtc
-I
Expand Down

0 comments on commit 626726e

Please sign in to comment.