kconfig2sat: Prepare for DIMACS CNF generation

[linux-conf-perf.git] / kconfig2sat / Makefile

diff --git a/kconfig2sat/Makefile b/kconfig2sat/Makefile
index 5eb687102d66f631d19e3c47572ee489256bf0bd..218dba67b452076e61d497f94cd12be04d2fb864 100644 (file)
--- a/kconfig2sat/Makefile
+++ b/kconfig2sat/Makefile
@@ -17,11 +17,11 @@ OBJ_CC = $(patsubst %.cc,%.o,$(filter %.cc,$(SRC)))
 kconfig2sat: $(OBJ_CC) $(OBJ_C)
        g++ $(CXXFLAGS) $(CFLAGS) -o $@ $^
 
-%.o: %.c
-       gcc -c $(CFLAGS) -o $@ $^
+%.o: %.c *.h kconfig/*.h
+       gcc -c $(CFLAGS) -o $@ $<
 
-%.o: %.cc
-       g++ -c $(CXXFLAGS) $(CFLAGS) -o $@ $^
+%.o: %.cc *.h kconfig/*.h
+       g++ -c $(CXXFLAGS) $(CFLAGS) -o $@ $<
 
 %.hash.c: %.gperf
        gperf -t --output-file $@ -a -C -E -g -k '1,3,$$' -p -t $<