From c2cba106766dd31f52da321c0ac2bdf2ae13e285 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20B=C3=B6ving?= <hargonix@gmail.com>
Date: Sun, 25 Oct 2026 17:54:40 +0000
Subject: [PATCH] fix: pass CFLAGS to cadical

---
 src/cadical.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/cadical.mk b/src/cadical.mk
index 59dc0ad34c77..543d913b1837 100644
--- a/src/cadical.mk
+++ b/src/cadical.mk
@@ -12,7 +12,7 @@ all: ../../cadical$(CMAKE_EXECUTABLE_SUFFIX) ../../libcadical.a
 	$(CXX) -std=c++11 -O3 -DNDEBUG -DNBUILD $(CXXFLAGS) -c $< -o $@
 
 %.o: src/%.c
-	$(CC) -O3 -DNDEBUG -DNBUILD $(CFLAGS) -c $< -o $@
+	$(CXX) -x c -O3 -DNDEBUG -DNBUILD $(CXXFLAGS) -c $< -o $@
 
 ../../cadical$(CMAKE_EXECUTABLE_SUFFIX): $(OBJS)
 	$(CXX) -o $@ $^ $(LDFLAGS)