From 6fa9ff1dc4a3189b98a45fedfbe702b03017f0ff Mon Sep 17 00:00:00 2001
From: Stephane Glondu <stephane.glondu@inria.fr>
Date: Fri, 22 Nov 2024 12:41:22 +0100
Subject: [PATCH] Add cmdline_api_version to --config output

This gives to reverse-dependencies the ability to auto-detect which
command-line syntax to use.
---
 src/params.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/params.ml b/src/params.ml
index 5ad2fbbd..48026eab 100644
--- a/src/params.ml
+++ b/src/params.ml
@@ -477,6 +477,7 @@ let configuration toolbox force =
   in
   let lines =
     [ "version == \"" ^ rawversion () ^ "\""
+    ; "cmdline_api_version == 2"
     ; "built_with == \"OCaml " ^ Sys.ocaml_version ^ "\""
     ; "tlapm_executable == \"" ^ Sys.executable_name ^ "\""
     ; "max_threads == " ^ string_of_int !max_threads