aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlasdair <alasdair.armstrong@cl.cam.ac.uk>2023-12-01 18:38:31 +0000
committerBill McSpadden <bill@riscv.org>2023-12-06 09:49:37 -0600
commitf7163af8cfe595fdb6bf966141dd13f0443fe140 (patch)
treec6bb134efd0521aef167b9ccbeef78c5401d51ba
parent28fb46516ac806794ce9bebf79bb9bce956e8c33 (diff)
downloadsail-riscv-f7163af8cfe595fdb6bf966141dd13f0443fe140.zip
sail-riscv-f7163af8cfe595fdb6bf966141dd13f0443fe140.tar.gz
sail-riscv-f7163af8cfe595fdb6bf966141dd13f0443fe140.tar.bz2
Makefile: Set OPAMCLI to 2.0
This removes the warning about `opam config var`. Setting OPAMCLI in this way is the correct thing to do if we want to continue supporting opam 2.0. If we decide to require opam 2.1+ then all `opam var` invocations should become `opam --cli=2.1 var`, as per the opam CLI versioning spec: https://github.com/ocaml/opam/wiki/Spec-for-opam-CLI-versioning
-rw-r--r--Makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 9140065..9f284ca 100644
--- a/Makefile
+++ b/Makefile
@@ -7,6 +7,9 @@ else ifeq ($(ARCH),64)
override ARCH := RV64
endif
+# Set OPAMCLI to 2.0 to supress warnings about opam config var
+export OPAMCLI := 2.0
+
ifeq ($(ARCH),RV32)
SAIL_XLEN := riscv_xlen32.sail
else ifeq ($(ARCH),RV64)