Bug #5379 Would like --without-man and --without-tests configure options

• Submitted: 3 Sep 2004 3:27
• Modified: 20 Oct 2004 19:48
• Reporter: Paul DuBois
• Status: Verified
• Category: Server: Installing
• Severity: S4 (Feature request)
• Version: any
• OS: Any
• Triage: Triaged: D5 (Feature request)

[3 Sep 2004 3:27] Paul DuBois

Description:
The configure script provides options such as
--without-docs and --without-bench to suppress
installation of the documentation and benchmarks.
I always use those options because I have dozens of
MySQL installations and that saves space.  It would
be nice to also have --without-man and --without-tests
to suppress installation of the man and mysql-tests
directories as well.

How to repeat:
See above.

[3 Sep 2004 3:28] Paul DuBois

Removing "showstopper" status.

[10 Sep 2004 19:54] Hartmut Holzgraefe

adds --without-man option

Attachment: without-man.patch (application/octet-stream, text), 1.33 KiB.

[10 Sep 2004 19:56] Hartmut Holzgraefe

--without-man was easy, patch is attached

--without-tests will need a little more work as "make test" must still be possible
so we can't skip the complete mysql-test Makefile

[25 Sep 2004 16:34] Sergei Golubchik

Hartmut, please push your patch

[26 Sep 2004 16:29] Hartmut Holzgraefe

fixed with: bk commit into 4.0 tree (hartmut:1.2033)

[26 Sep 2004 16:32] Hartmut Holzgraefe

well, "hartmut:1.2034" adds "--without-man" only, "--without-tests" still needs to be done