Add --with-version.

Also avoid deleting the VERSION file while trying to (re)generate it. This resolves #305.
2016-03-14 20:19:11 -07:00
parent 824b947be0
commit 434ea64b26
2 changed files with 33 additions and 20 deletions
--- a/4
+++ b/4
@@ -35,6 +35,10 @@ any of the following arguments (not a definitive list) to 'configure':
    will cause files to be installed into /usr/local/include, /usr/local/lib,
    and /usr/local/man.

+--with-version=<major>.<minor>.<bugfix>-<nrev>-g<gid>
+    Use the specified version string rather than trying to generate one (if in
+    a git repository) or use existing the VERSION file (if present).
+
 --with-rpath=<colon-separated-rpath>
    Embed one or more library paths, so that libjemalloc can find the libraries
    it is linked to.  This works only on ELF-based systems.