Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Error while compiling #9

Closed
lambdaxdotx opened this issue Jun 6, 2015 · 1 comment
Closed

Error while compiling #9

lambdaxdotx opened this issue Jun 6, 2015 · 1 comment

Comments

@lambdaxdotx
Copy link

Hi,
I get the following error when trying make world:

platform.c: At top level:
platform.c:50:9: error: conflicting types for ‘caml_mem_round_up_pages’
 asize_t caml_mem_round_up_pages(asize_t size)
         ^
In file included from platform.c:3:0:
platform.h:185:9: note: previous declaration of ‘caml_mem_round_up_pages’ was here
 uintnat caml_mem_round_up_pages(uintnat size);
         ^
<builtin>: recipe for target 'platform.o' failed
make[2]: *** [platform.o] Error 1
make[2]: Leaving directory '/home/ocaml-multicore/byterun'
Makefile:187: recipe for target 'coldstart' failed
make[1]: *** [coldstart] Error 2
make[1]: Leaving directory '/home/ocaml-multicore'
Makefile:135: recipe for target 'world' failed
make: *** [world] Error 2

The following is the output given by the configure:

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..... i386
        OS variant................ linux_elf
        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
        naked pointers forbidden.. no
        native dynlink ........... true
        profiling with gprof ..... supported
Source-level replay debugger: supported
Additional libraries supported:
        unix str num dynlink bigarray threads graph
Configuration for the "num" library:
        target architecture ...... ia32 (asm level 2)
Configuration for the "graph" library:
        options for compiling .... 
        options for linking ...... -lX11 

PS: Is there a particular mailing list for this project rather than the general caml-list?
Thanks.

@kayceesrk
Copy link
Contributor

Fixed in 45107e4. There isn't a public mailing list currently, but will create one in due course. Thanks for the report.

sadiqj pushed a commit to sadiqj/ocaml-multicore that referenced this issue Feb 2, 2020
Added some more barrier events to calculate slack in the synchronisation phase
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants