Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[opam 2.1~alpha4] ./configure silently disables mccs if a C++ compiler is not present #4452

Closed
kit-ty-kate opened this issue Nov 26, 2020 · 2 comments · Fixed by #5527
Closed
Assignees
Milestone

Comments

@kit-ty-kate
Copy link
Member

$ which g++
$ git clone git://github.com/ocaml/opam.git
$ cd opam
$ ./configure && make lib-ext && make && sudo make install
$ opam --version
2.1.0~beta4
$ opam init
[NOTE] Will configure from built-in defaults.
Checking for available remotes: rsync and local, git.
  - you won't be able to use mercurial repositories unless you install the hg command on your system.
  - you won't be able to use darcs repositories unless you install the darcs command on your system.
[ERROR] No external solver found. You should get one of aspcud, packup and mccs, or use a version of opam compiled
        with a built-in solver (see http://opam.ocaml.org/doc/External_solvers.html for details)
Continue initialisation anyway ? [Y/n]
@dra27
Copy link
Member

dra27 commented Jul 8, 2021

Checks for 2.2.0:

  • --with-mccs should cause an error in this case (that should be working?)
  • make cold should force this - i.e. mandate that it builds opam with a solver

@dra27 dra27 self-assigned this Jul 8, 2021
@dra27 dra27 added this to the 2.2.0~alpha milestone Jul 8, 2021
@dra27 dra27 removed this from the 2.2.0~alpha milestone Jul 11, 2022
kit-ty-kate added a commit to kit-ty-kate/opam that referenced this issue Apr 25, 2023
kit-ty-kate added a commit to kit-ty-kate/opam that referenced this issue Apr 25, 2023
kit-ty-kate added a commit to kit-ty-kate/opam that referenced this issue Apr 25, 2023
kit-ty-kate added a commit to kit-ty-kate/opam that referenced this issue May 8, 2023
MisterDA pushed a commit to MisterDA/opam that referenced this issue May 23, 2023
@rjbou rjbou added this to the 2.2.0~alpha milestone Sep 11, 2023
@rjbou
Copy link
Collaborator

rjbou commented Sep 11, 2023

fixed by #5527

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants