No one has voted on any posts yet. Votes from other community members are used to determine a member's reputation amongst their peers.
Hello, I have compiled a GCC plugin successfully, but I get error when linking: [CODE]$ make /opt/imo/bin/g++ -g -fplugin=../libimo/libimo.so -o test main.cpp cc1plus: error: Cannot load plugin ../libimo/libimo.so ../libimo/libimo.so: undefined symbol: _ZN11NodeFactory10CreateNodeEN4BEEV4KindERKNS0_7ASTNodeES4_RKSt6vectorIS2_SaIS2_EE make: *** [default] Error 1 [/CODE] I know that the plugin works fine for other Ubuntu users, so … | |
Hello, I wrote a program which takes CNF-files as input. It takes from 1 sec up to 1 hour to finish its task (Checking satisfiability). However, there is one CNF file which takes about 1 hours before it spurts out the message: aborted <core dumped> ... and creates an *.exe.stackdump … |