From 86bf2c5fbe9274787e8ec1d5d3c485e17f2c6fd4 Mon Sep 17 00:00:00 2001
From: Denis Buzdalov <public@buzden.ru>
Date: Tue, 3 Nov 2020 23:28:49 +0300
Subject: [PATCH] Particular example of running was added.

Everything third-party was added as submodules.
Makefile contains examples for different types of boards:
  - AVR-based Uno and Mega 2560;
  - ARM SAM-based Due.
---
 .gitmodules      |  6 ++++++
 Makefile         | 27 +++++++++++++++++++++++++++
 Makefile.example | 14 --------------
 arduino-makefile |  1 +
 rts              |  1 +
 5 files changed, 35 insertions(+), 14 deletions(-)
 create mode 100644 .gitmodules
 create mode 100644 Makefile
 delete mode 100644 Makefile.example
 create mode 160000 arduino-makefile
 create mode 160000 rts

diff --git a/.gitmodules b/.gitmodules
new file mode 100644
index 0000000..33512a6
--- /dev/null
+++ b/.gitmodules
@@ -0,0 +1,6 @@
+[submodule "arduino-makefile"]
+	path = arduino-makefile
+	url = https://github.com/sudar/Arduino-Makefile
+[submodule "rts"]
+	path = rts
+	url = https://github.com/buzden/idris2-rts-for-arduino
diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..c2a4e0d
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,27 @@
+ARDUINO_PACKAGE_DIR := $(HOME)/.arduino15/packages
+ADRUINO_DIR=/usr/share/arduino
+
+# For AVR-based boards
+AVR_TOOLS_DIR=/usr
+AVRDUDE_CONF=/etc/avrdude.conf
+ARDUINO_MAKEFILE_PATH=arduino-makefile/Arduino.mk
+
+# For ARM SAM-based boards
+#ARDUINO_MAKEFILE_PATH=arduino-makefile/Sam.mk
+
+IDRIS_SUPPORT_SRC_PATH=rts
+
+IDRIS_MAIN=Blink.idr
+
+# For Arduino Uno
+BOARD_TAG=uno
+
+# For Arduino Mega 2560
+#BOARD_TAG=mega
+#BOARD_SUB=atmega2560
+
+# For Arduino Due
+#BOARD_TAG=arduino_due_x
+#ARCHITECTURE=sam
+
+include Idris2.mk
diff --git a/Makefile.example b/Makefile.example
deleted file mode 100644
index 438e5a6..0000000
--- a/Makefile.example
+++ /dev/null
@@ -1,14 +0,0 @@
-ARDUINO_PACKAGE_DIR := $(HOME)/.arduino15/packages
-ADRUINO_DIR=/usr/share/arduino
-AVR_TOOLS_DIR=/usr
-AVRDUDE_CONF=/etc/avrdude.conf
-ARDUINO_MAKEFILE_PATH=/usr/share/arduino/Arduino.mk
-
-IDRIS_SUPPORT_SRC_PATH=$(HOME)/devel/idris2/support
-
-IDRIS_MAIN=Blink.idr
-
-BOARD_TAG=mega
-BOARD_SUB=atmega2560
-
-include Idris2.mk
diff --git a/arduino-makefile b/arduino-makefile
new file mode 160000
index 0000000..7ac13de
--- /dev/null
+++ b/arduino-makefile
@@ -0,0 +1 @@
+Subproject commit 7ac13de7f97d03d8609676fd899cf22c55a8fce1
diff --git a/rts b/rts
new file mode 160000
index 0000000..a6e2146
--- /dev/null
+++ b/rts
@@ -0,0 +1 @@
+Subproject commit a6e2146e4879fb8bc5c4f64d5c3d14e0a91c65f7