Project I’m trying to build: GitHub - fmolnar-notredame/AnalogSat: Simulations of continuous-time dynamical systems (CTDS) that solve Boolean satisfiability (SAT) problems.
I believe this used to work 2 years ago, but somehow new nvcc versions changed so broke it? My nvcc:
$nvcc --version
nvcc: NVIDIA (R) Cuda compiler driver
Copyright (c) 2005-2021 NVIDIA Corporation
Built on Fri_Dec_17_18:16:03_PST_2021
Cuda compilation tools, release 11.6, V11.6.55
Build cuda_11.6.r11.6/compiler.30794723_0
The command after running ‘build.sh’ inside /Frontend (The 2 other parts are already built without and issue, so those .a files are where they should be):
$./build.sh
...
/usr/bin/ld: /tmp/tmpxft_0033a356_00000000-5_bench_runner.o: in function `BenchRunner::RunMinisat()':
bench_runner.cpp:(.text+0x3b7): undefined reference to `Minisat::SolveWithMinisat(Minisat::MemoryCNF&, int, char**, std::function<bool ()>)'
/usr/bin/ld: bench_runner.cpp:(.text+0x449): undefined reference to `Minisat::MemoryCNF::~MemoryCNF()'
/usr/bin/ld: /tmp/tmpxft_0033a356_00000000-5_bench_runner.o: in function `BenchRunner::RunMinisat() [clone .cold]':
bench_runner.cpp:(.text.unlikely+0x5e): undefined reference to `Minisat::MemoryCNF::~MemoryCNF()'
/usr/bin/ld: /tmp/tmpxft_0033a356_00000000-6_cnf_runner.o: in function `SolveUsingMinisat(analogsat::SatProblem const&, Configuration const&, std::vector<double, std::allocator<double> >*)':
cnf_runner.cpp:(.text+0x244): undefined reference to `Minisat::SolveWithMinisat(Minisat::MemoryCNF&, int, char**, std::function<bool ()>)'
/usr/bin/ld: cnf_runner.cpp:(.text+0x32c): undefined reference to `Minisat::MemoryCNF::~MemoryCNF()'
/usr/bin/ld: /tmp/tmpxft_0033a356_00000000-6_cnf_runner.o: in function `SolveUsingMinisat(analogsat::SatProblem const&, Configuration const&, std::vector<double, std::allocator<double> >*) [clone .cold]':
cnf_runner.cpp:(.text.unlikely+0x31): undefined reference to `Minisat::MemoryCNF::~MemoryCNF()'
/usr/bin/ld: /tmp/tmpxft_0033a356_00000000-10_minisat_adapter.o: in function `analogsat::MinisatAdapter::~MinisatAdapter()':
minisat_adapter.cpp:(.text._ZN9analogsat14MinisatAdapterD2Ev[_ZN9analogsat14MinisatAdapterD5Ev]+0x25): undefined reference to `Minisat::MemoryCNF::~MemoryCNF()'
/usr/bin/ld: /tmp/tmpxft_0033a356_00000000-10_minisat_adapter.o: in function `analogsat::MinisatAdapter::~MinisatAdapter()':
minisat_adapter.cpp:(.text._ZN9analogsat14MinisatAdapterD0Ev[_ZN9analogsat14MinisatAdapterD5Ev]+0x24): undefined reference to `Minisat::MemoryCNF::~MemoryCNF()'
/usr/bin/ld: /tmp/tmpxft_0033a356_00000000-10_minisat_adapter.o: in function `analogsat::MinisatAdapter::MinisatAdapter(analogsat::SatProblem const&) [clone .cold]':
minisat_adapter.cpp:(.text.unlikely+0x12): undefined reference to `Minisat::MemoryCNF::~MemoryCNF()'
/usr/bin/ld: /tmp/tmpxft_0033a356_00000000-10_minisat_adapter.o:(.data.rel.ro._ZTIN9analogsat14MinisatAdapterE[_ZTIN9analogsat14MinisatAdapterE]+0x10): undefined reference to `typeinfo for Minisat::MemoryCNF'
/usr/bin/ld: /tmp/tmpxft_0033a356_00000000-12_ramsey_runner.o: in function `RamseyRunner::RunMinisat()':
ramsey_runner.cpp:(.text+0x67a): undefined reference to `Minisat::SolveWithMinisat(Minisat::MemoryCNF&, int, char**, std::function<bool ()>)'
/usr/bin/ld: ramsey_runner.cpp:(.text+0x810): undefined reference to `Minisat::MemoryCNF::~MemoryCNF()'
/usr/bin/ld: /tmp/tmpxft_0033a356_00000000-12_ramsey_runner.o: in function `RamseyRunner::RunMinisat() [clone .cold]':
ramsey_runner.cpp:(.text.unlikely+0x2da): undefined reference to `Minisat::MemoryCNF::~MemoryCNF()'
collect2: error: ld returned 1 exit status
Doing that command with ‘-v’ for more info: error dump - Pastebin.com
UPDATE: I thought maybe it’s an issue with host compiler? (gcc) But nope, I tried another cuda version and it worked, this version:
$ nvcc --version
nvcc: NVIDIA (R) Cuda compiler driver
Copyright (c) 2005-2021 NVIDIA Corporation
Built on Mon_May__3_19:15:13_PDT_2021
Cuda compilation tools, release 11.3, V11.3.109
Build cuda_11.3.r11.3/compiler.29920130_0
& running with ‘-v’ this is what the compiler driver did: correct dump - Pastebin.com
Which is different, & this one does work.