Skip to content

Commit 2c7c86a

Browse files
authored
Merge pull request #10586 from dra27/fix-manpages-partial
Fix manpages build when libraries are disabled
2 parents 23c8433 + d12ddb5 commit 2c7c86a

2 files changed

Lines changed: 18 additions & 5 deletions

File tree

Changes

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -762,6 +762,10 @@ OCaml 4.13.0
762762
- #10550, #10551: fix pretty-print of gadt-pattern-with-type-vars
763763
(Chet Murthy, review by Gabriel Scherer)
764764

765+
- #10584, #10856: Standard Library documentation build no longer fails if
766+
optional libraries have been disabled.
767+
(David Allsopp, report by Yuri Victorovich review by ???)
768+
765769
OCaml 4.12, maintenance version
766770
-------------------------------
767771

api_docgen/Makefile.docfiles

Lines changed: 14 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -42,11 +42,20 @@ STDLIB=$(filter-out stdlib__Pervasives, $(STDLIB_MODULES))
4242

4343
stdlib_UNPREFIXED=$(filter-out pervasives, $(STDLIB_MODULE_BASENAMES))
4444

45-
otherlibref= \
46-
$(str_MLIS:%.mli=%) \
47-
$(unix_MLIS:%.mli=%) \
48-
$(dynlink_MLIS:%.mli=%) \
49-
$(thread_MLIS:%.mli=%)
45+
otherlibref := $(dynlink_MLIS:%.mli=%)
46+
47+
ifneq "$(filter str,$(OTHERLIBRARIES))" ""
48+
otherlibref += $(str_MLIS:%.mli=%)
49+
endif
50+
51+
ifneq "$(filter %unix,$(OTHERLIBRARIES))" ""
52+
otherlibref += $(unix_MLIS:%.mli=%)
53+
endif
54+
55+
ifneq "$(filter systhreads,$(OTHERLIBRARIES))" ""
56+
otherlibref += $(thread_MLIS:%.mli=%)
57+
endif
58+
5059
libref_EXTRA=stdlib__pervasives
5160
libref_TEXT=Ocaml_operators Format_tutorial
5261
libref_C=$(call capitalize,$(libref) $(libref_EXTRA))

0 commit comments

Comments
 (0)