[rocksdb] Added rtti variant (#32918)

This commit is contained in:
Matthieu Dorier 2022-10-03 11:55:18 +01:00 committed by GitHub
parent 9728ddb0cd
commit d4f05b0362
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -34,6 +34,7 @@ class Rocksdb(MakefilePackage):
variant("zstd", default=False, description="Enable zstandard compression support") variant("zstd", default=False, description="Enable zstandard compression support")
variant("tbb", default=False, description="Enable Intel TBB support") variant("tbb", default=False, description="Enable Intel TBB support")
variant("werror", default=False, description="Build with -Werror") variant("werror", default=False, description="Build with -Werror")
variant("rtti", default=False, description="Build with RTTI")
depends_on("bzip2", when="+bz2") depends_on("bzip2", when="+bz2")
depends_on("gflags") depends_on("gflags")
@ -97,6 +98,9 @@ def install(self, spec, prefix):
if "~werror" in self.spec: if "~werror" in self.spec:
env["DISABLE_WARNING_AS_ERROR"] = "1" env["DISABLE_WARNING_AS_ERROR"] = "1"
if "+rtti" in self.spec:
env["USE_RTTI"] = "1"
if self.spec.satisfies("@6.13.2:"): if self.spec.satisfies("@6.13.2:"):
env["PREFIX"] = self.spec.prefix env["PREFIX"] = self.spec.prefix
else: else: