On Tue, Mar 29, 2011 at 05:09:15AM -0700, haihao shen wrote: > I have solved the issue by copying the obj dir from another machine > directly.
This is extremely strange. The obj dir is created from scratch on every compilation. Could you please try to: - download and untar a fresh archive from sourceforge - configure and make, and send me the full output. Please, also send me your ocaml version (ocaml -version) and architecture. Thanks in advance, -- Gabriel Kerneis ------------------------------------------------------------------------------ Enable your software for Intel(R) Active Management Technology to meet the growing manageability and security demands of your customers. Businesses are taking advantage of Intel(R) vPro (TM) technology - will your software be a part of the solution? Download the Intel(R) Manageability Checker today! http://p.sf.net/sfu/intel-dev2devmar _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users