Skip to content

coinbrew tries to fetch Data/sample even with --no-third-party --off-line -t none #79

@tosttost

Description

@tosttost

Use case:

  • local copies of Cbc, Cgl, Clp, Osi and Coinutils
  • build Cbc based on local copy and without internet access

This can happen e.g. due to unreliable (mobile) network or on a build server with restricted network settings (for security purpose).

In such a setting coinbrew will still try to fetch Data/sample which is not necessary to build Cbc, at least with "-t none"
Similar things happen for asl, glpk etc. but those can be disabled using --without-foobar

Reproduction

wget https://raw.githubusercontent.com/coin-or/coinbrew/master/coinbrew

git clone https://github.com/coin-or/Clp.git
git clone https://github.com/coin-or/Cbc.git
git clone https://github.com/coin-or/Cgl.git
git clone https://github.com/coin-or/CoinUtils.git
git clone https://github.com/coin-or/Osi.git

# now disconnect network

build Cbc@master --no-prompt --no-third-party -t none --off-line --enable-shared --without-lapack --without-asl --without-glpk --without-mumps --disable-zlib --disable-bzlib --disable-readline

# result in

# Cloning into 'Data/Sample'...
# fatal: unable to access 'https://github.com/coin-or-tools/Data-Sample/': Could not resolve host: github.com

obvious workarounds

  • have a local copy of Data/Sample for reasons
  • hack coinbrew script removing all "git fetch"

Is it possible to introduce a --without-sample option?

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions