Commit 807283704a4a77187103f9d4d73c9feb75f3c757
2022-09-04T07:21:02
For host triples to distinguish m1 arm64 from others.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 20170f0..9852c52 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -89,21 +89,27 @@ jobs:
- CFARM_HOST: gcc117.fsffrance.org
CFARM_PORT: 22
CFARM_ARCH: Aarch64
+ CFARM_TRIPLE: aarch64-unknown-linux-gnu
- CFARM_HOST: gcc400.fsffrance.org
CFARM_PORT: 25465
CFARM_ARCH: Loongarch64
+ CFARM_TRIPLE: loongarch64-unknown-linux-gnu
- CFARM_HOST: gcc230.fsffrance.org
CFARM_PORT: 22
CFARM_ARCH: MIPS64
+ CFARM_TRIPLE: sparc64-unknown-linux-gnu
- CFARM_HOST: gcc102.fsffrance.org
CFARM_PORT: 22
CFARM_ARCH: SPARC64
+ CFARM_TRIPLE: sparc64-unknown-linux-gnu
- CFARM_HOST: gcc91.fsffrance.org
CFARM_PORT: 22
CFARM_ARCH: RISCV64
+ CFARM_TRIPLE: riscv64-unknown-linux-gnu
- CFARM_HOST: gcc103.fsffrance.org
CFARM_PORT: 22
CFARM_ARCH: Aarch64 M1
+ CFARM_TRIPLE: aarch64-m1-linux-gnu
steps:
@@ -119,7 +125,7 @@ jobs:
chmod go-rw /tmp/cfk
ssh -o StrictHostKeyChecking=no -i /tmp/cfk -p ${{ matrix.CFARM_PORT }} ${{ secrets.CFARM_USERNAME }}@${{ matrix.CFARM_HOST }} "mkdir -p t/$GITHUB_RUN_NUMBER"
scp -o StrictHostKeyChecking=no -i /tmp/cfk -P ${{ matrix.CFARM_PORT }} -r * ${{ secrets.CFARM_USERNAME }}@${{ matrix.CFARM_HOST }}:t/$GITHUB_RUN_NUMBER
- ssh -o StrictHostKeyChecking=no -i /tmp/cfk -p ${{ matrix.CFARM_PORT }} ${{ secrets.CFARM_USERNAME }}@${{ matrix.CFARM_HOST }} "(cd t/$GITHUB_RUN_NUMBER; ./configure; make; make check) || true"
+ ssh -o StrictHostKeyChecking=no -i /tmp/cfk -p ${{ matrix.CFARM_PORT }} ${{ secrets.CFARM_USERNAME }}@${{ matrix.CFARM_HOST }} "(cd t/$GITHUB_RUN_NUMBER; ./configure --host=$CFARM_TRIPLE; make; make check) || true"
scp -o StrictHostKeyChecking=no -i /tmp/cfk -P ${{ matrix.CFARM_PORT }} ${{ secrets.CFARM_USERNAME }}@${{ matrix.CFARM_HOST }}:t/$GITHUB_RUN_NUMBER/*/testsuite/*.log .
ssh -o StrictHostKeyChecking=no -i /tmp/cfk -p ${{ matrix.CFARM_PORT }} ${{ secrets.CFARM_USERNAME }}@${{ matrix.CFARM_HOST }} "rm -rf t/$GITHUB_RUN_NUMBER"
wget -qO - https://rl.gl/cli/rlgl-linux-amd64.tgz | \