Skip to content

Commit

Permalink
* Added cflags to disable phasar for hyteg
Browse files Browse the repository at this point in the history
  • Loading branch information
Lukas Abelt committed Sep 26, 2023
1 parent b953cf5 commit 3ea74fe
Showing 1 changed file with 7 additions and 1 deletion.
8 changes: 7 additions & 1 deletion varats/varats/projects/cpp_projects/hyteg.py
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,7 @@
from benchbuild.utils.settings import get_number_of_jobs
from plumbum import local

from varats.paper.paper_config import PaperConfigSpecificGit
from varats.project.project_domain import ProjectDomains
from varats.project.project_util import get_local_project_git_path, BinaryType
from varats.project.sources import FeatureSource
Expand All @@ -20,7 +21,8 @@ class HyTeg(VProject):
DOMAIN = ProjectDomains.CPP_LIBRARY

SOURCE = [
bb.source.Git(
PaperConfigSpecificGit(
project_name="HyTeg",
remote="[email protected]:se-sic/hyteg-VaRA.git",
local="HyTeg",
refspec="origin/HEAD",
Expand Down Expand Up @@ -53,6 +55,10 @@ def compile(self) -> None:

mkdir("-p", hyteg_source / "build")

# Currently Phasar passes crash the compiler
# This limits us to analysing compile time variability
self.cflags += ["-mllvm", "--vara-disable-phasar"]

cc_compiler = bb.compiler.cc(self)
cxx_compiler = bb.compiler.cxx(self)

Expand Down

0 comments on commit 3ea74fe

Please sign in to comment.