diff options
author | lianah <lianahady@gmail.com> | 2013-02-26 15:50:48 -0500 |
---|---|---|
committer | lianah <lianahady@gmail.com> | 2013-02-26 15:50:48 -0500 |
commit | c542c62d8f7c6dde84406c7e1640c029fe6cab29 (patch) | |
tree | 61fb8a3cd24986adbcb4888744730430602c3865 /Makefile.builds.in | |
parent | dec5c322b84e45659e3683d16b42a4b6d648b172 (diff) | |
parent | 957046ac530443c2a25e9406fbd13eda4eacdd61 (diff) |
Merge branch '1.0.x' of https://github.com/CVC4/CVC4 into 1.0.x
Diffstat (limited to 'Makefile.builds.in')
-rw-r--r-- | Makefile.builds.in | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Makefile.builds.in b/Makefile.builds.in index 6f9c7aaab..be6df95d3 100644 --- a/Makefile.builds.in +++ b/Makefile.builds.in @@ -137,8 +137,8 @@ else done endif # set up builds/$(CURRENT_BUILD)/bin and builds/$(CURRENT_BUILD)/lib - $(AM_V_at)test -e $(CURRENT_BUILD)/lib || ln -sf "$(abs_builddir)$(libdir)" $(CURRENT_BUILD)/lib - $(AM_V_at)test -e $(CURRENT_BUILD)/bin || ln -sf "$(abs_builddir)$(bindir)" $(CURRENT_BUILD)/bin + rm -f $(CURRENT_BUILD)/lib; ln -sf "$(abs_builddir)$(libdir)" $(CURRENT_BUILD)/lib + rm -f $(CURRENT_BUILD)/bin; ln -sf "$(abs_builddir)$(bindir)" $(CURRENT_BUILD)/bin # set up builds/...prefix.../bin and builds/...prefix.../lib $(AM_V_mkdir) ".$(bindir)" $(AM_V_mkdir) ".$(libdir)" @@ -184,8 +184,8 @@ else done endif # set up builds/bin and builds/lib - $(AM_V_at)test -e lib || ln -sf ".$(libdir)" lib - $(AM_V_at)test -e bin || ln -sf ".$(bindir)" bin + rm -f lib; ln -sf ".$(libdir)" lib + rm -f bin; ln -sf ".$(bindir)" bin rm -f doc; ln -sf "$(CURRENT_BUILD)/doc" doc rm -f examples; ln -sf "$(CURRENT_BUILD)/examples" examples |