Raspberry Pico+ENC28J80+Arduino IDE

I want to add ethernet to Raspberry pico. I have an ENC28J60 ethernet module. How can I do it? I am programming with Arduino IDE.

wire the enc28j60 module to SPI pins and use my EthernetENC library

I couldn't find an example for EthernetENC

https://github.com/jandrassy/EthernetENC/wiki/Examples