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

Your Dockerfile doesn't work due to lack of ubuntu version. #358

Open
maxvonhippel opened this issue Feb 21, 2021 · 1 comment
Open

Your Dockerfile doesn't work due to lack of ubuntu version. #358

maxvonhippel opened this issue Feb 21, 2021 · 1 comment

Comments

@maxvonhippel
Copy link

  • [x ] Ensure the bug was not already reported by searching on GitHub
    under Issues.
  • [ x] Be sure to include a title and clear description, as much
    relevant information as possible including:
    • [x ] dReal version (output of dReal --version)
    • [ x] smt2 or drh files with the expected behavior that is not
      occurring (i.e. delta-sat / unsat).
    • [ x] Environment including OS and Compiler (for example, OS X
      10.11.4 + clang-3.6.2)

Literally none of the above things matter here (dReal version, environment, etc.)

here is the issue. In your Dockerfile, you have:

FROM ubuntu

but the latest Ubuntu fails on the line

RUN apt-get -y install -qq autoconf automake bison flex git libtool make pkg-config python-software-properties texinfo

with the output

(base) max@max-XPS-13-9310:~/tools/dreal3/dreal3/dockerbuild$ sudo docker build .
[sudo] password for max:              
Sending build context to Docker daemon  3.072kB
Step 1/12 : FROM ubuntu
 ---> f63181f19b2f
Step 2/12 : MAINTAINER Fedor Shmarov <[email protected]>
 ---> Using cache
 ---> 1c8e6b420e13
Step 3/12 : VOLUME /usr/local/src/dreal/src
 ---> Using cache
 ---> 042c6ca9fb8c
Step 4/12 : VOLUME /usr/local/src/dreal/bin
 ---> Using cache
 ---> f2ad66986d47
Step 5/12 : RUN apt-get update
 ---> Using cache
 ---> 7d287a950eac
Step 6/12 : RUN apt-get -y install -qq build-essential
 ---> Using cache
 ---> 76da9d5979f4
Step 7/12 : RUN apt-get -y install -qq autoconf automake bison flex git libtool make pkg-config python-software-properties texinfo
 ---> Running in f7dc16278f1b
E: Package 'python-software-properties' has no installation candidate
The command '/bin/sh -c apt-get -y install -qq autoconf automake bison flex git libtool make pkg-config python-software-properties texinfo' returned a non-zero code: 100

for details see here. But more usefully, you can just fix the issue by specifying the desired Ubuntu version, e.g.:

FROM ubuntu:12.04
@maxvonhippel
Copy link
Author

Your checklist for a PR is kind of tedious so I won't do it, but the issue ^ above makes it obvious how to fix this, so if you find this useful you can easily implement the fix. Thank you for making this interesting tool which I enjoy learning about and using.

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

1 participant