diff options
| author | Yong He <yonghe@outlook.com> | 2022-09-28 13:42:40 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-28 13:42:40 -0700 |
| commit | eb5c6b93543ca1423117045dbbfee0b6f653d392 (patch) | |
| tree | bef912602dc22b2ac624eb5630450d8303e43e0f /github_build.sh | |
| parent | 7708d205cb186f2b95d8daa2d8e0c655488fc34a (diff) | |
Make github CI build aarch64 binaries on release. (#2417)
Diffstat (limited to 'github_build.sh')
| -rw-r--r-- | github_build.sh | 18 |
1 files changed, 17 insertions, 1 deletions
diff --git a/github_build.sh b/github_build.sh index 7e23294a6..bd07da2bb 100644 --- a/github_build.sh +++ b/github_build.sh @@ -7,10 +7,26 @@ chmod u+x premake5 git describe --tags | sed -e "s/\(.*\)/\#define SLANG_TAG_VERSION \"\1\"/" > slang-tag-version.h cat slang-tag-version.h +if [[ "" == "${TARGETARCH}" ]]; then +TARGETARCH=${ARCH} +fi + +if [[ "${ARCH}" != "${TARGETARCH}" ]]; then + # Create the makefile ./premake5 gmake --cc=${CC} --enable-embed-stdlib=true --arch=${ARCH} --deps=true --no-progress=true # Build the configuration -make config=${CONFIGURATION}_x64 -j`nproc` +make config=${CONFIGURATION}_${ARCH} -j`nproc` + +# Create the makefile +./premake5 gmake --cc=${CC} --enable-embed-stdlib=true --arch=${TARGETARCH} --deps=true --no-progress=true --skip-source-generation=true --deploy-slang-llvm=false --deploy-slang-glslang=false +else +# Create the makefile +./premake5 gmake --cc=${CC} --enable-embed-stdlib=true --arch=${TARGETARCH} --deps=true --no-progress=true +fi + +# Build the configuration +make config=${CONFIGURATION}_${TARGETARCH} -j`nproc` |