diff options
author | Alasdair <alasdair.armstrong@cl.cam.ac.uk> | 2023-12-01 18:38:31 +0000 |
---|---|---|
committer | Bill McSpadden <bill@riscv.org> | 2023-12-06 09:49:37 -0600 |
commit | f7163af8cfe595fdb6bf966141dd13f0443fe140 (patch) | |
tree | c6bb134efd0521aef167b9ccbeef78c5401d51ba | |
parent | 28fb46516ac806794ce9bebf79bb9bce956e8c33 (diff) | |
download | sail-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-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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) |