diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-04-06 15:34:05 +0200 |
---|---|---|
committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-04-10 10:03:47 +0200 |
commit | 988349da1a92da125d3722e306d02931ac428b2a (patch) | |
tree | d781b0769307e0ce8c4f1aeb207bdc85f88d2657 /Makefile.config.in | |
parent | 776f3365991178d66cc86728a59dac5e118b1c95 (diff) | |
download | ocaml-988349da1a92da125d3722e306d02931ac428b2a.tar.gz |
otherlibs: Merge win32unix into unix
Diffstat (limited to 'Makefile.config.in')
-rw-r--r-- | Makefile.config.in | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile.config.in b/Makefile.config.in index 6ee1453d88..fabec894ae 100644 --- a/Makefile.config.in +++ b/Makefile.config.in @@ -181,7 +181,6 @@ PTHREAD_CAML_LIBS=$(addprefix -cclib ,$(PTHREAD_LIBS)) PTHREAD_CFLAGS=@PTHREAD_CFLAGS@ UNIX_OR_WIN32=@unix_or_win32@ -UNIXLIB=@unixlib@ INSTALL_SOURCE_ARTIFACTS=@install_source_artifacts@ OC_CFLAGS=@oc_cflags@ @@ -273,6 +272,10 @@ FLEXLINK=$(FLEXLINK_CMD) $(FLEXLINK_FLAGS) # Deprecated variables +## Variables deprecated since OCaml 5.0 + +UNIXLIB=unix + ## Variables renamed in OCaml 4.13 RUNTIMEI=$(INSTRUMENTED_RUNTIME) |