From 16eabee24a3a99c8c33b740a754a3df59d2223c1 Mon Sep 17 00:00:00 2001 From: Alexandre Bourquelot Date: Wed, 13 Sep 2023 13:22:35 +0800 Subject: [PATCH] atdd: install ldc manually instead of through apt, to get latest stable version --- .circleci/config.yml | 2 +- .circleci/setup-system | 7 +++++-- 2 files changed, 6 insertions(+), 3 deletions(-) diff --git a/.circleci/config.yml b/.circleci/config.yml index 0490bfd4..dc5c95f4 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -18,7 +18,7 @@ commands: command: opam exec -- make - run: name: Test - command: opam exec -- make test + command: source ~/.bashrc && opam exec -- make test jobs: build_latest_ocaml: diff --git a/.circleci/setup-system b/.circleci/setup-system index e958d73b..b7128c14 100755 --- a/.circleci/setup-system +++ b/.circleci/setup-system @@ -20,12 +20,15 @@ sudo apt-get install -y \ python3 \ python3-pip \ python-is-python3 \ - scala \ - ldc + scala # For JSON Schema and atdpy testing pip install jsonschema pytest mypy flake8 +# To get latest ldc version +source $(curl https://dlang.org/install.sh | bash -s ldc -a) +BASH_ENV=~/.bashrc + ###### Sanity checks ###### echo 'check opam'