projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 22586fb)
Remove doc/libcvc4.3 from options/Makefile.am. (#1696)
authorMathias Preiner <mathias.preiner@gmail.com>
Sun, 25 Mar 2018 06:38:34 +0000 (23:38 -0700)
committerAndres Noetzli <andres.noetzli@gmail.com>
Sun, 25 Mar 2018 06:38:34 +0000 (23:38 -0700)
This commit fixes an issue with calling make clean && make.

The final doc/libcvc4.3 is now generated during ./autogen.sh and should not
be deleted with make clean.

src/options/Makefile.am patch | blob | history

diff --git a/src/options/Makefile.am b/src/options/Makefile.am
index 723b110eadf3525ab80213084774bf6eeb787e92..edcc9eb9c3c061915ff26410205effd175f5b381 100644 (file)
--- a/src/options/Makefile.am
+++ b/src/options/Makefile.am
@@ -120,7 +120,6 @@ CLEANFILES = \
        $(OPTIONS_GEN_H) \
        $(OPTIONS_GEN_CPP) \
        $(DOCUMENTATION_FILES) \
-       ../../doc/libcvc4.3 \
        options_holder.h
 
 
@@ -132,7 +131,6 @@ EXTRA_DIST = \
        $(OPTIONS_CONFIG_FILES) \
        $(CPP_TEMPLATE_FILES) \
        $(DOCUMENTATION_FILES) \
-       ../../doc/libcvc4.3 \
        mkoptions.py \
        language.i \
        option_exception.i \