Skip to content

Commit 4352edc

Browse files
committed
Don't use private libraries.
1 parent 170b9aa commit 4352edc

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

lib_gen/dune

+3-3
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(library
22
(name errno_bindings)
3-
(package unix-errno)
3+
(public_name unix-errno.errno_bindings)
44
(modules unix_errno_bindings)
55
(wrapped false)
66
(libraries ctypes)
@@ -24,7 +24,7 @@
2424

2525
(library
2626
(name errno_types)
27-
(package unix-errno)
27+
(public_name unix-errno.errno_types)
2828
(modules unix_errno_types unix_errno_generated)
2929
(wrapped false)
3030
(libraries ctypes integers)
@@ -60,7 +60,7 @@
6060

6161
(library
6262
(name errno_types_detected)
63-
(package unix-errno)
63+
(public_name unix-errno.errno_types_detected)
6464
(modules unix_errno_types_detected)
6565
(flags (:standard -w -9-27))
6666
(libraries ctypes integers)

0 commit comments

Comments
 (0)