2020-12-09 16:58:11 +03:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
DIST_ARCH=amd64
|
2021-01-15 18:26:51 +03:00
|
|
|
BUILD_ROOT=built-distribution
|
|
|
|
|
LAUNCHER_DIST_NAME=enso-launcher-$DIST_VERSION-$DIST_OS-$DIST_ARCH
|
|
|
|
|
LAUNCHER_DIST_ROOT=$BUILD_ROOT/$LAUNCHER_DIST_NAME
|
2020-12-09 16:58:11 +03:00
|
|
|
LAUNCHER_DIST_DIR=$LAUNCHER_DIST_ROOT/enso
|
2021-01-15 18:26:51 +03:00
|
|
|
ENGINE_DIST_NAME=enso-engine-$DIST_VERSION-$DIST_OS-$DIST_ARCH
|
|
|
|
|
ENGINE_DIST_ROOT=$BUILD_ROOT/$ENGINE_DIST_NAME
|
2020-12-09 16:58:11 +03:00
|
|
|
ENGINE_DIST_DIR=$ENGINE_DIST_ROOT/enso-$DIST_VERSION
|
2021-01-15 18:26:51 +03:00
|
|
|
PROJECTMANAGER_DIST_NAME=enso-project-manager-$DIST_VERSION-$DIST_OS-$DIST_ARCH
|
|
|
|
|
PROJECTMANAGER_DIST_ROOT=$BUILD_ROOT/$PROJECTMANAGER_DIST_NAME
|
2020-12-09 16:58:11 +03:00
|
|
|
PROJECTMANAGER_DIST_DIR=$PROJECTMANAGER_DIST_ROOT/enso
|
2021-04-07 17:19:23 +03:00
|
|
|
GRAAL_DIST_NAME=graalvm-$GRAAL_VERSION-$DIST_OS-$DIST_ARCH
|
|
|
|
|
GRAAL_DIST_ROOT=$BUILD_ROOT/$GRAAL_DIST_NAME
|
|
|
|
|
echo "DIST_OS=$DIST_OS" >> $GITHUB_ENV
|
|
|
|
|
echo "DIST_ARCH=$DIST_ARCH" >> $GITHUB_ENV
|
2021-01-15 18:26:51 +03:00
|
|
|
echo "LAUNCHER_DIST_NAME=$LAUNCHER_DIST_NAME" >> $GITHUB_ENV
|
2020-12-09 16:58:11 +03:00
|
|
|
echo "LAUNCHER_DIST_DIR=$LAUNCHER_DIST_DIR" >> $GITHUB_ENV
|
|
|
|
|
echo "LAUNCHER_DIST_ROOT=$LAUNCHER_DIST_ROOT" >> $GITHUB_ENV
|
2021-01-15 18:26:51 +03:00
|
|
|
echo "ENGINE_DIST_NAME=$ENGINE_DIST_NAME" >> $GITHUB_ENV
|
2020-12-09 16:58:11 +03:00
|
|
|
echo "ENGINE_DIST_DIR=$ENGINE_DIST_DIR" >> $GITHUB_ENV
|
|
|
|
|
echo "ENGINE_DIST_ROOT=$ENGINE_DIST_ROOT" >> $GITHUB_ENV
|
2021-01-15 18:26:51 +03:00
|
|
|
echo "PROJECTMANAGER_DIST_NAME=$PROJECTMANAGER_DIST_NAME" >> $GITHUB_ENV
|
2020-12-09 16:58:11 +03:00
|
|
|
echo "PROJECTMANAGER_DIST_DIR=$PROJECTMANAGER_DIST_DIR" >> $GITHUB_ENV
|
|
|
|
|
echo "PROJECTMANAGER_DIST_ROOT=$PROJECTMANAGER_DIST_ROOT" >> $GITHUB_ENV
|
2021-04-07 17:19:23 +03:00
|
|
|
echo "GRAAL_DIST_NAME=$GRAAL_DIST_NAME" >> $GITHUB_ENV
|
|
|
|
|
echo "GRAAL_DIST_ROOT=$GRAAL_DIST_ROOT" >> $GITHUB_ENV
|
