From 59bf19b1ffa86349de9cac27b6794a1d01452bd7 Mon Sep 17 00:00:00 2001 From: Moazzam Moriani Date: Wed, 8 Jun 2022 19:01:20 +0500 Subject: [PATCH] Change owl pin to moazzammoriani/owl.git#500+arm64 --- Makefile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 8701d22d49..41c1644c52 100644 --- a/Makefile +++ b/Makefile @@ -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 = $*)