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 |