We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
When I run the command ./configure && make, I get a long error message that ends with:
./configure && make
collect2: error: ld returned 1 exit status make: *** [Makefile:31: cadet] Error 1
The full error message can be found here. Am I doing something wrong or is this an actual problem? I am using GCC version 10.3.0 on Ubuntu 21.04.
The text was updated successfully, but these errors were encountered:
I believe the cause of this compile error is that src/log.h needs to have extern added before each of the variable declarations.
src/log.h
extern
Specifically, lines 39-42 of src/log.h should be changed from:
int debug_verbosity; bool log_qdimacs_compliant; bool log_colors; bool log_silent;
to:
extern int debug_verbosity; extern bool log_qdimacs_compliant; extern bool log_colors; extern bool log_silent;
This was tested and it seems to be working now.
Sorry, something went wrong.
No branches or pull requests
When I run the command
./configure && make
, I get a long error message that ends with:The full error message can be found here.
Am I doing something wrong or is this an actual problem? I am using GCC version 10.3.0 on Ubuntu 21.04.
The text was updated successfully, but these errors were encountered: