How to symlink to path of source of package

Help
1

I have a Rocq prover project that uses QuickChick. I have a flake.nix and everything builds fine. The issue is however, that my language server coq-lsp cannot find this quickchick that is in the flake.nix:

Error when parsing .vo (from loadpath DP) for library QuickChick.QuickChick: Couldn't find .vo file for QuickChick.QuickChick : Logical path was not found (missing _CoqProject settings)

How do I deal with this? (Previously I had a local copy of QuickChick cloned and linked to that in _coqProject)

Coq-lsp is not isntalled through the flake.nix, if it would help/is possible, I would like it to be.

flake.nix:
{
  # pin to 24.11
  inputs.nixpkgs.url = "github:nixos/nixpkgs/5b35d248e9206c1f3baf8de6a7683fee126364aa";

  outputs = inputs : {
    devShells.x86_64-linux.default =
      let pkgs = inputs.nixpkgs.legacyPackages.x86_64-linux;
      in
      pkgs.mkShell {
        buildInputs = with pkgs; [
          coq
          coqPackages.mathcomp
          coqPackages.ExtLib
          coqPackages.QuickChick
          coqPackages.equations
          ];
      };
  };
}

System info:

nix-info -m
 - system: `"x86_64-linux"`
 - host os: `Linux 6.6.90, NixOS, 24.11 (Vicuna), 24.11.717984.ba8b70ee098b`
 - multi-user?: `yes`
 - sandbox: `yes`
 - version: `nix-env (Nix) 2.24.14`
 - channels(root): `"home-manager-24.05.tar.gz, nixos-24.11"`
 - nixpkgs: `/nix/var/nix/profiles/per-user/root/channels/nixos`
2

Hi,

The trick was deleting everything opam related and coq-lsp related that was installed in a non-nix way. Then add coq-lsp to the flake. After activating the flake with nix develop in a terminal, I had to open vscode (or I guess whatever tool is using coq-lsp) from that terminal. In the coq-lsp vscode settings I put the path found by which coq-lsp, which points to the coq-lsp gotten out of the flake in /nix/store/...-coq-lsp-0.2.2+8.20/bin/coq-lsp.