Arduino is an open-source electronics prototyping platform based on

flexible, easy-to-use hardware and software. It's intended for artists,
designers, hobbyists, and anyone interested in creating interactive
objects or environments.

WWW: http://arduino.cc/

PR:		ports/145041
Submitted by:	Warren Block <wblock@wonkity.com>

2 files changed, 23 insertions, 0 deletions

diff --git a/devel/arduino/files/arduino.in b/devel/arduino/files/arduino.in
new file mode 100644
index 000000000000..31d5ad06b2ba
--- /dev/null
+++ b/devel/arduino/files/arduino.in
@@ -0,0 +1,3 @@
+#!/bin/sh
+# wrapper to execute the Arduino start script
+%%PREFIX%%/%%PORTNAME%%/arduino %%PREFIX%%/%%PORTNAME%%
diff --git a/devel/arduino/files/pkg-message.in b/devel/arduino/files/pkg-message.in
new file mode 100644
index 000000000000..3652b0a77f4e
--- /dev/null
+++ b/devel/arduino/files/pkg-message.in
@@ -0,0 +1,20 @@
+
+Notes on using the Arduino IDE:
+
+To allow serial port locking, add your user to the dialer group:
+    pw usermod myuser -G dialer
+
+User settings are in ~/.arduino/preferences.txt.  Edit the file
+when the IDE is not running.
+
+Setting the launcher for help files:
+    launcher=firefox
+
+Showing what the IDE is doing for build and upload commands (only
+visible if you started the IDE from a console):
+    build.verbose=true
+    upload.verbose=true
+
+To start the IDE:
+    %%PREFIX%%/bin/arduino
+