diff options
author | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-07-07 20:27:56 +0200 |
---|---|---|
committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-07-07 20:31:30 +0200 |
commit | 17d8a49247ad82ca59def4c577031101f61bbf08 (patch) | |
tree | 8ee004df8d6ff7e252f346e3593169e374de8796 /configure.ml | |
parent | 21be7a5dba2fdfa40fd7b4a3d94610947d202bb7 (diff) | |
parent | 947b30150602ba951efa4717d30d4a380482a963 (diff) |
Merge branch 'v8.5' into v8.6
Diffstat (limited to 'configure.ml')
-rw-r--r-- | configure.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/configure.ml b/configure.ml index 06d8e713b..c8096b9e0 100644 --- a/configure.ml +++ b/configure.ml @@ -13,7 +13,7 @@ open Printf let coq_version = "trunk" let coq_macos_version = "8.4.90" (** "[...] should be a string comprised of -three non-negative, period-separed integers [...]" *) +three non-negative, period-separated integers [...]" *) let vo_magic = 8511 let state_magic = 58511 let distributed_exec = ["coqtop";"coqc";"coqchk";"coqdoc";"coqmktop";"coqworkmgr"; @@ -934,7 +934,7 @@ let print_summary () = pr "\n"; pr " Architecture : %s\n" arch; if operating_system <> "" then - pr " Operating system : %s\n" operating_system; + pr " Operating system : %s\n" operating_system; pr " Coq VM bytecode link flags : %s\n" (String.concat " " vmbyteflags); pr " Other bytecode link flags : %s\n" custom_flag; pr " OS dependent libraries : %s\n" osdeplibs; |