Not able to make. Could not find opam package: menhirLib but menhirLib already installed
hi, i have been facing a issue with installing maskverif. hoping you could help me figure out what to do. going into the nix-shell and doing make gives the following :
**[nix-shell:/mnt/c/Users/cse/Desktop/nilotpola/maskverif-master/maskverif-master]$ make ocamlbuild -use-ocamlfind -lflags -cclib,-lrt -tag debug main.native Finished, 0 targets (0 cached) in 00:00:00.
- ocamlfind ocamldep -package zarith,unix,menhirLib,ocamlgraph -modules src/main.ml > src/main.ml.depends ocamlfind: Package `menhirLib' not found Command exited with code 2. Compilation unsuccessful after building 1 target (0 cached) in 00:00:00. make: *** [Makefile:22: native] Error 10**
mehnirLib is said to be already installed by opam:
[nix-shell:/mnt/c/Users/cse/Desktop/nilotpola/maskverif-master/maskverif-master]$ opam install menhirLib [NOTE] Package menhirLib is already installed (current version is 20220210).
kindly guide me on how to resolve this so that i can run the tool. thanks. nilotpola