Skip to content
This repository
Browse code

[fix] build: Missing opa mini lib

  • Loading branch information...
commit b38b88d831d24dd4d7e5ca720733d5139aa924b1 1 parent b0ff6b7
Quentin Bourgerie BourgerieQuentin authored

Showing 1 changed file with 4 additions and 0 deletions. Show diff stats Hide diff stats

  1. +4 0 tools/build/build_rules.ml
4 tools/build/build_rules.ml
@@ -748,6 +748,10 @@ let plugin_building name =
748 748 ) options (List.rev mlfiles)
749 749 )
750 750 in
  751 + let options (* Opa files *) =
  752 + List.map (fun p -> P p) (List.filter (fun f -> Pathname.check_extension f "opa") files)
  753 + @ options
  754 + in
751 755 let is_static = Tags.mem "static" (tags_of_pathname path) in
752 756 let options =
753 757 if is_static then

0 comments on commit b38b88d

Please sign in to comment.
Something went wrong with that request. Please try again.