diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 93ac62448..07ddec8be 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -36,7 +36,7 @@ jobs: - name: Install dependencies run: | - sudo apt-get update && sudo apt-get -y install wget pkg-config libgmp-dev m4 libdw-dev jq python3-pip autoconf jo libgmp-dev + sudo apt-get update && sudo apt-get -y install wget pkg-config libgmp-dev m4 libdw-dev jq python3-pip autoconf jo libgmp-dev libopenblas-dev liblapacke-dev zlib1g-dev pip3 install intervaltree # Runs a set of commands using the runners shell @@ -93,7 +93,7 @@ jobs: - name: Install dependencies run: | - sudo apt-get update && sudo apt-get -y install wget pkg-config libgmp-dev m4 libdw-dev jq python3-pip autoconf jo libgmp-dev + sudo apt-get update && sudo apt-get -y install wget pkg-config libgmp-dev m4 libdw-dev jq python3-pip autoconf jo libgmp-dev libopenblas-dev liblapacke-dev zlib1g-dev pip3 install intervaltree # Runs a set of commands using the runners shell @@ -147,7 +147,7 @@ jobs: - name: Install dependencies run: | - sudo apt-get update && sudo apt-get -y install wget pkg-config libgmp-dev m4 libdw-dev jq python3-pip autoconf jo libgmp-dev + sudo apt-get update && sudo apt-get -y install wget pkg-config libgmp-dev m4 libdw-dev jq python3-pip autoconf jo libgmp-dev libopenblas-dev liblapacke-dev zlib1g-dev pip3 install intervaltree - name: 4.14.0+serial diff --git a/Makefile b/Makefile index b96182b64..a264d46b6 100644 --- a/Makefile +++ b/Makefile @@ -76,7 +76,7 @@ else PACKAGES += ctypes js_of_ocaml-compiler endif -DEPENDENCIES = libgmp-dev libdw-dev jq jo python3-pip pkg-config m4 autoconf # Ubuntu +DEPENDENCIES = libgmp-dev libdw-dev libopenblas-dev liblapacke-dev zlib1g-dev jq jo python3-pip pkg-config m4 autoconf # Ubuntu PIP_DEPENDENCIES = intervaltree .SECONDARY: diff --git a/dependencies/template/dev-4.14.0.opam b/dependencies/template/dev-4.14.0.opam index a5ce0ec60..7d94fa159 100644 --- a/dependencies/template/dev-4.14.0.opam +++ b/dependencies/template/dev-4.14.0.opam @@ -37,6 +37,8 @@ depends: [ "ocaml-config" {= "1"} "ocamlgraph" {= "2.0.0"} "optint" {= "0.0.4"} + "owl" {= "1.1"} + "owl-base" {= "1.1"} "psmt2-frontend" {= "0.2"} "repr" {= "0.2.1"} "rresult" {= "0.6.0"} diff --git a/dependencies/template/dev-5.x.opam b/dependencies/template/dev-5.x.opam index 5251864b9..eae568704 100644 --- a/dependencies/template/dev-5.x.opam +++ b/dependencies/template/dev-5.x.opam @@ -34,6 +34,8 @@ depends: [ "num" {= "1.3"} "ocaml-config" {= "3"} "ocamlgraph" {= "2.0.0"} + "owl" {= "1.1"} + "owl-base" {= "1.1"} "psmt2-frontend" {= "0.4.0"} "repr" {= "0.6.0"} "rresult" {= "0.6.0"}