diff options
author | ACSYS <cvc4-devel@cs.nyu.edu> | 2012-10-25 19:44:52 +0000 |
---|---|---|
committer | ACSYS <cvc4-devel@cs.nyu.edu> | 2012-10-25 19:44:52 +0000 |
commit | 0ca70692f0b1b9e5dbae1663cafa9e5bc8a13be9 (patch) | |
tree | abcb8cb2a72cc0fea5caffaf504af13bb1f7a396 /Makefile.builds.in | |
parent | 053bbbb127ba6c9ce08e76f8e707f4ce248bb99b (diff) |
more minor fixes to build system
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 274e2c9e7..249a5e380 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 -sfv "$(abs_builddir)$(libdir)" $(CURRENT_BUILD)/lib - $(AM_V_at)test -e $(CURRENT_BUILD)/bin || ln -sfv "$(abs_builddir)$(bindir)" $(CURRENT_BUILD)/bin + $(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 # 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 -sfv ".$(libdir)" lib - $(AM_V_at)test -e bin || ln -sfv ".$(bindir)" bin + $(AM_V_at)test -e lib || ln -sf ".$(libdir)" lib + $(AM_V_at)test -e bin || ln -sf ".$(bindir)" bin rm -f doc; ln -sf "$(CURRENT_BUILD)/doc" doc rm -f examples; ln -sf "$(CURRENT_BUILD)/examples" examples |