[sledge] Use opam var instead of opam config var

Summary: Opam 2.1 will drop support for `opam config`.

Reviewed By: ngorogiannis

Differential Revision: D29441158

fbshipit-source-id: 2a5152313

sledge/Makefile

@@ -33,11 +33,11 @@ LLVM_OCAML_SENTINEL=vendor/llvm-dune/src/llvm/common/dune
 # libLLVM.dylib.
 link_llvm_dylib:
 	@set -e ;\
-	LLVMLIB=$$($$(opam config var conf-llvm:config) --libdir) ;\
+	LLVMLIB=$$($$(opam var conf-llvm:config) --libdir) ;\
 	ln -s $$LLVMLIB/libLLVM.dylib $$LLVMLIB/libLLVM-11.dylib
 
 $(LLVM_OCAML_SENTINEL): $(LLVM_OCAML_SRC)
-	cd vendor/llvm-dune; ./setup.sh $$(opam config var conf-llvm:config) &>/dev/null
+	cd vendor/llvm-dune; ./setup.sh $$(opam var conf-llvm:config) # &>/dev/null
 
 clean_llvm:
 	rm -rf vendor/llvm-dune/{src,llvm_*.opam}

sledge/model/Makefile

@@ -10,7 +10,7 @@ CLANG_ARGS?=-g $(OPT_ARGS)
 ROOT?=..
 LIBCXXABI=$(ROOT)/vendor/llvm-dune/llvm-project/libcxxabi
 
-llvm-config=$(shell opam config var conf-llvm:config)
+llvm-config=$(shell opam var conf-llvm:config)
 LLVM_BIN=$(shell ${llvm-config} --bindir)
 LLVM_INCLUDE=$(shell ${llvm-config} --includedir)
 LLVM_CFLAGS=$(shell ${llvm-config} --cflags)

sledge/test/Makefile

@@ -34,11 +34,11 @@ sledge_report_exe:
 diff?=patdiff
 
 # select llvm and clang used by opam
-export PATH := $(shell $$(opam config var conf-llvm:config) --bindir):$(PATH)
+export PATH := $(shell $$(opam var conf-llvm:config) --bindir):$(PATH)
 
 # query llvm-config for compilation flags
-C_FLAGS = $(shell $$(opam config var conf-llvm:config) --cflags)
+C_FLAGS = $(shell $$(opam var conf-llvm:config) --cflags)
-CXX_FLAGS = $(shell $$(opam config var conf-llvm:config) --cxxflags)
+CXX_FLAGS = $(shell $$(opam var conf-llvm:config) --cxxflags)
 
 # configure sort
 export LANG := C