17
17
sudo apt-get install libgmp-dev
18
18
if [[ "${{ inputs.install-llvm }}" == "true" ]]; then sudo apt-get install llvm; fi
19
19
mkdir boot && cd boot
20
- curl -O -L https://github.com/MLton/mlton/releases/download/on-20210117 -release/mlton-20210117 -1.amd64-linux-glibc2 .31.tgz
21
- tar xzf mlton-20210117 -1.amd64-linux-glibc2 .31.tgz --exclude='*/share' --strip-components=1
22
- rm mlton-20210117 -1.amd64-linux-glibc2 .31.tgz
20
+ curl -sOL https://github.com/MLton/mlton/releases/download/on-20241230 -release/mlton-20241230 -1.amd64-linux.ubuntu-20.04_glibc2 .31.tgz
21
+ tar xzf mlton-20241230 -1.amd64-linux.ubuntu-20.04_glibc2 .31.tgz --exclude='*/share' --strip-components=1
22
+ rm mlton-20241230 -1.amd64-linux.ubuntu-20.04_glibc2 .31.tgz
23
23
24
24
- name : Install bootstrap dependencies (macos (amd64))
25
25
if : ${{ inputs.runner == 'macos-13' }}
31
31
echo "WITH_GMP_DIR=$(brew --prefix)" >> $GITHUB_ENV
32
32
if [[ "${{ inputs.install-llvm }}" == "true" ]]; then brew install llvm; echo "$(brew --prefix llvm)/bin" >> $GITHUB_PATH; fi
33
33
mkdir boot && cd boot
34
- curl -O -L https://github.com/MLton/mlton/releases/download/on-20210117 -release/mlton-20210117 -1.amd64-darwin-19.6.gmp -homebrew.tgz
35
- tar xzf mlton-20210117 -1.amd64-darwin-19.6.gmp -homebrew.tgz --exclude='*/share' --strip-components=1
36
- rm mlton-20210117 -1.amd64-darwin-19.6.gmp -homebrew.tgz
34
+ curl -sOL https://github.com/MLton/mlton/releases/download/on-20241230 -release/mlton-20241230 -1.amd64-darwin.macos-13_gmp -homebrew.tgz
35
+ tar xzf mlton-20241230 -1.amd64-darwin.macos-13_gmp -homebrew.tgz --exclude='*/share' --strip-components=1
36
+ rm mlton-20241230 -1.amd64-darwin.macos-13_gmp -homebrew.tgz
37
37
38
38
- name : Install bootstrap dependencies (macos (arm64))
39
39
if : ${{ (inputs.runner == 'macos-14') || (inputs.runner == 'macos-15') }}
@@ -45,17 +45,18 @@ runs:
45
45
echo "WITH_GMP_DIR=$(brew --prefix)" >> $GITHUB_ENV
46
46
if [[ "${{ inputs.install-llvm }}" == "true" ]]; then brew install llvm; echo "$(brew --prefix llvm)/bin" >> $GITHUB_PATH; fi
47
47
mkdir boot && cd boot
48
- curl -O -L https://projects.laas.fr/tina/software/ mlton-20210117 -1.arm64-darwin-21.6-gmp-static .tgz
49
- tar xzf mlton-20210117 -1.arm64-darwin-21.6-gmp-static .tgz --exclude='*/share' --strip-components=1
50
- rm mlton-20210117 -1.arm64-darwin-21.6-gmp-static .tgz
48
+ curl -sOL https://github.com/MLton/mlton/releases/download/on-20241230-release/ mlton-20241230 -1.arm64-darwin.macos-14_gmp-homebrew .tgz
49
+ tar xzf mlton-20241230 -1.arm64-darwin.macos-14_gmp-homebrew .tgz --exclude='*/share' --strip-components=1
50
+ rm mlton-20241230 -1.arm64-darwin.macos-14_gmp-homebrew .tgz
51
51
52
52
- name : Install bootstrap dependencies (windows)
53
53
if : ${{ startsWith(inputs.runner, 'windows') }}
54
54
shell : ' msys2 {0}'
55
55
run : |
56
56
# Install dependencies (windows)
57
- pacboy --noconfirm -S --needed gcc:p gmp-devel:
57
+ pacboy --noconfirm -S --needed $(if [ ${MSYSTEM} == "CLANG64" ]; then echo clang:p ; else echo gcc:p; fi) gmp:p gmp-devel:
58
+ if [[ "${{ inputs.install-llvm }}" == "true" ]]; then pacboy --noconfirm -S --needed llvm:p ; fi
58
59
mkdir boot && cd boot
59
- curl -O -L https://github.com/MLton/mlton/releases/download/on-20200817 -release/mlton-20200817- amd64-mingw.tgz
60
- tar xzf mlton-20200817- amd64-mingw.tgz --exclude='*/share' --strip-components=1
61
- rm mlton-20200817- amd64-mingw.tgz
60
+ curl -sOL https://github.com/MLton/mlton/releases/download/on-20241230 -release/mlton-20241230-1. amd64-mingw.windows-2022_MINGW64 .tgz
61
+ tar xzf mlton-20241230-1. amd64-mingw.windows-2022_MINGW64 .tgz --exclude='*/share' --strip-components=1
62
+ rm mlton-20241230-1. amd64-mingw.windows-2022_MINGW64 .tgz
0 commit comments