Skip to content

Add --disable-ocamltest to configure#9250

Merged
dra27 merged 2 commits intoocaml:trunkfrom
dra27:disable-ocamltest
Feb 14, 2020
Merged

Add --disable-ocamltest to configure#9250
dra27 merged 2 commits intoocaml:trunkfrom
dra27:disable-ocamltest

Conversation

@dra27
Copy link
Copy Markdown
Member

@dra27 dra27 commented Jan 16, 2020

This PR adds --disable-ocamltest to go alongside --disable-ocamldoc and --disable-debugger.

We don't install ocamltest, and I don't expect we're likely to in the near future, which means it would be sensible for opam to be using this switch, but it also makes me wonder if we should stop building ocamltest by default. make -C testsuite all could check that ocamltest is built (in the same way as it checks that the testsuite libraries are built). Alternatively, ocamltest could be built by default for development builds (in the same way as -Werror is activated).

@shindere, what do you think?

Copy link
Copy Markdown
Contributor

@nojb nojb left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@shindere
Copy link
Copy Markdown
Contributor

shindere commented Feb 12, 2020 via email

--enable-ocamltest is paranoidly included in the CI scripts, although
the trees are never pushed with a release VERSION at the tip.
@dra27 dra27 force-pushed the disable-ocamltest branch from 724d3f0 to fd6c0e3 Compare February 13, 2020 16:54
@dra27
Copy link
Copy Markdown
Member Author

dra27 commented Feb 13, 2020

Thanks, @shindere - I've updated Changes but pushed an additional commit which changes the default. As with -Werror, if the version contains +dev then ocamltest is built by default, otherwise it is not. I've added --enable-ocamltest to all the relevant parts of the CI scripts, but it's belt and braces because even at release the tip of the branch doesn't have a non-dev VERSION

@shindere
Copy link
Copy Markdown
Contributor

shindere commented Feb 13, 2020 via email

@dra27 dra27 merged commit 648d7a4 into ocaml:trunk Feb 14, 2020
@dra27 dra27 deleted the disable-ocamltest branch February 14, 2020 10:32
@dra27 dra27 mentioned this pull request Oct 9, 2020
dra27 added a commit to dra27/ocaml that referenced this pull request Jul 28, 2024
Add --disable-ocamltest to configure

(cherry picked from commit 648d7a4)
dra27 added a commit to dra27/ocaml that referenced this pull request Jul 28, 2024
Add --disable-ocamltest to configure

(cherry picked from commit 648d7a4)
dra27 added a commit to dra27/ocaml that referenced this pull request Jul 28, 2024
Add --disable-ocamltest to configure

(cherry picked from commit 648d7a4)
dra27 added a commit to dra27/ocaml that referenced this pull request Jul 28, 2024
Add --disable-ocamltest to configure

(cherry picked from commit 648d7a4)
dra27 added a commit to dra27/ocaml that referenced this pull request Jul 28, 2024
Add --disable-ocamltest to configure

(cherry picked from commit 648d7a4)
dra27 added a commit to dra27/ocaml that referenced this pull request Jul 28, 2024
Add --disable-ocamltest to configure

(cherry picked from commit 648d7a4)
dra27 added a commit to dra27/ocaml that referenced this pull request Aug 4, 2024
Add --disable-ocamltest to configure

(cherry picked from commit 648d7a4)
dra27 added a commit to dra27/ocaml that referenced this pull request Aug 4, 2024
Add --disable-ocamltest to configure

(cherry picked from commit 648d7a4)
dra27 added a commit to dra27/ocaml that referenced this pull request Aug 4, 2024
Add --disable-ocamltest to configure

(cherry picked from commit 648d7a4)
dra27 added a commit to dra27/ocaml that referenced this pull request Aug 4, 2024
Add --disable-ocamltest to configure

(cherry picked from commit 648d7a4)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants