Giter Club home page Giter Club logo

ocarina-docker's People

Contributors

yoogx avatar

Stargazers

avatar

Watchers

avatar avatar

ocarina-docker's Issues

ocarina-docker fails on Archlinux

I have tried ocarina-docker on Archlinux 5.6.3-arch1-1 with docker version 19.03.8-ce, build afacb8b7f0, but without success.

Trying to build centos-7.x-gnat-community-2018 failed with:

--2020-04-17 20:11:14--  http://mirrors.cdn.adacore.com/art/5b0d7bffa3f5d709751e3e04
Resolving mirrors.cdn.adacore.com (mirrors.cdn.adacore.com)... failed: Name or service not known.
wget: unable to resolve host address ‘mirrors.cdn.adacore.com’
The command '/bin/sh -c cd $HOME &&     wget http://mirrors.cdn.adacore.com/art/5b0d7bffa3f5d709751e3e04 -O gnat-community-2018 &&     git clone https://github.com/AdaCore/gnat_community_install_script &&     sh ./gnat_community_install_script/install_package.sh ./gnat-community-2018 $HOME/gnat-community-2018-install' returned a non-zero code: 4

Trying to build centos-7.x-gnat-gpl-2017 failed with same error message, basically

get: unable to resolve host address ‘mirrors.cdn.adacore.com’
The command '/bin/sh -c cd $HOME &&     wget -nv http://mirrors.cdn.adacore.com/art/591c6d80c7a447af2deed1d7 &&     mv  591c6d80c7a447af2deed1d7 gnat-gpl-2017-x86_64-linux-bin.tar.gz &&     tar zxf gnat-gpl-2017-x86_64-linux-bin.tar.gz' returned a non-zero code: 4

Trying to build debian-10.0 was succesfull, but running fails:

docker run -t -i ocarina/build bash

did not work at all, and

docker run -t ocarina/build

started but failed with

configure: error: I could not find gprbuild. .

Before that there where warnings concernign the locale:

warning: Setting locale failed.
perl: warning: Please check that your locale settings:
	LANGUAGE = (unset),
	LC_ALL = "en_US.UTF-8",
	LANG = "C"
    are supported and installed on your system.
perl: warning: Falling back to the standard locale ("C").
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
	LANGUAGE = (unset),
	LC_ALL = "en_US.UTF-8",
	LANG = "C"
    are supported and installed on your system.

A final test with debian-testing showed the same behaviour as debian-10.0. Getting the dependencies of all the required Ada packages right on Arch is very demanding.

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.