From: haihao s. <hai...@gm...> - 2011-05-19 13:19:32
|
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 omitted: ocamlfind: Package `cil' not found. However, the command "ocamlfind ocamlopt -package unix" was sucessful. I am wondering whether I missed some configure to during installation. Is there any suggestion for this issue? Thanks, Haihao |
From: Gabriel K. <ke...@pp...> - 2011-05-19 13:27:44
|
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 command "ocamlfind ocamlopt -package cil", the > error mesage was omitted: ocamlfind: Package `cil' not found. However, the > command "ocamlfind ocamlopt -package unix" was sucessful. I am wondering > whether I missed some configure to during installation. Is there any > suggestion for this issue? You need to do "sudo make install-findlib" (make install does not invoke ocamlfind by default). Regards, -- Gabriel |
From: haihao s. <hai...@gm...> - 2011-05-19 13:46:56
|
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 <ke...@pp...>wrote: > 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 command "ocamlfind ocamlopt -package cil", > the > > error mesage was omitted: ocamlfind: Package `cil' not found. However, > the > > command "ocamlfind ocamlopt -package unix" was sucessful. I am wondering > > whether I missed some configure to during installation. Is there any > > suggestion for this issue? > > You need to do "sudo make install-findlib" (make install does not invoke > ocamlfind by default). > > Regards, > -- > Gabriel > |
From: Gabriel K. <ke...@pp...> - 2011-05-19 13:56:33
|
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 |
From: haihao s. <hai...@gm...> - 2011-05-19 14:02:31
|
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 <ke...@pp...>wrote: > 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 > |
From: Gabriel K. <ke...@pp...> - 2011-05-19 14:13:34
|
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 file? Best, -- Gabriel |
From: haihao s. <hai...@gm...> - 2011-05-19 14:19:15
|
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 <ke...@pp...>wrote: > 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 > file? > > Best, > -- > Gabriel > |
From: Gabriel K. <ke...@pp...> - 2011-05-19 14:35:20
|
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 +0000 Maybe you need to fetch latest version from svn (or my git clone, see the archives for a HOW-TO). -- Gabriel |
From: haihao s. <hai...@gm...> - 2011-05-19 14:36:49
|
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 <ke...@pp...>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 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 +0000 > > Maybe you need to fetch latest version from svn (or my git clone, see > the archives for a HOW-TO). > > -- > Gabriel > |
From: haihao s. <hai...@gm...> - 2011-05-19 14:39:03
|
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 <hai...@gm...> 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 <ke...@pp...>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 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 +0000 >> >> Maybe you need to fetch latest version from svn (or my git clone, see >> the archives for a HOW-TO). >> >> -- >> Gabriel >> > > |