diff options
Diffstat (limited to 'bootstrap')
| -rwxr-xr-x | bootstrap | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -5,7 +5,7 @@ # and only generate PDFs for web publishing? Maybe decide when moving # to ad hoc rules? -# @@ Describe filesystem structure, created configurations. +# @@ Describe filesystem structure, created configurations, symlinks. # --ssh --clean --extra --module rust --cxx g++-7 --cfg gcc7 # --no-clone --no-symlink --no-libs --no-modules --cxx g++-7 --cfg gcc7-tsan --coptions "-Wall -Wextra -Werror -g -fsanitize=thread" @@ -22,7 +22,7 @@ # other than /usr/local (e.g., /tmp/build2-install) and is in PATH. # Hint: use --local --no-modules when building the staged toolchain to # speed things up seeing that this is a throw-away installation: - +# # sh build2-install-...-stage.sh --local --no-modules /tmp/build2-install # # 2. The CLI and ODB compilers have been built and are either installed (if @@ -494,6 +494,7 @@ if [ "$sym" ]; then # runnable in the face of compilation errors (which trigger the removal of # backlinks). # + run sudo mkdir -p /usr/local/bin run sudo ln -s "$owd/build2/build2/b-boot" /usr/local/bin/b-boot run sudo ln -s "$ad/build2/build2/b" /usr/local/bin/b run sudo ln -s "$ad/bpkg/bpkg/bpkg" /usr/local/bin/bpkg |