An example makefile was added.

stepcut · May 12, 2020 · 56229b2 · 56229b2
1 parent df71d09
commit 56229b2
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1,3 @@
+*.ibc
+*.o
+/build-*
diff --git a/Makefile.example 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