Ticket #1899 (closed merge: fixed)
compiler does not halt
|Reported by:||guest||Owned by:||igloo|
|Operating System:||Unknown/Multiple||Architecture:||x86_64 (amd64)|
|Type of failure:||Difficulty:||Unknown|
|Test Case:||T1899||Blocked By:|
In the included tarball, run make in the code directory. The module ILPSAT takes over 11 minutes compiling. I have not seen it finish. I get the same result turning off the optimizing flags in the provided Makefile, as well as the -threaded flag.