Skip to content

Commit

Permalink
workaround dune special builtins issue
Browse files Browse the repository at this point in the history
  • Loading branch information
avsm authored and patricoferris committed Feb 10, 2022
1 parent 6a89bcf commit 9ec7641
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions src/findlib/dune
Original file line number Diff line number Diff line change
Expand Up @@ -7,14 +7,14 @@
(libraries findlib.internal unix))

(library
(name findlib_public)
(public_name findlib)
(name findlib_internal)
(public_name findlib.internal)
(modules)
(libraries findlib.internal))
(libraries findlib))

(library
(name findlib_internal)
(public_name findlib.internal)
(name findlib)
(public_name findlib)
(modules findlib fl_args fl_lint fl_package_base fl_metascanner
fl_metatoken fl_split fl_meta fl_topo findlib_config)
(flags (:standard -w -6-27-32-33-50))
Expand Down

0 comments on commit 9ec7641

Please sign in to comment.