Export to GitHub

mdpsim - issue #2

Linker warns that ./cudd does not exist, even when just making mdpsim and mdpclient

Posted on Oct 12, 2007 by Happy Cat

Reported by Daniel Borrajo on Mac (Darwin Kernel Version 8.10.1). The ./cudd directory should not be included in the include and library path search path for mdpsim and mdpclient.

Comment #1

Posted on Oct 13, 2007 by Happy Cat

Fixed in revision 11. Now CUDDDIR is used only for mtbddclient.

Comment #2

Posted on Oct 15, 2007 by Happy Cat

(No comment was entered for this change.)

Status: Verified

Labels:
Type-Defect Priority-Low