1 files changed, 2 insertions, 1 deletions
diff --git a/configure.ml b/configure.ml
index 23ec93e07..7e125d87c 100644
--- a/configure.ml
+++ b/configure.ml
@@ -11,7 +11,7 @@
 #load "str.cma"
 open Printf
 
-let coq_version = "8.6.0"
+let coq_version = "trunk"
 let coq_macos_version = "8.4.90" (** "[...] should be a string comprised of
 three non-negative, period-separated integers [...]" *)
 let vo_magic = 8511
@@ -1093,6 +1093,7 @@ let write_makefile f =
   pr "LOCAL=%B\n\n" !Prefs.local;
   pr "# Bytecode link flags : should we use -custom or not ?\n";
   pr "CUSTOM=%s\n" custom_flag;
+  pr "VMBYTEFLAGS=%s\n" (String.concat " " vmbyteflags);
   pr "%s\n\n" !build_loadpath;
   pr "# Paths for true installation\n";
   List.iter (fun (v,msg,_,_) -> pr "# %s: path for %s\n" v msg) install_dirs;