Skip to content

Commit

Permalink
add odoc package as a link deps to the driver
Browse files Browse the repository at this point in the history
  • Loading branch information
EmileTrotignon authored and jonludlam committed Jul 11, 2024
1 parent 8a57083 commit 9f3548b
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions src/driver/dune
Original file line number Diff line number Diff line change
@@ -1,6 +1,8 @@
(executable
(public_name odoc_driver)
(package odoc-driver)
(link_deps
(package odoc))
(libraries
cmdliner
bos
Expand Down

0 comments on commit 9f3548b

Please sign in to comment.