Commit e929c65f authored by Guillaume Melquiond's avatar Guillaume Melquiond

Make builds more reproducible (bug #20444).

The date at which the configure script was run does not carry much
information, so get rid of it.
parent 12b97bbb
......@@ -711,11 +711,8 @@ dnl AC_CHECK_PROGS(PDFVIEWER,xpdf acroread evince)
VERSION=$PACKAGE_VERSION
BUILDDATE="$(date)"
# substitutions to perform
AC_SUBST(VERSION)
AC_SUBST(BUILDDATE)
AC_SUBST(enable_verbose_make)
......
......@@ -23,7 +23,6 @@ fi
echo "
let version = \"@VERSION@\"
let builddate = \"@BUILDDATE@\"
let libdir = $libdir
let datadir = $datadir
......
......@@ -42,8 +42,8 @@ let option_list = [
Arg.Unit (fun _ -> printf "%s@." Config.datadir; exit 0),
" print location of non-binary data (theories, modules, etc)";
"--version",
Arg.Unit (fun _ -> printf "Why3 platform, version %s (build date: %s)@."
Config.version Config.builddate; exit 0),
Arg.Unit (fun _ -> printf "Why3 platform, version %s@."
Config.version; exit 0),
" print version information";
]
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment