Skip to content
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

main.v: Use gmake in update_v() for FreeBSD #2037

Closed
wants to merge 1 commit into from

Conversation

sunnylcw
Copy link
Contributor

The latest Makefile does not work with FreeBSD's built-in make. Need to use gmake (GNU make) instead

@joe-conigliaro
Copy link
Member

joe-conigliaro commented Sep 19, 2019

@sunnylcw Can you have a look at my comment at the bottom if this PR #1953, see what you think. I think instead of getting people to install gmake we should have it so make works.

@sunnylcw
Copy link
Contributor Author

@joe-conigliaro Have replied in #1953. Please close this request. Thank you

@joe-conigliaro
Copy link
Member

joe-conigliaro commented Sep 19, 2019

Thanks for taking a look @sunnylcw maybe we should leave it open for @medvednikov to give his opinion?

@sunnylcw
Copy link
Contributor Author

@joe-conigliaro Sure.

@medvednikov
Copy link
Member

#1953

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.

3 participants