Re: Build error with 2.27.29

Installing the OCaml compiler from source is pretty easy...

    - B

On Jun 9, 2007, at 5:17 PM, Yang wrote:

> Hmm, you're right...
>
> $ cat hello.ml
> print_endline "Hello world!";;
>
> $ ocamlc hello.ml
>>> Fatal error: cannot open pervasives.cmi
> Fatal error: exception Misc.Fatal_error
>
> $ ocamlc -version
> 3.09.1
>
> $ which ocamlc
> /usr/bin/ocamlc
>
> $ dpkg -S /usr/bin/ocamlc
> ocaml-nox: /usr/bin/ocamlc
>
> [ it's an ubuntu package ]
>
> $ locate pervasives.cmi
> /usr/lib/ocaml/3.09.1/pervasives.cmi
>
> $ ls -l /usr/lib/ocaml/3.09.1/pervasives.cmi
> -rw-r--r-- 1 root root 13449 Jan 14  2006 /usr/lib/ocaml/3.09.1/ 
> pervasives.cmi
>
> I don't know how to fix this. I also tried asking on #ocaml. I suppose
> my next stop is caml-list, but would anyone here know how to fix this
> problem?
>
> On 6/8/07, Benjamin Pierce bcpierce-at-cis.upenn.edu |unison|
> <...> wrote:
>> Are you able to compile any ocaml programs at all?  It looks like the
>> compiler itself is failing.
>>
>>     - B
>>
>> On Jun 6, 2007, at 10:40 PM, Yang wrote:
>>
>>> Hi, I get this 2.27.29 build error on Ubuntu 6.06. Any hints  
>>> would be
>>> much appreciated. Thanks in advance.
>>>
>>> $ ocamlc -version
>>> 3.09.1
>>> $ make
>>> ocamlc -o mkProjectInfo mkProjectInfo.ml
>>>>> Fatal error: cannot open pervasives.cmi
>>> Fatal error: exception Misc.Fatal_error
>>> UISTYLE = text
>>> Building for Unix
>>> NATIVE = true
>>> THREADS = false
>>> STATIC = false
>>> OSTYPE =
>>> OSARCH =
>>> make tags
>>> make[1]: Entering directory
>>> `/export/home/yangzhang/local/store/software/todo/unison-2.27.29'
>>> ocamlc -o mkProjectInfo mkProjectInfo.ml
>>>>> Fatal error: cannot open pervasives.cmi
>>> Fatal error: exception Misc.Fatal_error
>>> etags *.mli */*.mli *.ml */*.ml */*.m *.c */*.c *.txt
>>> make[1]: Leaving directory
>>> `/export/home/yangzhang/local/store/software/todo/unison-2.27.29'
>>>
>>>
>>>
>>> Yahoo! Groups Links
>>>
>>>
>>>
>>
>>
>
>
>
> Yahoo! Groups Links
>
>
>

 
Yahoo! Groups Links

<*> To visit your group on the web, go to:
    http://groups.yahoo.com/group/unison-users/

<*> Your email settings:
    Individual Email | Traditional

<*> To change settings online go to:
    http://groups.yahoo.com/group/unison-users/join
    (Yahoo! ID required)

<*> To change settings via email:
    mailto:unison-users-digest <at> yahoogroups.com 
    mailto:unison-users-fullfeatured <at> yahoogroups.com

<*> To unsubscribe from this group, send an email to:
    unison-users-unsubscribe <at> yahoogroups.com

<*> Your use of Yahoo! Groups is subject to:
    http://docs.yahoo.com/info/terms/