paths to ard-* utilities are broken

[scruss]

With about the simplest possible Makefile:

    BOARD_TAG = uno
    include /usr/share/arduino/Arduino.mk

`make` or `make show_boards` produces the error:

    …
    - [DEFAULT] BOARD_TAG = uno
    make: /usr/share/arduino/bin/ard-parse-boards: Command not found

Similarly, for `make upload`:

    …
    /usr/share/arduino/bin/ard-verify-size build-uno/Blink.hex 32256
    make: /usr/share/arduino/bin/ard-verify-size: Command not found

I am using the author's recommended environment variables for Debian/Ubuntu:

    ARDMK_DIR=/usr/share/arduino
    AVR_TOOLS_DIR=/usr

(ARDUINO_DIR is set for a home install of Arduino 1.0.5)

Curiously, Bug #1007699 has introduced this problem. I have modified my /usr/share/arduino/Arduino.mk to remove all references to $(ARDUINO_DIR) in the ard-* commands, and it builds and runs correctly.

ProblemType: Bug
DistroRelease: Ubuntu 13.10
Package: arduino-mk 0.12.0-1 [modified: usr/share/arduino/Arduino.mk]
ProcVersionSignature: Ubuntu 3.11.0-15.25-generic 3.11.10
Uname: Linux 3.11.0-15-generic x86_64
ApportVersion: 2.12.5-0ubuntu2.2
Architecture: amd64
Date: Sun Feb 2 22:59:18 2014
InstallationDate: Installed on 2013-04-13 (295 days ago)
InstallationMedia: Ubuntu 12.10 "Quantal Quetzal" - Release amd64 (20121017.5)
MarkForUpload: True
PackageArchitecture: all
SourcePackage: arduino-mk
UpgradeStatus: Upgraded to saucy on 2013-10-20 (105 days ago)

[Ubuntu Foundations Team Bug Bot (crichton)]

The attachment "a diff (if not strictly a patch) which solves the issue" seems to be a patch. If it isn't, please remove the "patch" flag from the attachment, remove the "patch" tag, and if you are a member of the ~ubuntu-reviewers, unsubscribe the team.

[This is an automated message performed by a Launchpad user owned by ~brian-murray, for any issues please contact him.]

[Scott Howard (showard314)]

Thanks for the report, could you try the newest release 0.13.1 in trusty? Upstream has taken over package management and tried to fix this problem.

[scruss (scruss)]

Can confirm fixed in 0.13.1 — thanks!

[Launchpad Janitor (janitor)]

Status changed to 'Confirmed' because the bug affects multiple users.

[Simon John (sej7278)]

can we close this now as its fixed in 1.3.3-1 ?

[Simon John (sej7278)]

1.3.4-1 has been released, can we close this now please, it was fixed in the previous release

[scruss (scruss)]

Yep. Thought I did that back in May