├── .gitignore ├── .gitmodules ├── Blink.idr ├── Makefile ├── README.md └── aux-makefiles ├── Idris2.mk ├── board-due.mk ├── board-mega2560.mk ├── board-uno.mk ├── proc-avr.mk └── proc-sam.mk /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idris-blink/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idris-blink/HEAD/.gitmodules -------------------------------------------------------------------------------- /Blink.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idris-blink/HEAD/Blink.idr -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idris-blink/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idris-blink/HEAD/README.md -------------------------------------------------------------------------------- /aux-makefiles/Idris2.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idris-blink/HEAD/aux-makefiles/Idris2.mk -------------------------------------------------------------------------------- /aux-makefiles/board-due.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idris-blink/HEAD/aux-makefiles/board-due.mk -------------------------------------------------------------------------------- /aux-makefiles/board-mega2560.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idris-blink/HEAD/aux-makefiles/board-mega2560.mk -------------------------------------------------------------------------------- /aux-makefiles/board-uno.mk: -------------------------------------------------------------------------------- 1 | include aux-makefiles/proc-avr.mk 2 | 3 | # For Arduino Uno 4 | BOARD_TAG=uno 5 | -------------------------------------------------------------------------------- /aux-makefiles/proc-avr.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stepcut/idris-blink/HEAD/aux-makefiles/proc-avr.mk -------------------------------------------------------------------------------- /aux-makefiles/proc-sam.mk: -------------------------------------------------------------------------------- 1 | # For ARM SAM-based boards 2 | ARDUINO_MAKEFILE_PATH=arduino-makefile/Sam.mk 3 | --------------------------------------------------------------------------------