summaryrefslogtreecommitdiff
path: root/otherlibs
diff options
context:
space:
mode:
authorDavid Allsopp <david.allsopp@metastack.com>2022-06-19 15:28:08 +0100
committerDavid Allsopp <david.allsopp@metastack.com>2022-07-18 10:26:57 +0100
commitd2f7460817eb9bc7ffc82efe0f8f86152d567dbf (patch)
treed7bd08c80b01f11906b4f660e6991766c9659145 /otherlibs
parentdd83acb7ee827cc9cd9eff18413d84db28ca9b33 (diff)
downloadocaml-d2f7460817eb9bc7ffc82efe0f8f86152d567dbf.tar.gz
Simplify systhreads META file
threads.posix is an artefact of vmthreads days - keep it as an alias of the main package only. No need for all the various predicates and so forth, therefore.
Diffstat (limited to 'otherlibs')
-rw-r--r--otherlibs/systhreads/META.in15
1 files changed, 4 insertions, 11 deletions
diff --git a/otherlibs/systhreads/META.in b/otherlibs/systhreads/META.in
index 20b2935a20..07d301f116 100644
--- a/otherlibs/systhreads/META.in
+++ b/otherlibs/systhreads/META.in
@@ -2,19 +2,12 @@
version = "@VERSION@"
description = "Multi-threading"
-requires(mt,mt_posix) = "threads.posix"
-directory = "+"
+requires = "unix"
+archive(byte) = "threads.cma"
+archive(native) = "threads.cmxa"
type_of_threads = "posix"
package "posix" (
- requires = "unix"
- exists_if = "threads.cma"
- archive(byte,mt,mt_posix) = "threads.cma"
- archive(native,mt,mt_posix) = "threads.cmxa"
- version = "[internal]"
-)
-
-package "none" (
- error = "threading is not supported on this platform"
+ requires = "threads"
version = "[internal]"
)