mirror of
https://github.com/facebook/rocksdb.git
synced 2024-12-02 01:16:16 +00:00
18285c1e2f
Summary: Make RocksDb build and run on Windows to be functionally complete and performant. All existing test cases run with no regressions. Performance numbers are in the pull-request. Test plan: make all of the existing unit tests pass, obtain perf numbers. Co-authored-by: Praveen Rao praveensinghrao@outlook.com Co-authored-by: Sherlock Huang baihan.huang@gmail.com Co-authored-by: Alex Zinoviev alexander.zinoviev@me.com Co-authored-by: Dmitri Smirnov dmitrism@microsoft.com
25 lines
892 B
Batchfile
25 lines
892 B
Batchfile
@echo off
|
|
|
|
REM Record the version of the source that we are compiling.
|
|
REM We keep a record of the git revision in util/version.cc. This source file
|
|
REM is then built as a regular source file as part of the compilation process.
|
|
REM One can run "strings executable_filename | grep _build_" to find the version of
|
|
REM the source that we used to build the executable file.
|
|
|
|
set CONFIGURATION=%1
|
|
|
|
pushd "%~dp0"
|
|
set "OUTFILE="..\util\build_version_%CONFIGURATION%.cc"
|
|
|
|
REM GIT_SHA=""
|
|
REM if command -v git >/dev/null 2>&1; then
|
|
REM GIT_SHA=$(git rev-parse HEAD 2>/dev/null)
|
|
REM fi
|
|
|
|
@echo #include "build_version.h" > %OUTFILE%
|
|
@echo const char* rocksdb_build_git_sha = "rocksdb_build_git_sha:${GIT_SHA}"; >> %OUTFILE%
|
|
@echo const char* rocksdb_build_git_datetime = "rocksdb_build_git_datetime:$(date)"; >> %OUTFILE%
|
|
@echo const char* rocksdb_build_compile_date = __DATE__; >> %OUTFILE%
|
|
|
|
@popd
|