You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Bug 1: It is usually expected that make (with no arguments) will recompile the binaries from the source code. However, instead the Makefile prints an error suggesting the user run make package, make install, or make clean.
Bug 2: make clean ought to delete the binaries so that they will be rebuilt from source.
Bug 3: make install should depend on the binaries so that they will be rebuilt from source if they are missing.
The text was updated successfully, but these errors were encountered:
Here's a minimal patch would maybe fix the problems. It's not ideal and I haven't been able to test it fully because compilation fails with gcc-8.3, but it's a start.
Bug 1: It is usually expected that
make
(with no arguments) will recompile the binaries from the source code. However, instead the Makefile prints an error suggesting the user runmake package
,make install
, ormake clean
.Bug 2:
make clean
ought to delete the binaries so that they will be rebuilt from source.Bug 3:
make install
should depend on the binaries so that they will be rebuilt from source if they are missing.The text was updated successfully, but these errors were encountered: