diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2022-02-01 13:38:37 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2022-02-01 13:38:37 +0200 |
commit | c5f9471c69278daaee7293fc938013341e791c86 (patch) | |
tree | f3982b7181b9aaf18489435b33fabbce648a1601 | |
parent | af3d4b7038382018d875a8eed01cda78046fc7eb (diff) |
Minor tweaks to bootstrap script
-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 |