fix the build in the case where Redis is installed on the system
MODIFY
tools/alive-tv.cpp
tools/alive-tv.cpp
// Copyright (c) 2018-present The Alive2 Authors.
// Distributed under the MIT license that can be found in the LICENSE file.
+#include "cache/cache.h"
#include "llvm_util/compare.h"
#include "llvm_util/llvm2alive.h"
#include "llvm_util/llvm_optimizer.h"
@@ -99,6 +100,7 @@ llvm::Function *findFunction(llvm::Module &M, const string &FName) {
}
}
+unique_ptr<Cache> cache;
int main(int argc, char **argv) {
llvm::sys::PrintStackTraceOnErrorSignal(argv[0]);

MODIFY
tools/quick-fuzz.cpp
tools/quick-fuzz.cpp
// Copyright (c) 2018-present The Alive2 Authors.
// Distributed under the MIT license that can be found in the LICENSE file.
+#include "cache/cache.h"
#include "llvm_util/compare.h"
#include "llvm_util/llvm2alive.h"
#include "llvm_util/llvm_optimizer.h"
@@ -255,6 +256,7 @@ reduced using llvm-reduce.
llvm::cl::HideUnrelatedOptions(alive_cmdargs);
llvm::cl::ParseCommandLineOptions(argc, argv, Usage);
+ unique_ptr<Cache> cache;
unique_ptr<llvm::Module> MDummy;
#define ARGS_MODULE_VAR MDummy
#include "llvm_util/cmd_args_def.h"

fix the build in the case where Redis is installed on the system (#874)