diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-21 19:45:52 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-21 19:45:52 -0700 |
commit | 228dbcc51e8a00cc8e7c002f66b4411aada3a3fa (patch) | |
tree | 08926571fa021a4b7e5736f32591cc3a792acfd6 /Makefile | |
parent | a9317eac758b150ef839aa673e9a04bacb875d8b (diff) | |
download | abc-228dbcc51e8a00cc8e7c002f66b4411aada3a3fa.tar.gz abc-228dbcc51e8a00cc8e7c002f66b4411aada3a3fa.tar.bz2 abc-228dbcc51e8a00cc8e7c002f66b4411aada3a3fa.zip |
Adding code of MiniSAT 2.2.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 10 |
1 files changed, 9 insertions, 1 deletions
@@ -109,14 +109,22 @@ DEP := $(OBJ:.o=.d) @echo "$(MSG_PREFIX)\`\` Compiling:" $(LOCAL_PATH)/$< @$(CXX) -c $(CXXFLAGS) $< -o $@ +%.o: %.cpp + @echo "$(MSG_PREFIX)\`\` Compiling:" $(LOCAL_PATH)/$< + @$(CXX) -c $(CXXFLAGS) $< -o $@ + %.d: %.c - @echo "$(MSG_PREFIX)\`\` Dependency:" $(LOCAL_PATH)/$< + @echo "$(MSG_PREFIX)\`\` Generating dependency:" $(LOCAL_PATH)/$< @./depends.sh $(CC) `dirname $*.c` $(CFLAGS) $*.c > $@ %.d: %.cc @echo "$(MSG_PREFIX)\`\` Generating dependency:" $(LOCAL_PATH)/$< @./depends.sh $(CXX) `dirname $*.cc` $(CXXFLAGS) $*.cc > $@ +%.d: %.cpp + @echo "$(MSG_PREFIX)\`\` Generating dependency:" $(LOCAL_PATH)/$< + @./depends.sh $(CXX) `dirname $*.cpp` $(CXXFLAGS) $*.cpp > $@ + -include $(DEP) # Actual targets |