 tobil4sk
|
2bee9f0973
[ci] Remove remaining references to camlp5 (#11884)
|
1 year ago |
 Zeta
|
c3c206f3fc
Fix macOS CI. (#11503)
|
1 year ago |
 Aleksandr Kuzmenko
|
b81e093602
[mac] removed zlib, pcre, mbedtls from brewfile (#10110)
|
4 years ago |
 Simon Krajewski
|
2351868d6b
[WIP] SSL support for eval (#9009)
|
5 years ago |
 Dan Korostelev
|
306840f03c
use camlp5 instead of camlp4 (see #8547)
|
6 years ago |
 Andy Li
|
244381def2
[azure-pipelines] initial working config
|
6 years ago |
|
Andy Li
|
2aed680be1
[TravisCI] re-enable aspcud on mac
|
7 years ago |
|
Andy Li
|
0e22b7a21f
[TravisCI] do not install aspcud to avoid python@2
|
7 years ago |
|
Andy Li
|
2f84ba8744
[TravisCI] install camlp4 from homebrew
|
8 years ago |
|
Andy Li
|
74f78bc279
[TravisCI] use brew bundle to install brew formulae
|
8 years ago |
