When following the instructions, I get the below errors on make. But if I run cabal configure build install afterwards, it appears that everything installs fine. I was able to successfully run a satchmo example (thus minisat got called, I suppose).
Linking: build/release/bin/test-minisatraw
build/release/MiniSat.o: In function `s3FK_info':
(.text+0x1935): undefined reference to `asynczm2zi0zi1zi4_ControlziConcurrentziAsync_waitSTM1_info'
build/release/MiniSat.o: In function `s3FW_info':
(.text+0x1a25): undefined reference to `asynczm2zi0zi1zi4_ControlziConcurrentziAsync_waitSTM1_info'
build/release/MiniSat.o: In function `s4en_info':
(.text+0x1b34): undefined reference to `asynczm2zi0zi1zi4_ControlziConcurrentziAsync_withAsync1_info'
build/release/MiniSat.o: In function `s4ev_info':
(.text+0x1c0f): undefined reference to `asynczm2zi0zi1zi4_ControlziConcurrentziAsync_withAsync1_info'
build/release/MiniSat.o: In function `MiniSat_withNewSolverAsync1_srt':
(.data+0x200): undefined reference to `asynczm2zi0zi1zi4_ControlziConcurrentziAsync_withAsync1_closure'
build/release/MiniSat.o: In function `MiniSat_withNewSolverAsync_srt':
(.data+0x218): undefined reference to `asynczm2zi0zi1zi4_ControlziConcurrentziAsync_withAsync1_closure'
collect2: error: ld returned 1 exit status
make: *** [build/release/bin/test-minisatraw] Error 1
When following the instructions, I get the below errors on
make. But if I runcabal configure build installafterwards, it appears that everything installs fine. I was able to successfully run a satchmo example (thus minisat got called, I suppose).