fix: bash variable expansion correctness

coin-or · Apr 7, 2024 · b37251e · b37251e
1 parent 9c175f8
commit b37251e
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/build-workflow.yml b/.github/workflows/build-workflow.yml
@@ -178,7 +178,7 @@ jobs:
           version_without_dot=$(echo $version | tr -d .) 
           echo "GUROBI_SHORT_VERSION=$major_minor" >> $GITHUB_ENV
           echo "GUROBI_VERSION_WITHOUT_DOT=$version_without_dot" >> $GITHUB_ENV
-          echo "GRB_INSTALL_PATH=${{ github.workspace }}/ThirdParty/gurobi$version_without_dot" >> $GITHUB_ENV
+          echo "GRB_INSTALL_PATH=${{ github.workspace }}/ThirdParty/gurobi${version_without_dot}" >> $GITHUB_ENV
 
       # Then we download and install Gurobi
       - name: Download Gurobi
@@ -208,8 +208,8 @@ jobs:
           version=${{ env.GAMS_VERSION }}
           major_minor=$(echo $version | awk -F '.' '{print $1 "." $2}')
           echo "GAMS_SHORT_VERSION=$major_minor" >> $GITHUB_ENV
-          echo "GAMS_INSTALL_PATH=${{ github.workspace }}/ThirdParty/gams$major_minor_linux_x64_64_sfx" >> $GITHUB_ENV
-          echo "GAMS_LICENSE_FILE=${{ github.workspace }}/ThirdParty/gams$major_minor_linux_x64_64_sfx/gamslice.txt" >> $GITHUB_ENV
+          echo "GAMS_INSTALL_PATH=${{ github.workspace }}/ThirdParty/gams${major_minor}_linux_x64_64_sfx" >> $GITHUB_ENV
+          echo "GAMS_LICENSE_FILE=${{ github.workspace }}/ThirdParty/gams${major_minor}_linux_x64_64_sfx/gamslice.txt" >> $GITHUB_ENV
 
       # Next, we set up GAMS
       # Download GAMS