Giter VIP home page Giter VIP logo

docker-swish's People

Contributors

janwielemaker avatar kharus avatar

Stargazers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

Watchers

 avatar  avatar  avatar  avatar

docker-swish's Issues

Image cant build

Image cant build.
Steps to reproduce:

git clone https://github.com/SWI-Prolog/docker-swish
cd docker-swish
make image

The output error is:

Dockerfile:13
--------------------
  12 |         (cd swish && git checkout -q ${SWISH_SHA1})
  13 | >>> RUN make -C /swish RJS="nodejs /usr/share/nodejs/requirejs/r.js" \
  14 | >>>      yarn-zip packs min
  15 |
--------------------
ERROR: failed to solve: process "/bin/sh -c make -C /swish RJS=\"nodejs /usr/share/nodejs/requirejs/r.js\" \tyarn-zip packs min" did not complete successfully: exit code: 2
make: *** [Makefile:20: image] Error 1

Docker build fails with ERROR: The predicates below are not defined scasp_main:tty_size/2

Hello @JanWielemaker

Starting today I started to get docker build failures

17.18 % ERROR: The predicates below are not defined. If these are defined
17.18 % ERROR: at runtime using assert/1, use :- dynamic Name/Arity.
17.18 % ERROR:
17.18 % ERROR: scasp_main:tty_size/2, which is referenced by
17.18 % ERROR:  /swish/pack/sCASP/prolog/scasp/main.pl:293:14: 1-st clause o
17.18 % f scasp_main:print_answer/3
17.18 % ERROR: scasp_model:tty_size/2, which is referenced by
17.18 % ERROR:  /swish/pack/sCASP/prolog/scasp/model.pl:190:14: 2-nd clause of scasp_model:print_model/2
17.18 % gmake[1]: *** [Makefile:4: all] Error 1
17.18 % gmake[1]: Leaving directory '/swish/pack/sCASP'
17.18 ERROR: -g pack_rebuild(sCASP): Process "process(/usr/bin/gmake,[])": exit status: 2

Even old build which used to pass started to fail.

scasp submodule is set up as a link to master.
I couldn't easily rewind it to previous versions.
tty_size should be availabe, I'm not sure why it complains.

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.