diff options
| author | Nicolás Ojeda Bär <n.oje.bar@gmail.com> | 2022-01-20 18:01:53 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-20 18:01:53 +0100 |
| commit | f4b6dce80acdbdef56a9d56cb2f6a2fe16837da4 (patch) | |
| tree | 92fd12482228428a67bdbb229218a0ea22d74965 /otherlibs/Makefile | |
| parent | e793bfa0c6c514bca62f2f30e1d5e3145603d9c5 (diff) | |
| download | ocaml-f4b6dce80acdbdef56a9d56cb2f6a2fe16837da4.tar.gz | |
Remove `Stream`, `Genlex`, `Pervasives` & the legacy `bigarray` library (#10896)
Diffstat (limited to 'otherlibs/Makefile')
| -rw-r--r-- | otherlibs/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/Makefile b/otherlibs/Makefile index bd7b883614..7f1a7edfa2 100644 --- a/otherlibs/Makefile +++ b/otherlibs/Makefile @@ -16,7 +16,7 @@ ROOTDIR=.. include $(ROOTDIR)/Makefile.common -OTHERLIBRARIES ?= bigarray dynlink str systhreads \ +OTHERLIBRARIES ?= dynlink str systhreads \ unix win32unix # $1: target name to dispatch to all otherlibs/*/Makefile |