我把自己hw6的code贴过去final的里面之后 都make不起来耶
错误讯息如下
"
Checking util...
Checking cir...
Checking sat...
Checking main...
> building fraig...
/usr/bin/ld: skipping incompatible ../../lib/libcmd.a when searching for -lcmd
/usr/bin/ld: cannot find -lcmd
collect2: ld returned 1 exit status
make[1]: *** [../../bin/fraig] Error 1
make: *** [main] Error 2
"
有请高手指点

首先 cirMgr.h 有加函数 另外 这个看起来比较像 32-64 问题

老师原先上传的好像make 32会有问题，重新下载就OK了。

我也有这问题...sad 想写资结的满腔热血瞬间熄灭

orz 之前 make 的时候忘记改 makefile 了!请见 #3828

下载新的就好了谢谢大家～～ 呜呜满腔热血GG