Modified CMakeLists to change HALO SDK name. (#779)

Author: tianboh

.github/workflows/main.yaml

@@ -116,7 +116,7 @@ jobs:
       - name: Prepare
         id: prepare
         run: |
-          echo "::set-output name=file::$(cd /tmp/download && ls HALO-*-ubuntu*.bz2)"
+          echo "::set-output name=file::$(cd /tmp/download && ls HALO*-ubuntu*.bz2)"
           echo "::set-output name=date::$(date -u +'%Y-%m-%dT%H:%M:%SZ')"
           tag=latest
           if [[ $GITHUB_REF == refs/tags/Release/* ]]; then

CMakeLists.txt

@@ -16,8 +16,8 @@
 
 cmake_minimum_required(VERSION 3.14.5)
 
-set(PROJECT_NAME "HALO" HOMEPAGE_URL "https://github.com/alibaba/heterogeneity-aware-lowering-and-optimization")
-set(PROJECT_VERSION "0.7.0")
+set(PROJECT_NAME "HALO_STABLE_SDK_2.3.1" HOMEPAGE_URL "https://github.com/alibaba/heterogeneity-aware-lowering-and-optimization")
+set(PROJECT_VERSION "0.7.3")
 
 project(${PROJECT_NAME} VERSION ${PROJECT_VERSION} LANGUAGES C CXX ASM)
 

tests/driver/test_driver.cc

@@ -19,5 +19,5 @@
 
 // RUN: %halo_compiler -version 2>&1 | FileCheck %s
 
-// CHECK: Version:	0.7.0
+// CHECK: Version:	0.7.3
 // CHECK: HALO Repo:{{.*}} Rev: