1 MAKEFLAGS += --no-builtin-rules
8 SRC = kconfig2sat.cc lcp_utils.c kconfig/zconf.tab.c
10 CFLAGS = -Wall -O2 -ggdb -DDEBUG
13 OBJ_C = $(patsubst %.c,%.o,$(filter %.c,$(SRC)))
14 OBJ_CC = $(patsubst %.cc,%.o,$(filter %.cc,$(SRC)))
17 kconfig2sat: $(OBJ_CC) $(OBJ_C)
18 g++ $(CXXFLAGS) $(CFLAGS) -o $@ $^
20 %.o: %.c *.h kconfig/*.h
21 gcc -c $(CFLAGS) -o $@ $<
23 %.o: %.cc *.h kconfig/*.h
24 g++ -c $(CXXFLAGS) $(CFLAGS) -o $@ $<
27 gperf -t --output-file $@ -a -C -E -g -k '1,3,$$' -p -t $<
30 flex -o $@ -L -P zconf $<
32 kconfig/zconf.tab.c: kconfig/zconf.lex.c kconfig/zconf.hash.c
34 bison -o $@ $< -p zconf -t -l
37 $(RM) kconfig2sat $(OBJ)
38 $(RM) kconfig/zconf.tab.c kconfig/zconf.lex.c kconfig/zconf.hash.c