Can't upload sketch to EcoDuino on a mac

Hi.

I'm totally new to arduino in general. I am trying to upload a simple sketch to EcoDuino. I have installed the serial driver for usb from SiliconLabs, and I see Arduino Leonardo in my System Information:

Arduino Leonardo:

Product ID: 0x8036
Vendor ID: 0x2341
Version: 1.00
Speed: Up to 12 Mb/s
Manufacturer: Arduino LLC
Location ID: 0x14100000 / 3
Current Available (mA): 500
Current Required (mA): 500
Extra Operating Current (mA): 0

I have selected Arduino Leonardo board in my Arduino IDE, but when I try to upload my sketch, I get the following error:

Arduino: 1.8.10 (Mac OS X), Board: "Arduino Leonardo"

Sketch uses 4022 bytes (14%) of program storage space. Maximum is 28672 bytes.
Global variables use 149 bytes (5%) of dynamic memory, leaving 2411 bytes for local variables. Maximum is 2560 bytes.

avrdude: ser_recv(): read error: Device not configured
avrdude: butterfly_recv(): programmer is not responding
avrdude: ser_drain(): read error: Device not configured
avrdude: ser_send(): write error: Device not configured
avrdude: ser_recv(): read error: Device not configured
avrdude: butterfly_recv(): programmer is not responding
avrdude: ser_send(): write error: Device not configured
avrdude: ser_recv(): read error: Device not configured
avrdude: butterfly_recv(): programmer is not responding
avrdude: ser_recv(): read error: Device not configured
avrdude: butterfly_recv(): programmer is not responding
avrdude: ser_send(): write error: Device not configured
avrdude: ser_recv(): read error: Device not configured
avrdude: butterfly_recv(): programmer is not responding
Found programmer: Id = ""; type =
Software Version = .; Hardware Version = .
avrdude: ser_send(): write error: Device not configured
avrdude: ser_recv(): read error: Device not configured
avrdude: butterfly_recv(): programmer is not responding
avrdude: ser_send(): write error: Device not configured
avrdude: ser_recv(): read error: Device not configured
avrdude: butterfly_recv(): programmer is not responding
avrdude: error: buffered memory access not supported. Maybe it isn't
a butterfly/AVR109 but a AVR910 device?
avrdude: initialization failed, rc=-1
Double check connections and try again, or use -F to override
this check.
the selected serial port Double check connections and try again, or use -F to override
does not exist or your board is not connected

avrdude: ser_send(): write error: Device not configured
avrdude: ser_recv(): read error: Device not configured
avrdude: butterfly_recv(): programmer is not responding
avrdude: error: programmer did not respond to command: leave prog mode
avrdude: ser_send(): write error: Device not configured
avrdude: ser_recv(): read error: Device not configured
avrdude: butterfly_recv(): programmer is not responding
avrdude: error: programmer did not respond to command: exit bootloader
avrdude: ser_close(): can't reset attributes for device: Device not configured

This report would have more information with
"Show verbose output during compilation"
option enabled in File -> Preferences.

I think I might need a programmer driver, but I couldn't find one for the Mac (as I am a Mac user). Could you help me solve my problem?