search

homalg-project / CddInterface

Gap Interface to Cdd
https://homalg-project.github.io/CddInterface
Other
1 stars 5 forks source link

Errors when loading CddInterface #14

Closed lmyreg2017 closed 4 years ago

lmyreg2017 commented 4 years ago

Screenshot from 2019-10-14 15-59-53

Dear developer,

Sorry to bother you with this error I encountered when loading CddInterface package, may I ask this error is related to not compiling successfully or other mistake I made?

kamalsaleh commented 4 years ago

Hello and thank you for reporting this. The dynamic file CddInterface.so should be created if compiling the package was successful. So, since it is not found, there should be some error when running the script ./install.sh. After running the script ./install.sh successfully you should see something like this

CC       src/CddInterface_la-CddInterface.lo
CCLD     CddInterface.la
/bin/mkdir -p ./bin/x86_64-pc-linux-gnu-default64-kv3
cp .libs/CddInterface.so /home/kamal/Documents/local_gap_packages/pkg/CddInterface/bin/x86_64-pc-linux-gnu-default64-kv3/CddInterface.so
SUCCESS!

Can you please tell me the output you see after running "./install.sh" ? Maybe you need root permissions to create files and folders in gap-4-10.1/pkg, can you try "sudo ./install.sh"?

lmyreg2017 commented 4 years ago

Dear Kamal,

Attached is my output when I run ./install.sh or sudo ./install.sh, then I realized that libtoolize is not installed, so I use

sudo apt-get install libtool

to get it installed. The second screenshot shows some new errors when I run ./install.sh again.

Best,

Muyang

On Wed, Oct 16, 2019 at 6:28 AM Kamal Saleh notifications@github.com wrote:

Hello and thank you for reporting this. The dynamic file CddInterface.so should be created if compiling the package was successful. So, since it is not found, there should be some error when running the script ./install.sh. After running the script ./install.sh successfully you should see something like this

CC src/CddInterface_la-CddInterface.lo CCLD CddInterface.la /bin/mkdir -p ./bin/x86_64-pc-linux-gnu-default64-kv3 cp .libs/CddInterface.so /home/kamal/Documents/local_gap_packages/pkg/CddInterface/bin/x86_64-pc-linux-gnu-default64-kv3/CddInterface.so SUCCESS!

Can you please tell me the output you see after running "./install.sh" ? Maybe you need root permissions to create files and folders in gap-4-10.1/pkg, can you try "sudo ./install.sh"?

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/homalg-project/CddInterface/issues/14?email_source=notifications&email_token=AIDFOPA73OCLBYEWMI2JG4LQO3UDNA5CNFSM4JBG4FFKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEBL7RZQ#issuecomment-542636262, or unsubscribe https://github.com/notifications/unsubscribe-auth/AIDFOPDLIXIASLKOBACA5JLQO3UDNANCNFSM4JBG4FFA .

kamalsaleh commented 4 years ago

Sorry, I can not find the attachment you mentioned. It might be better to reply directly in github.

lmyreg2017 commented 4 years ago

Screenshot from 2019-10-16 22-23-29

Sorry, I am not very familiar with GitHub, attached is the output when I load ./install.sh

kamalsaleh commented 4 years ago

Can you tell me what files are listed in current_cddlib/build/include/? If everything went good while compiling, then you should find the following files: cdd.h cdd_f.h cddmp.h cddmp_f.h cddtypes.h cddtypes_f.h setoper.h splitmix64.h, some of which seem to be missed in your case.

lmyreg2017 commented 4 years ago

I have the following files in current_cddlib/build/include/

cdd.h cddmp.h cddtypes.h setoper.h splitmix64.h

Yes, cdd_f.h, etc are missing in my directory.

zickgraf commented 4 years ago

I can reproduce this issue: probably the package libgmp-dev is missing.

@lmyreg2017: Could you run sudo apt-get install libgmp-dev and try again?

@kamalsaleh: Maybe you could add libtool and libgmp-dev to the README.

kamalsaleh commented 4 years ago

Thank you Fabian. I removed the libgmp-dev library to test whether I can reproduce the error, and it returns a very similar one, namely that gmp.h is missing. I believe this could really fix the issue.

lmyreg2017 commented 4 years ago

Dear Fabian and Kamal,

Thanks a lot for the help, yes, libgmp-dev is what I missed for installing, and now CddInterface can be compiled successfully.

Best, Muyang

On Fri, Oct 18, 2019 at 5:57 PM Kamal Saleh notifications@github.com wrote:

Thank you Fabian. I removed the libgmp-dev library to test whether I can reproduce the error, and it returns a very similar one, namely that gmp.h is missing. I believe this could really fix the issue.

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/homalg-project/CddInterface/issues/14?email_source=notifications&email_token=AIDFOPFJPOXHUD6EFL3H5ZTQPIWM5A5CNFSM4JBG4FFKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEBWFJMQ#issuecomment-543970482, or unsubscribe https://github.com/notifications/unsubscribe-auth/AIDFOPGLCRO25PDQIU46HDLQPIWM5ANCNFSM4JBG4FFA .