daml-sdk-head: don't install to path (#8220)

When running daml-sdk-head from circleci without set-path=no, the
installation fails because the assistant tries to get a Yes/No answer
from stdin (which is not available).

CHANGELOG_BEGIN
CHANGELOG_END
This commit is contained in:
Gerolf Seitz 2020-12-09 16:39:16 +01:00 committed by GitHub
parent 79a91669b2
commit ea84b975dd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -149,10 +149,10 @@ tar xzf "$TARBALL" -C "$SDK_DIR" --strip-components 1
readonly DAML_CMD="$(command -v daml)"
if [[ -x "$DAML_CMD" && "$DAML_CMD" == "$DAML_HOME/bin/daml" ]]; then
# A daml installation already exists, so just install SDK version $DAML_SDK_RELEASE_VERSION.
"${DAML_HOME}/bin/daml" install "$SDK_DIR" --force
"${DAML_HOME}/bin/daml" install "$SDK_DIR" --force --set-path=no
else
# No daml installation detected, so install the tarball normally but disable auto-install.
"${SDK_DIR}/install.sh" --force
"${SDK_DIR}/install.sh" --force --set-path=no
echo "auto-install: false" > "${DAML_HOME}/daml-config.yaml"
fi