You don't actually need the Arduino IDE. I haven't used it in years. You can use any IDE (or just makefiles) and gcc.