Skip to content

Updated abc bazel rules to apply cxx flags to certain c files compiled as cpp. #424

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Updated abc bazel rules to apply cxx flags to certain c files compiled as cpp. #424

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
23 changes: 20 additions & 3 deletions dependency_support/edu_berkeley_abc/bundled.BUILD.bazel
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -19,6 +19,23 @@ licenses(["notice"])

exports_files(["LICENSE"])

load("@bazel_skylib//rules:copy_file.bzl", "copy_file")

# Copy c files to cc files to enable compilation with gcc_toolchains to work.
copy_file(
name = "rename_utils_pth",
src = "src/misc/util/utilPth.c",
out = "src/misc/util/utilPth.cpp",
)

# Note this also needs a change to the include path as sswPart.cpp includes
# sswPart.h and the copy is placed by bazel in a different directory.
copy_file(
name = "rename_ssw_part",
src = "src/proof/ssw/sswPart.c",
out = "src/proof/ssw/sswPart.cpp",
)

cc_binary(
name = "abc",
srcs = ["src/base/main/main.c"],
Expand Down Expand Up @@ -794,7 +811,7 @@ cc_library(
"src/misc/util/utilFile.c",
"src/misc/util/utilIsop.c",
"src/misc/util/utilNam.c",
"src/misc/util/utilPth.c",
"src/misc/util/utilPth.cpp",
"src/misc/util/utilSignal.c",
"src/misc/util/utilSort.c",
"src/misc/zlib/adler32.c",
Expand Down Expand Up @@ -1101,7 +1118,7 @@ cc_library(
"src/proof/ssw/sswLcorr.c",
"src/proof/ssw/sswMan.c",
"src/proof/ssw/sswPairs.c",
"src/proof/ssw/sswPart.c",
"src/proof/ssw/sswPart.cpp",
"src/proof/ssw/sswRarity.c",
"src/proof/ssw/sswSat.c",
"src/proof/ssw/sswSemi.c",
Expand Down Expand Up @@ -1227,7 +1244,7 @@ cc_library(
"_DEFAULT_SOURCE",
"ABC_NAMESPACE=abc",
],
includes = ["src/"],
includes = ["src/", "src/proof/ssw/"],
linkopts = ["-ldl", "-lpthread"],
linkstatic = True,
textual_hdrs = glob(
Expand Down