Re: [CIL users] Package `cil' not found

2011-05-19 Thread haihao shen
Hi Gabriel, I have found the link in cil mailing archieve. Thanks again! Haihao On Thu, May 19, 2011 at 10:36 PM, haihao shen wrote: > Thanks a lot! > > Since SVN is broken for a long time, could you please share the git clone? > > Haihao > > On Thu, May 19, 2011 at 10:34 PM, Gabriel Kerneis

Re: [CIL users] Package `cil' not found

2011-05-19 Thread haihao shen
Thanks a lot! Since SVN is broken for a long time, could you please share the git clone? Haihao On Thu, May 19, 2011 at 10:34 PM, Gabriel Kerneis wrote: > On Thu, May 19, 2011 at 10:19:09PM +0800, haihao shen wrote: > > I really have no such file although I do "./configure". > > Is there any ot

Re: [CIL users] Package `cil' not found

2011-05-19 Thread Gabriel Kerneis
On Thu, May 19, 2011 at 10:19:09PM +0800, haihao shen wrote: > I really have no such file although I do "./configure". > Is there any other way to generate the META.in? It was added by the following commit: added the META file for ocamlfind Date: Sat Aug 30 20:48:43 2008 + Maybe you

Re: [CIL users] Package `cil' not found

2011-05-19 Thread haihao shen
Hi Gabriel, I really have no such file although I do "./configure". Is there any other way to generate the META.in? Thanks, Haihao On Thu, May 19, 2011 at 10:12 PM, Gabriel Kerneis wrote: > On Thu, May 19, 2011 at 10:02:24PM +0800, haihao shen wrote: > > When I executed "sudo make install-find

Re: [CIL users] Package `cil' not found

2011-05-19 Thread Gabriel Kerneis
On Thu, May 19, 2011 at 10:02:24PM +0800, haihao shen wrote: > When I executed "sudo make install-findlib", another error message was > reported: ocamlfind: META: No such file or directory make: *** > [install-findlib] Error 2 ./configure should generate it from META.in. Don't you have such a fil

Re: [CIL users] Package `cil' not found

2011-05-19 Thread haihao shen
Hi Gabriel, When I executed "sudo make install-findlib", another error message was reported: ocamlfind: META: No such file or directory make: *** [install-findlib] Error 2 Where shall I find the META file? Thanks, Haihao On Thu, May 19, 2011 at 9:56 PM, Gabriel Kerneis wrote: > On Thu, May 19,

Re: [CIL users] Package `cil' not found

2011-05-19 Thread Gabriel Kerneis
On Thu, May 19, 2011 at 09:46:49PM +0800, haihao shen wrote: > Do you mean I need to install findlib pakckage ( > http://www.camlcity.org/archive/programming/findlib.html)? No, I mean run the "install-findlib" target of CIL's Makefile. And yes, this is a bad name for a target... -- Gabriel

Re: [CIL users] Package `cil' not found

2011-05-19 Thread haihao shen
Hi Gabriel, Do you mean I need to install findlib pakckage ( http://www.camlcity.org/archive/programming/findlib.html)? Actually, I also installed findlib but the issue still occurred. Thanks, Haihao On Thu, May 19, 2011 at 9:27 PM, Gabriel Kerneis wrote: > On Thu, May 19, 2011 at 09:19:26PM

Re: [CIL users] Package `cil' not found

2011-05-19 Thread Gabriel Kerneis
On Thu, May 19, 2011 at 09:19:26PM +0800, haihao shen wrote: > I installed OCaml 3.11.2 via "./configure && make world && make bootstrap && > make opt && make opt.opt && sudo make install", and then installed CIL via > "./configure && make && sudo make install". > > However, when I executed the co

[CIL users] Package `cil' not found

2011-05-19 Thread haihao shen
Hi All, I installed OCaml 3.11.2 via "./configure && make world && make bootstrap && make opt && make opt.opt && sudo make install", and then installed CIL via "./configure && make && sudo make install". However, when I executed the command "ocamlfind ocamlopt -package cil", the error mesage was