Giter VIP home page Giter VIP logo

p2p-prolog's People

Contributors

dletta avatar jacobfriedman avatar

Stargazers

 avatar  avatar  avatar  avatar  avatar  avatar

Watchers

 avatar  avatar  avatar  avatar

Forkers

whitten

p2p-prolog's Issues

Failure in WASM Build

root@jacob:/usr/lib/swipl-devel# cd build.wasm
root@jacob:/usr/lib/swipl-devel/build.wasm# ls -l
total 272
-rw-r--r-- 1 root root 200154 Sep 29 20:17 build.ninja
-rw-r--r-- 1 root root  30529 Sep 29 20:17 CMakeCache.txt
drwxr-xr-x 5 root root   4096 Sep 29 20:17 CMakeFiles
-rw-r--r-- 1 root root   2144 Sep 29 20:17 cmake_install.cmake
-rw-r--r-- 1 root root   4090 Sep 29 20:17 CPackConfig.cmake
-rw-r--r-- 1 root root   4541 Sep 29 20:17 CPackSourceConfig.cmake
-rw-r--r-- 1 root root    279 Sep 29 20:17 CTestTestfile.cmake
drwxr-xr-x 2 root root   4096 Sep 29 20:17 home
drwxr-xr-x 2 root root   4096 Sep 29 20:17 packages
-rw-r--r-- 1 root root   3247 Sep 29 20:17 rules.ninja
drwxr-xr-x 3 root root   4096 Sep 29 20:17 src
-rw-r--r-- 1 root root      5 Sep 29 20:17 swipl.home
root@jacob:/usr/lib/swipl-devel/build.wasm# cmake --build .
[152/336] Building C object src/CMakeFiles/libswipl.dir/pl-zip.c.o
FAILED: src/CMakeFiles/libswipl.dir/pl-zip.c.o 
/usr/lib/emsdk/upstream/emscripten/emcc  -Isrc -I../src -Iusr/lib/zlib-1.2.11 -DNDEBUG -O2   -Wall -MD -MT src/CMakeFiles/libswipl.dir/pl-zip.c.o -MF src/CMakeFiles/libswipl.dir/pl-zip.c.o.d -o src/CMakeFiles/libswipl.dir/pl-zip.c.o   -c ../src/pl-zip.c
In file included from ../src/pl-zip.c:40:
In file included from ../src/pl-zip.h:40:
../src/minizip/zip.h:50:10: fatal error: 'zlib.h' file not found
#include "zlib.h"
         ^~~~~~~~
1 error generated.
emcc: error: '/usr/lib/emsdk/upstream/bin/clang -target wasm32-unknown-emscripten -D__EMSCRIPTEN_major__=2 -D__EMSCRIPTEN_minor__=0 -D__EMSCRIPTEN_tiny__=5 -D_LIBCPP_ABI_VERSION=2 -Dunix -D__unix -D__unix__ -Werror=implicit-function-declaration -Xclang -nostdsysteminc -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/include/compat -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/include -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/include/libc -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/lib/libc/musl/arch/emscripten -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/local/include -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/include/SSE -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/include/neon -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/lib/compiler-rt/include -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/lib/libunwind/include -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/cache/wasm/include -DEMSCRIPTEN -fignore-exceptions -Isrc -I../src -Iusr/lib/zlib-1.2.11 -DNDEBUG -O2 -Wall -MD -MT src/CMakeFiles/libswipl.dir/pl-zip.c.o -MF src/CMakeFiles/libswipl.dir/pl-zip.c.o.d -o src/CMakeFiles/libswipl.dir/pl-zip.c.o -c ../src/pl-zip.c -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/include/SDL -c -o src/CMakeFiles/libswipl.dir/pl-zip.c.o -mllvm -combiner-global-alias-analysis=false -mllvm -enable-emscripten-sjlj -mllvm -disable-lsr' failed (1)
[157/336] Building C object src/CMakeFiles/libswipl.dir/pl-wam.c.o
FAILED: src/CMakeFiles/libswipl.dir/pl-wam.c.o 
/usr/lib/emsdk/upstream/emscripten/emcc  -Isrc -I../src -Iusr/lib/zlib-1.2.11 -DNDEBUG -O2   -Wall -MD -MT src/CMakeFiles/libswipl.dir/pl-wam.c.o -MF src/CMakeFiles/libswipl.dir/pl-wam.c.o.d -o src/CMakeFiles/libswipl.dir/pl-wam.c.o   -c ../src/pl-wam.c
emcc: error: '/usr/lib/emsdk/upstream/bin/clang -target wasm32-unknown-emscripten -D__EMSCRIPTEN_major__=2 -D__EMSCRIPTEN_minor__=0 -D__EMSCRIPTEN_tiny__=5 -D_LIBCPP_ABI_VERSION=2 -Dunix -D__unix -D__unix__ -Werror=implicit-function-declaration -Xclang -nostdsysteminc -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/include/compat -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/include -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/include/libc -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/lib/libc/musl/arch/emscripten -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/local/include -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/include/SSE -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/include/neon -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/lib/compiler-rt/include -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/lib/libunwind/include -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/cache/wasm/include -DEMSCRIPTEN -fignore-exceptions -Isrc -I../src -Iusr/lib/zlib-1.2.11 -DNDEBUG -O2 -Wall -MD -MT src/CMakeFiles/libswipl.dir/pl-wam.c.o -MF src/CMakeFiles/libswipl.dir/pl-wam.c.o.d -o src/CMakeFiles/libswipl.dir/pl-wam.c.o -c ../src/pl-wam.c -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/include/SDL -c -o src/CMakeFiles/libswipl.dir/pl-wam.c.o -mllvm -combiner-global-alias-analysis=false -mllvm -enable-emscripten-sjlj -mllvm -disable-lsr' failed (-9)
ninja: build stopped: subcommand failed.
root@jacob:/usr/lib/swipl-devel/build.wasm# ninja
[83/184] Building C object src/CMakeFiles/libswipl.dir/pl-zip.c.o
FAILED: src/CMakeFiles/libswipl.dir/pl-zip.c.o 
/usr/lib/emsdk/upstream/emscripten/emcc  -Isrc -I../src -Iusr/lib/zlib-1.2.11 -DNDEBUG -O2   -Wall -MD -MT src/CMakeFiles/libswipl.dir/pl-zip.c.o -MF src/CMakeFiles/libswipl.dir/pl-zip.c.o.d -o src/CMakeFiles/libswipl.dir/pl-zip.c.o   -c ../src/pl-zip.c
In file included from ../src/pl-zip.c:40:
In file included from ../src/pl-zip.h:40:
../src/minizip/zip.h:50:10: fatal error: 'zlib.h' file not found
#include "zlib.h"
         ^~~~~~~~
