Skip to content

What is the difference between "make prod" and "make install"? #4324

Closed Answered by badlop
bil-inagaki asked this question in Questions
Discussion options

You must be logged in to vote

"make prod" is smaller than "make install". What is the reason?

make install was manually handcrafted many years ago, it simply copies the files that were compiled to the defined destination.

I say 'simply', but in reality our Makefile.in includes a lot of code to correctly create the destination paths, copy all the files to the desired destination, etc: see section copy-files from line 279 to 362.


make prod calls rebar3 release or mix release and asks them to build the release. Those building tools use OTP release libraries to actually build the release (see also Adopting Erlang: Releases).

Those tools that take care to prepare the release will also take care to reduce the size of bea…

Replies: 1 comment 1 reply

Comment options

You must be logged in to vote
1 reply
@bil-inagaki
Comment options

Answer selected by bil-inagaki
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
2 participants