Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Adding support of "additional library directories" to IDE & compilation #8221

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
garnould wants to merge 1 commit into arduino:master from garnould:lmorelibs
Closed

Conversation

Copy link
Contributor

@garnould garnould commented Nov 21, 2018
edited
Loading

This commit adds support of "additional library directories" to IDE
(supporting File/Examples menu, Sketch/Include Library menu and
keywords highlighting), and compilation process (by sending additional
-libraries options to arduino-builder).

Those additional library directories (one or more) are setup by adding an
option to preferences.txt :
additional_library_directories=/path/to/FreeIMU-Updates;[/mnt/ardether[;etc.]]

Use case : you need to use libs from a (different) git repository staying outside your arduino directory/sketchbook.

Those additional libraries are included as Location.ADDITIONAL.

Modified priorities become Location.SKETCHBOOK > Location.ADDITIONAL > Location.CORE > Location.REFERENCED_CORE > Location.IDE_BUILTIN

zrecore reacted with hooray emoji zrecore reacted with heart emoji
...tion
This commit adds support of "additional library directories" to IDE
(supporting File/Examples menu, Sketch/Include Library menu and
keywords highlighting), and compilation process (by send additional
-libraries options to arduino-builder).
Those additional library directories are setup in preferences.txt, using
addition_librarydirectories=[/path/1;[/path2[;<etc>]]] option
Copy link
Member

Hi @garnould ,
thanks for the submission! This looks very interesting indeed!
I'd be fine with merging and documenting it without exposing in the preferences GUI, so you'd use it only if you really know what you are doing 🙂
@cmaglie any thought on this?

zrecore reacted with hooray emoji

@facchinm facchinm added the Component: IDE The Arduino IDE label Nov 22, 2018
@facchinm facchinm added this to the Release 1.8.8 milestone Nov 22, 2018
Copy link
Contributor Author

Hi @facchinm ! Newbie question : you've added this PR to "1.8.8 milestone". Where could I read the meaning of this (in term of review, merge, etc.) ?

Copy link
Member

It simply means that it will be analyzed before the 1.8.8 release to decide if it's ok to merge or if we need to wait a little bit 🙂

garnould, zrecore, and mike2nl reacted with thumbs up emoji

Copy link
Member

cmaglie commented Feb 12, 2020

If we want to implement this we should port in the arduino-cli first.

Copy link

CLA assistant check
Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.
You have signed the CLA already but the status is still pending? Let us recheck it.

@garnould garnould closed this by deleting the head repository Jan 15, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
Component: IDE The Arduino IDE
Projects
None yet
Milestone
Next
Development

Successfully merging this pull request may close these issues.

AltStyle によって変換されたページ (->オリジナル) /