diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-08-23 01:05:53 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-08-23 01:05:53 -0400 |
| commit | c5092d63f3e304b892195f641a04cf02c6e686a9 (patch) | |
| tree | 9c8665b5ca42545bd5fdd7bcba8e767fad9d90e8 /Makefile.builds.in | |
| parent | cdd8b23c110d88008eb7c79bd55c523fe0918f47 (diff) | |
Quieter finish to build.
Diffstat (limited to 'Makefile.builds.in')
| -rw-r--r-- | Makefile.builds.in | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/Makefile.builds.in b/Makefile.builds.in index eb27bcac8..2a51990f2 100644 --- a/Makefile.builds.in +++ b/Makefile.builds.in @@ -64,39 +64,39 @@ all: $(AM_V_mkdir) $(CURRENT_BUILD)/bin $(AM_V_mkdir) $(CURRENT_BUILD)/lib # symlink libcvc4, libcvc4parser - cd $(CURRENT_BUILD)/lib && \ + $(AM_V_at)cd $(CURRENT_BUILD)/lib && \ ln -sf ../src/libcvc4.* \ ../src/parser/libcvc4parser.* \ . - -cd $(CURRENT_BUILD)/lib && \ + -$(AM_V_at)cd $(CURRENT_BUILD)/lib && \ test -d ../src/.libs && \ ln -sf ../src/.libs/libcvc4.* \ . - -cd $(CURRENT_BUILD)/lib && \ + -$(AM_V_at)cd $(CURRENT_BUILD)/lib && \ test -d ../src/parser/.libs && \ ln -sf ../src/parser/.libs/libcvc4parser.* \ . ifeq ($(CVC4_BUILD_LIBCOMPAT),yes) # symlink libcvc4compat - cd $(CURRENT_BUILD)/lib && \ + $(AM_V_at)cd $(CURRENT_BUILD)/lib && \ ln -sf ../src/compat/libcvc4compat.* \ . - -cd $(CURRENT_BUILD)/lib && \ + -$(AM_V_at)cd $(CURRENT_BUILD)/lib && \ test -d ../src/compat/.libs && \ ln -sf ../src/compat/.libs/libcvc4compat.* \ . endif # symlink the binaries - cd $(CURRENT_BUILD)/bin && \ + $(AM_V_at)cd $(CURRENT_BUILD)/bin && \ for binary in $(CVC4_BINARIES); do \ ln -sf ../src/main/$$binary \ . ; \ done # set up builds/doc and builds/examples - rm -f bin; ln -sf $(CURRENT_BUILD)/bin bin - rm -f lib; ln -sf $(CURRENT_BUILD)/lib lib - rm -f doc; ln -sf $(CURRENT_BUILD)/doc doc - rm -f examples; ln -sf $(CURRENT_BUILD)/examples examples + $(AM_V_at)rm -f bin; ln -sf $(CURRENT_BUILD)/bin bin + $(AM_V_at)rm -f lib; ln -sf $(CURRENT_BUILD)/lib lib + $(AM_V_at)rm -f doc; ln -sf $(CURRENT_BUILD)/doc doc + $(AM_V_at)rm -f examples; ln -sf $(CURRENT_BUILD)/examples examples # The descent into "src" with target "check" is to build check # prerequisites (e.g. CHECK_PROGRAMS, CHECK_LTLIBRARIES, ...). |