g++ -lstdc++ -lpopt main.o DPLLEngine.o base.o -o satsolver
main.o: In function `main':
/home/Duncan Smith/design/code/main.cpp:20: undefined reference to `_poptHelpOptions'
/home/Duncan Smith/design/code/main.cpp:31: undefined reference to `_poptGetContext'
/home/Duncan Smith/design/code/main.cpp:32: undefined reference to `_poptSetOtherOptionHelp'
/home/Duncan Smith/design/code/main.cpp:35: undefined reference to `_poptGetNextOpt'
/home/Duncan Smith/design/code/main.cpp:42: undefined reference to `_poptPeekArg'
/home/Duncan Smith/design/code/main.cpp:43: undefined reference to `_poptPrintUsage'
/home/Duncan Smith/design/code/main.cpp:48: undefined reference to `_poptGetArg'
/home/Duncan Smith/design/code/main.cpp:56: undefined reference to `_poptPrintUsage'
/home/Duncan Smith/design/code/main.cpp:70: undefined reference to `_poptPrintUsage'
/home/Duncan Smith/design/code/main.cpp:85: undefined reference to `_poptPrintUsage'
/home/Duncan Smith/design/code/main.cpp:157: undefined reference to `_poptFreeContext'
collect2: ld returned 1 exit status
make: *** [satsolver] Error 1