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

• Submitted: 3 Sep 2004 1:27
• Modified: 7 Dec 2016 14:51
• Reporter: Paul DuBois
• Status: Closed
• Category: MySQL Server: Installing
• Severity: S4 (Feature request)
• Version: any
• OS: Any
• CPU Architecture: Any

[3 Sep 2004 1: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 1:28] Paul DuBois

Removing "showstopper" status.

[10 Sep 2004 17:54] Hartmut Holzgraefe

adds --without-man option

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

[10 Sep 2004 17: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 14:34] Sergei Golubchik

Hartmut, please push your patch

[26 Sep 2004 14:29] Hartmut Holzgraefe

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

[26 Sep 2004 14:32] Hartmut Holzgraefe

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

[7 Dec 2016 14:51] Terje Røsten

Posted by developer:
 
Use -DINSTALL_MYSQLTESTDIR=0 to cmake to skip tests.