Skip to content

Conversation

@Chris00
Copy link

@Chris00 Chris00 commented Jul 9, 2015

No description provided.

@mor1
Copy link
Owner

mor1 commented Mar 12, 2016

Hi-- thanks! The _oasis updates look good, but what's the rationale for merging the Makefiles?

@Chris00
Copy link
Author

Chris00 commented Mar 13, 2016

Basically, I did not see the point of keeping the auto-generated Makefile (which was not doing much) and mostly replaced it with Makefile.local. IMHO, with oasis, the main goal of the makefile should be to enable convenience targets to the developer (the end user should use oasis only).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants