After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 779684 - make: Add makefile plugin
make: Add makefile plugin
Status: RESOLVED FIXED
Product: gnome-builder
Classification: Other
Component: general
unspecified
Other All
: Normal normal
: ---
Assigned To: GNOME Builder Maintainers
GNOME Builder Maintainers
Depends on:
Blocks:
 
 
Reported: 2017-03-06 23:46 UTC by Matthew Leeds
Modified: 2017-03-07 00:44 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
make: Add makefile plugin (9.78 KB, patch)
2017-03-06 23:46 UTC, Matthew Leeds 		committed Details | Review

Description Matthew Leeds 2017-03-06 23:46:00 UTC 
This worked on a simple project I tested it on.
Comment 1 Matthew Leeds 2017-03-06 23:46:02 UTC 
Created attachment 347347 [details] [review]
make: Add makefile plugin

This commit adds a plugin to provide very basic support for projects
with Makefiles but without autotools. It essentially just knows how to
run "make", "make clean", and "make install" in the source directory,
but doesn't know how to find build targets (so the Run button doesn't
work).
Comment 2 Matthew Leeds 2017-03-06 23:48:48 UTC 
Just realized this is a duplicate of https://bugzilla.gnome.org/show_bug.cgi?id=767382 except that it runs make in the top-level source directory. Not sure how it could be made to behave well for Makefiles in subdirectories.
Comment 3 Christian Hergert 2017-03-07 00:44:44 UTC 
Looks good!

Attachment 347347 [details] pushed as 33a0409 - make: Add makefile plugin