You don't actually need the Arduino IDE. I haven't used it in years. You can use...

		JohnFen 43 days ago \| parent \| context \| favorite \| on: The Death of Arduino? 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.