diff options
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) |