From 3fba90f630802cf3005608664ec852b57b553f0f Mon Sep 17 00:00:00 2001 From: Dhruv Makwana Date: Sat, 2 Nov 2024 11:46:29 +0000 Subject: [PATCH] Update ci.yml --- .github/workflows/ci.yml | 2 +- c-tree-carver.opam | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 7bb6c66..e93f8e5 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -59,4 +59,4 @@ jobs: run: | opam switch ${{ matrix.version }} eval $(opam env --switch=${{ matrix.version }}) - dune runtest && cd cpp && ./test/run_test.py make && ./test/run_test.py for + dune runtest && cd cpp && python3 ./test/run_test.py make && python3 ./test/run_test.py for diff --git a/c-tree-carver.opam b/c-tree-carver.opam index 80df045..b4dd715 100644 --- a/c-tree-carver.opam +++ b/c-tree-carver.opam @@ -7,13 +7,14 @@ authors: ["Dhruv Makwana = "3.7"} "ocaml" {>= "4.14.1"} "conf-c++" "conf-cmake" {dev} - "conf-llvm" {= "15"} + "conf-libclang" {= "15"} "conf-python-3" {with-test} "fileutils" {>= "0.6.4"} "shexp" {>= "v0.15.0"}