Git Product home page Git Product logo

interpret's People

Stargazers

 avatar

Watchers

 avatar

Forkers

jashree

interpret's Issues

Failed to compile philip

Compiling philip gave the following error:

g++ -O2 -std=c++11 -DNDEBUG -lpthread -DUSE_LP_SOLVE -DUSE_GUROBI src/logical_function.o src/binary.o src/proof_graph.o src/s_expression.o src/main.o src/ctypes.o src/kb.o src/ilp_problem.o src/processor.o src/interface.o src/define.o src/lib/getopt_win.o src/lhs/lhs_depth.o src/lhs/lhs_a_star.o src/sol/sol_null.o src/sol/sol_gurobi.o src/sol/sol_lpsolve.o src/sol/sol_gurobi_kbest.o src/ilp/ilp_null.o src/ilp/ilp_cost.o src/ilp/ilp_weight.o src/phillip.o  -lcolamd -llpsolve55 -lgurobi_c++ -lgurobi60 -ldl -o bin/phil
src/main.o: In function `main':
main.cpp:(.text.startup+0x19f): undefined reference to `GRBException::getMessage[abi:cxx11]() const'
src/sol/sol_gurobi.o: In function `phil::sol::gurobi_t::add_constraint(GRBModel*, phil::ilp::constraint_t, std::unordered_map<long, GRBVar, std::hash<long>, std::equal_to<long>, std::allocator<std::pair<long const, GRBVar> > > const&) const':
sol_gurobi.cpp:(.text+0x4a2): undefined reference to `GRBModel::addRange(GRBLinExpr const&, double, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >)'
sol_gurobi.cpp:(.text+0x544): undefined reference to `GRBModel::addConstr(GRBLinExpr const&, char, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >)'
sol_gurobi.cpp:(.text+0x599): undefined reference to `GRBModel::addConstr(GRBLinExpr const&, char, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >)'
sol_gurobi.cpp:(.text+0x5ee): undefined reference to `GRBModel::addConstr(GRBLinExpr const&, char, double, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >)'
sol_gurobi.cpp:(.text+0x691): undefined reference to `GRBException::getMessage[abi:cxx11]() const'
src/sol/sol_gurobi.o: In function `phil::sol::gurobi_t::optimize(phil::sol::gurobi_t::model_t&) const':
sol_gurobi.cpp:(.text+0xf6a): undefined reference to `GRBConstr::get[abi:cxx11](GRB_StringAttr) const'
sol_gurobi.cpp:(.text+0x122b): undefined reference to `GRBException::getMessage[abi:cxx11]() const'
sol_gurobi.cpp:(.text+0x1317): undefined reference to `GRBException::getMessage[abi:cxx11]() const'
sol_gurobi.cpp:(.text+0x1422): undefined reference to `GRBException::getMessage[abi:cxx11]() const'
src/sol/sol_gurobi.o: In function `phil::sol::gurobi_t::add_variables(phil::ilp::ilp_problem_t const*, GRBModel*, std::unordered_map<long, GRBVar, std::hash<long>, std::equal_to<long>, std::allocator<std::pair<long const, GRBVar> > >*) const':
sol_gurobi.cpp:(.text+0x180b): undefined reference to `GRBModel::addVar(double, double, double, char, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >)'
sol_gurobi.cpp:(.text+0x1a6d): undefined reference to `GRBException::getMessage[abi:cxx11]() const'
sol_gurobi.cpp:(.text+0x1b76): undefined reference to `GRBException::getMessage[abi:cxx11]() const'
src/sol/sol_gurobi.o: In function `phil::sol::gurobi_t::prepare(phil::sol::gurobi_t::model_t&) const':
sol_gurobi.cpp:(.text+0x2124): undefined reference to `GRBException::getMessage[abi:cxx11]() const'
sol_gurobi.cpp:(.text+0x2220): undefined reference to `GRBException::getMessage[abi:cxx11]() const'
sol_gurobi.cpp:(.text+0x22ec): undefined reference to `GRBException::getMessage[abi:cxx11]() const'
src/sol/sol_gurobi.o:sol_gurobi.cpp:(.text+0x23aa): more undefined references to `GRBException::getMessage[abi:cxx11]() const' follow
collect2: error: ld returned 1 exit status
Makefile:25: recipe for target 'all' failed
make: *** [all] Error 1
The command '/bin/sh -c 2to3 -w tools/configure.py  && 2to3 -w tools/util.py  && 2to3 -w tools/graphviz.py  && /bin/echo -e "\ny\ny" | python ./tools/configure.py  && make LDFLAGS="-lcolamd -llpsolve55 -lgurobi_c++ -lgurobi60 -ldl"' returned a non-zero code: 2

which came from this step in the Dockerfile:

interpret/Dockerfile

Lines 70 to 74 in 8911f75

RUN 2to3 -w tools/configure.py \
&& 2to3 -w tools/util.py \
&& 2to3 -w tools/graphviz.py \
&& /bin/echo -e "\ny\ny" | python ./tools/configure.py \
&& make LDFLAGS="-lcolamd -llpsolve55 -lgurobi_c++ -lgurobi60 -ldl"

(I temporarily changed the base image to debian:latest to fix Issue #5.)

Failed to install Debian packages

Running the build script gave the following error:

Step 5/36 : RUN apt-get update -q -y --fix-missing  && apt-get install -q -y --fix-missing --no-install-recommends         bison bzip2 ca-certificates flex g++ git libssl-dev make wget         zlib1g-dev  && rm -rf /var/lib/apt/lists/*
 ---> Running in 5651644db6b6
Get:1 http://security.debian.org jessie/updates InRelease [44.9 kB]
Ign http://deb.debian.org jessie InRelease
Get:2 http://deb.debian.org jessie-updates InRelease [7340 B]
Get:3 http://deb.debian.org jessie Release.gpg [2420 B]
Get:4 http://deb.debian.org jessie Release [148 kB]
Get:5 http://security.debian.org jessie/updates/main amd64 Packages [851 kB]
Get:6 http://deb.debian.org jessie/main amd64 Packages [9098 kB]
W: Failed to fetch http://deb.debian.org/debian/dists/jessie-updates/InRelease  Unable to find expected entry 'main/binary-amd64/Packages' in Release file (Wrong sources.list entry or malformed file)

EFetched 10.2 MB in 6s (1638 kB/s)
: Some index files failed to download. They have been ignored, or old ones used instead.
The command '/bin/sh -c apt-get update -q -y --fix-missing  && apt-get install -q -y --fix-missing --no-install-recommends         bison bzip2 ca-certificates flex g++ git libssl-dev make wget         zlib1g-dev  && rm -rf /var/lib/apt/lists/*' returned a non-zero code: 100

It seems that using the latest Debian release fixes the issue, by changing

FROM debian:8.10

to

FROM debian:latest

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.