diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-08-08 12:13:57 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-08-09 16:30:02 -0400 |
commit | 5d0b8cf699d86f2c094b10a895f3612c73604321 (patch) | |
tree | dcb11a73b39f3611b1e4b9fa7470e86f69422e0f /Makefile.builds.in | |
parent | 90217b1d4662c536ba5b3e05f28b1ae636c54342 (diff) |
Fix a build issue for some configurations, thanks Tianyi.
Diffstat (limited to 'Makefile.builds.in')
-rw-r--r-- | Makefile.builds.in | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Makefile.builds.in b/Makefile.builds.in index c818c05c6..eb27bcac8 100644 --- a/Makefile.builds.in +++ b/Makefile.builds.in @@ -68,11 +68,11 @@ all: ln -sf ../src/libcvc4.* \ ../src/parser/libcvc4parser.* \ . - cd $(CURRENT_BUILD)/lib && \ + -cd $(CURRENT_BUILD)/lib && \ test -d ../src/.libs && \ ln -sf ../src/.libs/libcvc4.* \ . - cd $(CURRENT_BUILD)/lib && \ + -cd $(CURRENT_BUILD)/lib && \ test -d ../src/parser/.libs && \ ln -sf ../src/parser/.libs/libcvc4parser.* \ . @@ -81,7 +81,7 @@ ifeq ($(CVC4_BUILD_LIBCOMPAT),yes) cd $(CURRENT_BUILD)/lib && \ ln -sf ../src/compat/libcvc4compat.* \ . - cd $(CURRENT_BUILD)/lib && \ + -cd $(CURRENT_BUILD)/lib && \ test -d ../src/compat/.libs && \ ln -sf ../src/compat/.libs/libcvc4compat.* \ . |