jacobfriedman/p2p-prolog

GNU Prolog Compilation Problems

Closed this issue · 0 comments

image

emmake make
make: make
cd EnginePl; make config
make[1]: Entering directory '/home/jacob/projects/wasm-prolog/gprolog/src/EnginePl'
/home/jacob/projects/wasm-prolog/emsdk/upstream/emscripten/emcc -fno-strict-aliasing -O3 -fomit-frame-pointer -o pl_config pl_config.c
pl_config.c:924:63: warning: format specifies type 'int' but the argument has type 'PlLong' (aka 'long') [-Wformat]
fprintf(fg_c, "#define PL_MIN_INTEGER\t\t%" PL_FMT_d "\n", min_integer);
~~~~~~~~~~~ ^~~~~~~~~~~
pl_config.c:925:63: warning: format specifies type 'int' but the argument has type 'PlLong' (aka 'long') [-Wformat]
fprintf(fg_c, "#define PL_MAX_INTEGER\t\t%" PL_FMT_d "\n", max_integer);
~~~~~~~~~~~ ^~~~~~~~~~~
pl_config.c:933:68: warning: format specifies type 'unsigned int' but the argument has type 'PlULong' (aka 'unsigned long') [-Wformat]
fprintf(g, "#define TAG_MASK \t\t(PlULong)%#" PL_FMT_x "\n", tag_mask);
~~~~~~~~~~~~ ^~~~~~~~
pl_config.c:934:68: warning: format specifies type 'unsigned int' but the argument has type 'PlULong' (aka 'unsigned long') [-Wformat]
fprintf(g, "#define VALUE_MASK \t\t(PlULong)%#" PL_FMT_x "\n", tag_mask);
~~~~~~~~~~~~ ^~~~~~~~~
pl_config.c:952:26: warning: format specifies type 'unsigned int' but the argument has type 'unsigned long' [-Wformat]
tag[i].name, Mk_Tag_Mask(tag[i].value));
^~~~~~~~~~~~~~~~~~~~~~~~~
pl_config.c:897:24: note: expanded from macro 'Mk_Tag_Mask'
#define Mk_Tag_Mask(x) ((((PlULong) (x) >> tag_size_low) << (value_size + tag_size_low)) | ((x) & ((1 << tag_size_low) - 1)))
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

pl_config.c:1078:29: warning: format specifies type 'unsigned int' but the argument has type 'unsigned long' [-Wformat]
tag[i].value, Mk_Tag_Mask(tag[i].value),
^~~~~~~~~~~~~~~~~~~~~~~~~
pl_config.c:897:24: note: expanded from macro 'Mk_Tag_Mask'
#define Mk_Tag_Mask(x) ((((PlULong) (x) >> tag_size_low) << (value_size + tag_size_low)) | ((x) & ((1 << tag_size_low) - 1)))
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~