Skip to content

Commit

Permalink
Add owl dependencies.
Browse files Browse the repository at this point in the history
  • Loading branch information
tmcgilchrist authored and punchagan committed Feb 1, 2024
1 parent d114a95 commit ac6e5a0
Show file tree
Hide file tree
Showing 4 changed files with 8 additions and 4 deletions.
6 changes: 3 additions & 3 deletions .github/workflows/main.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down Expand Up @@ -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
Expand Down Expand Up @@ -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
Expand Down
2 changes: 1 addition & 1 deletion Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -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:
Expand Down
2 changes: 2 additions & 0 deletions dependencies/template/dev-4.14.0.opam
Original file line number Diff line number Diff line change
Expand Up @@ -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"}
Expand Down
2 changes: 2 additions & 0 deletions dependencies/template/dev-5.x.opam
Original file line number Diff line number Diff line change
Expand Up @@ -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"}
Expand Down

0 comments on commit ac6e5a0

Please sign in to comment.