diff options
Diffstat (limited to 'stdlib/StdlibModules')
-rw-r--r-- | stdlib/StdlibModules | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/stdlib/StdlibModules b/stdlib/StdlibModules index 8acddf94ed..87adf93773 100644 --- a/stdlib/StdlibModules +++ b/stdlib/StdlibModules @@ -34,11 +34,12 @@ STDLIB_MODS=\ stdlib pervasives seq option either result bool char uchar \ sys list bytes string unit marshal obj array float int int32 int64 nativeint \ lexing parsing set map stack queue camlinternalLazy lazy stream buffer \ - camlinternalDomain camlinternalFormat printf arg atomic \ + atomic mutex condition semaphore domain \ + camlinternalFormat printf arg \ printexc fun gc digest random hashtbl weak \ format scanf callback camlinternalOO oo camlinternalMod genlex ephemeron \ filename complex arrayLabels listLabels bytesLabels stringLabels moreLabels \ - stdLabels bigarray mutex condition semaphore domain + stdLabels bigarray STDLIB_MODULES=\ $(foreach module, $(STDLIB_MODS), $(call add_stdlib_prefix,$(module))) |