Permalink
Browse files

[fix] build: Missing opa mini lib

  • Loading branch information...
1 parent b0ff6b7 commit b38b88d831d24dd4d7e5ca720733d5139aa924b1 @BourgerieQuentin BourgerieQuentin committed Aug 9, 2012
Showing with 4 additions and 0 deletions.
  1. +4 −0 tools/build/build_rules.ml
@@ -748,6 +748,10 @@ let plugin_building name =
) options (List.rev mlfiles)
)
in
+ let options (* Opa files *) =
+ List.map (fun p -> P p) (List.filter (fun f -> Pathname.check_extension f "opa") files)
+ @ options
+ in
let is_static = Tags.mem "static" (tags_of_pathname path) in
let options =
if is_static then

0 comments on commit b38b88d

Please sign in to comment.