1 error generated.
emcc: error: '/usr/lib/emsdk/upstream/bin/clang -target wasm32-unknown-emscripten -D__EMSCRIPTEN_major__=2 -D__EMSCRIPTEN_minor__=0 -D__EMSCRIPTEN_tiny__=5 -D_LIBCPP_ABI_VERSION=2 -Dunix -D__unix -D__unix__ -Werror=implicit-function-declaration -Xclang -nostdsysteminc -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/include/compat -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/include -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/include/libc -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/lib/libc/musl/arch/emscripten -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/local/include -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/include/SSE -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/include/neon -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/lib/compiler-rt/include -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/lib/libunwind/include -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/cache/wasm/include -DEMSCRIPTEN -fignore-exceptions -Isrc -I../src -Iusr/lib/zlib-1.2.11 -DNDEBUG -O2 -Wall -MD -MT src/CMakeFiles/libswipl.dir/pl-zip.c.o -MF src/CMakeFiles/libswipl.dir/pl-zip.c.o.d -o src/CMakeFiles/libswipl.dir/pl-zip.c.o -c ../src/pl-zip.c -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/include/SDL -c -o src/CMakeFiles/libswipl.dir/pl-zip.c.o -mllvm -combiner-global-alias-analysis=false -mllvm -enable-emscripten-sjlj -mllvm -disable-lsr' failed (1)
[87/184] Building C object src/CMakeFiles/libswipl.dir/pl-gc.c.o
../src/pl-gc.c:1423:3: warning: ignoring return value of function declared with 'warn_unused_result' attribute [-Wunused-result]
{ pushSegStack(&LD->cycle.vstack, p, Word);
  ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../src/pl-segstack.h:93:5: note: expanded from macro 'pushSegStack'
                : pushSegStack_((stack), &data)                 \
                  ^~~~~~~~~~~~~ ~~~~~~~~~~~~~~
1 warning generated.
[88/184] Building C object src/CMakeFiles/libswipl.dir/pl-wam.c.o
FAILED: src/CMakeFiles/libswipl.dir/pl-wam.c.o 
/usr/lib/emsdk/upstream/emscripten/emcc  -Isrc -I../src -Iusr/lib/zlib-1.2.11 -DNDEBUG -O2   -Wall -MD -MT src/CMakeFiles/libswipl.dir/pl-wam.c.o -MF src/CMakeFiles/libswipl.dir/pl-wam.c.o.d -o src/CMakeFiles/libswipl.dir/pl-wam.c.o   -c ../src/pl-wam.c
emcc: error: '/usr/lib/emsdk/upstream/bin/clang -target wasm32-unknown-emscripten -D__EMSCRIPTEN_major__=2 -D__EMSCRIPTEN_minor__=0 -D__EMSCRIPTEN_tiny__=5 -D_LIBCPP_ABI_VERSION=2 -Dunix -D__unix -D__unix__ -Werror=implicit-function-declaration -Xclang -nostdsysteminc -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/include/compat -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/include -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/include/libc -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/lib/libc/musl/arch/emscripten -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/local/include -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/include/SSE -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/include/neon -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/lib/compiler-rt/include -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/lib/libunwind/include -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/cache/wasm/include -DEMSCRIPTEN -fignore-exceptions -Isrc -I../src -Iusr/lib/zlib-1.2.11 -DNDEBUG -O2 -Wall -MD -MT src/CMakeFiles/libswipl.dir/pl-wam.c.o -MF src/CMakeFiles/libswipl.dir/pl-wam.c.o.d -o src/CMakeFiles/libswipl.dir/pl-wam.c.o -c ../src/pl-wam.c -Xclang -isystem/usr/lib/emsdk/upstream/emscripten/system/include/SDL -c -o src/CMakeFiles/libswipl.dir/pl-wam.c.o -mllvm -combiner-global-alias-analysis=false -mllvm -enable-emscripten-sjlj -mllvm -disable-lsr' failed (-9)
ninja: build stopped: subcommand failed.
root@jacob:/usr/lib/swipl-devel/build.wasm# 

GNU Prolog Compilation Problems

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)))
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.