Skip to content

Commit

Permalink
Change owl pin to moazzammoriani/owl.git#500+arm64
Browse files Browse the repository at this point in the history
  • Loading branch information
moazzammoriani committed Jun 8, 2022
1 parent fcf0dbe commit 59bf19b
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -143,8 +143,9 @@ _opam/%: _opam/opam-init/init.sh ocaml-versions/%.json
opam pin add -n --yes --switch $* eventlog-tools https://github.com/ocaml-multicore/eventlog-tools.git#multicore
opam pin add -n --yes --switch $* ocamlfind https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz
opam pin add -n --yes --switch $* ocplib-endian https://github.com/kit-ty-kate/ocplib-endian/archive/500.tar.gz
opam pin add -n --yes --switch $* owl https://github.com/Sudha247/owl.git#500
opam pin add -n --yes --switch $* owl-base https://github.com/Sudha247/owl.git#500
opam pin add -n --yes --switch $* owl https://github.com/moazzammoriani/owl.git#500+arm64
opam pin add -n --yes --switch $* owl-base https://github.com/moazzammoriani/owl.git#500+arm64


override_packages/%: setup_sys_dune/%
$(eval CONFIG_SWITCH_NAME = $*)
Expand Down

0 comments on commit 59bf19b

Please sign in to comment.