-
Notifications
You must be signed in to change notification settings - Fork 8
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
How to compile planet? #1
Comments
What problems do you encounter? The following worked for me (copy pasted from the instructions in my repository
(the last comment is because I was sometimes seeing some linker error. Moving the flag "-lsuitesparseconfig" to the end of the list in the |
Thank you so much for the quick response, Rudy. On Ubuntu 18.04 On Ubuntu 16.04, |
Have you tried installing the library that seems to be missing? (libltdl-dev) |
Hi @edwardxu0 and @bunelr. Sorry for forgetting to add the command to actually build the tool to the README file. It has not been added. The "libltdl-dev" package was indeed an additional dependency that is now also listed as such in the README file. That package is needed by the GNU linear programming toolkit, and it's a bit weird that it is not listed as a dependency of it in the package manager (perhaps because it is only needed for static builds). |
I got the error collect2: error: ld returned 1 exit status when I typed make in terminal |
Hi @tianshubao1 - Could you copy&paste a bit more of the error messages that you get? The "ld returned 1 exit status" line informs you that a linker error happened earlier. Seeing the actual linker error would be helpful. Also, could you add which type of system you are using (type of Linux, Mac, etc.)? For compilation/linking errors, this information is typically helpful. |
Thanks for the prompt reply. I am using ubuntu 16.04, Intel(R) Core(TM) i7-7700 CPU @ 3.60GHz. I typed make in src directory. g++ -m64 -Wl,-O1 -o planet Options.o Solver.o System.o main.o verifierContext.o supersetdatabase.o -static -lglpk -lgmp -lumfpack -lsuitesparseconfig -lcholmod -lamd -lcolamd -lccolamd -lcamd -lz -lltdl -ldl |
I unfortunately do not have access to a Ubuntu 16.04 machine (any more). Could you try running the following command (in the "src" folder)? g++ -m64 -Wl,-O1 -o planet Options.o Solver.o System.o main.o verifierContext.o supersetdatabase.o -static -lglpk -lgmp -lumfpack -lcholmod -lamd -lcolamd -lccolamd -lcamd -lsuitesparseconfig -lz -lltdl -ldl It's the same as the one that did not work, except that the order of the libraries is now different. |
It seems it works now. I got an extra file in the folder after tying the command you gave me. Then I type make again. It said nothing to make. |
The extra file should be the executable (if "make" says that there is nothing to make). I do not know why Ubuntu 16.04 vs. Ubuntu 18.04 makes a difference here. Either the way linking works has slightly changed, or it is because of a change in the GLPK libraries. I'm closing this issue for now. Please let me/us know if you have further questions. |
I am having trouble compiling planet on Linux.
Could you provide a makefile?
If not, which lp slove library are you using?
Could you point me the link?
The text was updated successfully, but these errors were encountered: