diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..73deb59
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,3 @@
+*.ibc
+*.o
+/build-*
diff --git a/Makefile.example b/Makefile.example
new file mode 100644
index 0000000..f8a35da
--- /dev/null
+++ b/Makefile.example
@@ -0,0 +1,12 @@
+ADRUINO_DIR=/usr/share/arduino
+AVR_TOOLS_DIR=/usr
+AVRDUDE_CONF=/etc/avrdude.conf
+IDRIS_RTS_PATH=rts
+ARDUINO_MAKEFILE_PATH=/usr/share/arduino/Arduino.mk
+
+IDRIS_MAIN=Blink.idr
+
+BOARD_TAG=mega
+BOARD_SUB=atmega2560
+
+include Idris.mk