diff options
| author | Jason Evans <je@fb.com> | 2016-03-14 20:19:11 -0700 |
|---|---|---|
| committer | Jason Evans <je@fb.com> | 2016-03-14 20:19:11 -0700 |
| commit | 434ea64b267e5e9e16a66ab1cccf9fab34302ff5 (patch) | |
| tree | 8a3ee6217f7fb118e1ab0edb95370ead6d898765 /INSTALL | |
| parent | 824b947be08e87e0c317f585c250731897c2aa2c (diff) | |
| download | platform_external_jemalloc_new-434ea64b267e5e9e16a66ab1cccf9fab34302ff5.tar.gz platform_external_jemalloc_new-434ea64b267e5e9e16a66ab1cccf9fab34302ff5.tar.bz2 platform_external_jemalloc_new-434ea64b267e5e9e16a66ab1cccf9fab34302ff5.zip | |
Add --with-version.
Also avoid deleting the VERSION file while trying to (re)generate it.
This resolves #305.
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -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. |