Skip to content

Commit

Permalink
Add cmdline_api_version to --config output
Browse files Browse the repository at this point in the history
This gives to reverse-dependencies the ability to auto-detect which
command-line syntax to use.
  • Loading branch information
Stephane Glondu committed Nov 22, 2024
1 parent a496fa5 commit 6fa9ff1
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions src/params.ml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 6fa9ff1

Please sign in to comment.