[Caml-list] Compile 4.01 on debian

[Caml-list] Compile 4.01 on debian

[Philip]

[-- Attachment #1: Type: text/plain, Size: 376 bytes --]

Hi list,
just pulled ocaml from git and made:

./configure 
make world.opt

and got an error:

Error: Files utils/ccomp.cmo and utils/misc.cmo
       make inconsistent assumptions over interface List
make[1]: *** [compilerlibs/ocamlcommon.cma] Error 2
make[1]: Leaving directory `/home/user/git/ocaml'
make: *** [world.opt] Error 2

Am i missin sth?

-Philip

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 490 bytes --]

Re: [Caml-list] Compile 4.01 on debian

[Kakadu]

This message usually happens when two cmos are built with different
versions of compilers. Are you sure that it is not your problem? Why
don't you use opam? [1]

Kakadu


[1] http://opam.ocamlpro.com/

On Sat, Sep 14, 2013 at 7:59 PM, Philip <feucht@uni-koblenz.de> wrote:
> Hi list,
> just pulled ocaml from git and made:
>
> ./configure
> make world.opt
>
> and got an error:
>
> Error: Files utils/ccomp.cmo and utils/misc.cmo
>        make inconsistent assumptions over interface List
> make[1]: *** [compilerlibs/ocamlcommon.cma] Error 2
> make[1]: Leaving directory `/home/user/git/ocaml'
> make: *** [world.opt] Error 2
>
> Am i missin sth?
>
> -Philip

Re: [Caml-list] Compile 4.01 on debian

[Adrien Nader]

Hi,

On Sat, Sep 14, 2013, Philip wrote:
> Hi list,
> just pulled ocaml from git and made:

Did you pull from the trunk branch? If so you didn't get 4.01 but the
development version which is in a much more incertain state.

That said, I'm running on trunk plus a few patches and I didn't get an
error. Can you attach the output of ./configure?

Thanks,
Adrien Nader

Re: [Caml-list] Compile 4.01 on debian

[Philip]

[-- Attachment #1.1: Type: text/plain, Size: 581 bytes --]

On Sat, 14 Sep 2013 18:26:53 +0200
Adrien Nader <adrien@notk.org> wrote:

> Hi,
> 
> On Sat, Sep 14, 2013, Philip wrote:
> > Hi list,
> > just pulled ocaml from git and made:
> 
> Did you pull from the trunk branch? If so you didn't get 4.01 but the
> development version which is in a much more incertain state.
> 
> That said, I'm running on trunk plus a few patches and I didn't get an
> error. Can you attach the output of ./configure?
> 
> Thanks,
> Adrien Nader
> 

Yes, of course:
did 'git checkout 4.01.0' and configure <output attached>

Thanks,
P

[-- Attachment #1.2: messages.txt --]
[-- Type: text/plain, Size: 3763 bytes --]

Configuring for a x86_64-unknown-linux-gnu ...
gcc found
The C compiler is ANSI-compliant.
Checking the sizes of integers and pointers...
Wow! A 64 bit architecture!
This is a little-endian architecture.
Doubles can be word-aligned.
64-bit integers can be word-aligned.
Native division and modulus have round-towards-zero semantics,
will use them.
ranlib found
#! appears to work in shell scripts
POSIX signal handling found.
expm1(), log1p(), hypot(), copysign() found.
getrusage() found.
times() found.
termcap functions found (with libraries '-lcurses')
You have BSD sockets.
socklen_t is defined in <sys/socket.h>
inet_aton() found.
IPv6 is supported.
unistd.h found.
off_t is defined in <sys/types.h>
dirent.h found.
rewinddir() found.
lockf() found.
mkfifo() found.
getcwd() found.
getwd() found.
getpriority() found.
utime() found.
utimes() found.
dup2() found.
fchmod() found.
truncate() found.
sys/select.h found.
select() found.
symlink() found.
waitpid() found.
wait4() found.
getgroups() found.
setgroups() found.
initgroups() found.
POSIX termios found.
Asynchronous I/O are supported.
setitimer() found.
gethostname() found.
uname() found.
gettimeofday() found.
mktime() found.
setsid() found.
putenv() found.
setlocale() and <locale.h> found.
dlopen() found in -ldl.
Dynamic loading of shared libraries is supported.
mmap() found.
pwrite() found
gethostbyname_r() found (with 6 arguments).
gethostbyaddr_r() found (with 8 arguments).
Replay debugger supported.
System stack overflow can be detected.
POSIX threads library supported.
Options for linking with POSIX threads: -lpthread
sigwait() found
Bytecode threads library supported.
X11 works
Options for compiling for X11: 
Options for linking with X11: -L/usr/lib/x86_64-linux-gnu -lX11
Configuring LablTk...
tcl.h and/or tk.h not found.
Configuration failed, LablTk will not be built.
BFD library not found, 'objinfo' will be unable to display info on .cmxs files
Assembler supports CFI

** Configuration summary **

Directories where OCaml will be installed:
        binaries.................. /usr/local/bin
        standard library.......... /usr/local/lib/ocaml
        manual pages.............. /usr/local/man (with extension .1)
Configuration for the bytecode compiler:
        C compiler used........... gcc
        options for compiling..... -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT
        options for linking.......  -Wl,-E  -lm  -ldl -lcurses -lpthread
        shared libraries are supported
        options for compiling..... -fPIC -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT
        command for building...... gcc -shared -o lib.so -Wl,-rpath,/a/path objs
Configuration for the native-code compiler:
        hardware architecture..... amd64
        OS variant................ linux
        C compiler used........... gcc
        options for compiling..... -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT
        options for linking.......   -lm
        assembler ................ as
        preprocessed assembler ... gcc -c
        assembler supports CFI ... yes
        with frame pointers....... no
        native dynlink ........... true
        profiling with gprof ..... supported
Source-level replay debugger: supported
Additional libraries supported:
        unix str num dynlink bigarray systhreads threads graph
Configuration for the "num" library:
        target architecture ...... amd64 (asm level 1)
Configuration for the "graph" library:
        options for compiling .... 
        options for linking ...... -L/usr/lib/x86_64-linux-gnu -lX11
The "labltk" library: not supported

** OCaml configuration completed successfully **


[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 490 bytes --]

Re: [Caml-list] Compile 4.01 on debian

[Xavier Leroy]

On 14/09/13 17:59, Philip wrote:
> Hi list, just pulled ocaml from git and made:
> 
> ./configure make world.opt
> 
> and got an error:
> 
> Error: Files utils/ccomp.cmo and utils/misc.cmo make inconsistent
> assumptions over interface List

Sounds like you "git pull"-ed over an old working copy containing
leftover compiled files from an earlier version of OCaml.
"make clean" is strongly advised.

(And, as others said, if you're tracking the OCaml trunk, it's at your
own risks.)

HTH,

- Xavier Leroy

Re: [Caml-list] Compile 4.01 on debian

[Philip]

[-- Attachment #1: Type: text/plain, Size: 704 bytes --]

On Sat, 14 Sep 2013 18:33:22 +0200
Xavier Leroy <Xavier.Leroy@inria.fr> wrote:

> On 14/09/13 17:59, Philip wrote:
> > Hi list, just pulled ocaml from git and made:
> > 
> > ./configure make world.opt
> > 
> > and got an error:
> > 
> > Error: Files utils/ccomp.cmo and utils/misc.cmo make inconsistent
> > assumptions over interface List
> 
> Sounds like you "git pull"-ed over an old working copy containing
> leftover compiled files from an earlier version of OCaml.
> "make clean" is strongly advised.
> 
> (And, as others said, if you're tracking the OCaml trunk, it's at your
> own risks.)
> 
> HTH,
> 
> - Xavier Leroy

Thanks,
thought it must be that simple.

-Philip

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 490 bytes --]

Re: [Caml-list] Compile 4.01 on debian

[Wojciech Meyer]

Xavier Leroy <Xavier.Leroy@inria.fr> writes:

> On 14/09/13 17:59, Philip wrote:
>> Hi list, just pulled ocaml from git and made:
>>
>> ./configure make world.opt
>>
>> and got an error:
>>
>> Error: Files utils/ccomp.cmo and utils/misc.cmo make inconsistent
>> assumptions over interface List
>
> Sounds like you "git pull"-ed over an old working copy containing
> leftover compiled files from an earlier version of OCaml.
> "make clean" is strongly advised.
>
> (And, as others said, if you're tracking the OCaml trunk, it's at your
> own risks.)

What I do usually in such situations when "make clean" does not cleanup
everything, or some files clobber ocamlbuild hygiene conditions, is to
just use very useful git command to remember:

# git clean -dxf

this will give you a fresh repository pointing to git revision, but not
containing any intermediate files, which may affect the build.

Again, as others say, use it on your own risk, you can easily delete
some important files to you. More over the build takes significant time.
But in the end it will give you always clean repository, but you have to
reconfigure/rebuild it again yourself!

Thanks,
 Wojciech