Visual studio code vscode中的arduino库存在问题

我已经找到了问题，但我没有找到任何东西，我有一个arduino库，vscode无法“找到”，这个库被称为“IRremote”，在arduino ide和其他平台上运行得很好，但我在这里遇到了问题，我觉得有两天，其他库阅读它们没有问题，你能帮我一个忙吗？ 此处放置.json文件的代码 这是供下载的库：

非常感谢

{
        "name": "Arduino",
        "includePath": [
            "${workspaceFolder}/**",
            "C:\\Users\\andre\\Desktop\\Program Instalattion\\Arduino\\tools\\**",
            "C:\\Users\\andre\\Desktop\\Program Instalattion\\Arduino\\hardware\\arduino\\avr\\**",
            "C:\\Users\\andre\\Desktop\\Program Instalattion\\Arduino\\hardware\\tools\\**",
            "C:\\Users\\andre\\Desktop\\Program Instalattion\\Arduino\\hardware\\arduino\\avr\\cores\\arduino\\**",
            "C:\\Users\\andre\\Desktop\\PROG\\ITS FORNO\\Programma\\006\\ITS_FORNO\\**"
        ],
        "forcedInclude": [
            "C:\\Users\\andre\\Desktop\\Program Instalattion\\Arduino\\hardware\\arduino\\avr\\cores\\arduino\\Arduino.h"
        ],
        "compilerPath": "C:\\Users\\andre\\Desktop\\Program Instalattion\\Arduino\\hardware\\tools\\avr\\bin\\avr-gcc.exe",
        "cStandard": "c11",
        "cppStandard": "c++17",
        "defines": [
            "USBCON"
        ],
        "intelliSenseMode": "gcc-x64",
        "browse": {
            "path": [
                "C:\\Users\\andre\\Desktop\\PROG\\ITS FORNO\\Programma\\006\\"
            ]
        }
    }

---

库必须命名为lib.a，以便链接器在提供命令行选项-l时可以找到它们