Merge pull request #580 from rgrinberg/meta-exclude-private-libs

META file includes private libraries
This commit is contained in:
Rudi Grinberg 2018-03-05 16:30:23 +07:00 committed by GitHub
commit 2945569839
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 2 deletions

View File

@ -6,10 +6,13 @@
(public_name foobar)
(synopsis "contains \"quotes\"")))
(library
((name privatelib)))
(library
((name foobar_baz)
(public_name foobar.baz)
(libraries (bytes))
(libraries (bytes privatelib))
(modes (byte))
(synopsis "sub library with modes set to byte")))

View File

@ -8,7 +8,7 @@
package "baz" (
directory = "baz"
description = "sub library with modes set to byte"
requires = "bytes"
requires = "bytes privatelib"
archive(byte) = "foobar_baz.cma"
archive(native) = "foobar_baz.cmxa"
plugin(byte) = "foobar_baz.cma"