Makefile: remove hard bindgen(1) dep #175
Reference in New Issue
Block a user
No description provided.
Delete Branch "makefile-no-bindgen"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
This doesn't do anything, so sure.
This allows using a
bindgen(1)-replacement utility to generate bindings for when we need them,It also makes the Makefile more idiomatic (though its idiomatic-ness in general is pretty low, which I’m working on)
View command line instructions
Checkout
From your project repository, check out a new branch and test the changes.