Coder Social home page Coder Social logo

fptuner's People

Contributors

ianbriggs avatar keram88 avatar wfchiang avatar zvonimir avatar

Stargazers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

Watchers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

fptuner's Issues

Failed build

Dear FPTuner Team,

When building the code:

/usr/bin/ld: chcw.o: relocation R_X86_64_32S against `.bss' can not be used when making a shared object; recompile with -fPIC

My system is Ubunt17.10 and python3.6.

Could you help me?
Best,

Compilation error related to Gelpia

I am trying to build and use FPTuner in an Ubuntu 16.04 x86_64 virtual machine. I got Gurobi installed, but the FPTuner build fails while trying to compile Gelpia in what looks like Rust code. I'm not familiar with Rust so I'm not sure where to start debugging this one. Is this an FPTuner issue or a Gelpia issue?

Downloading Gelpia git repository at branch ArtifactEvaluation
Building Gelpia requirements
Installing Rust
Installing CRLibM
Installing GAOL
Building Gelpia
/home/lam/.cargo/registry/src/github.com-1ecc6299db9ec823/gcc-0.3.53/src/lib.rs:338:23: 338:42 error: the `?` operator is not stable (see issue #31436)
/home/lam/.cargo/registry/src/github.com-1ecc6299db9ec823/gcc-0.3.53/src/lib.rs:338         let out_dir = self.get_out_dir()?;
                                                                                                          ^~~~~~~~~~~~~~~~~~~
/home/lam/.cargo/registry/src/github.com-1ecc6299db9ec823/gcc-0.3.53/src/lib.rs:338:23: 338:42 help: add #![feature(question_mark)] to the crate attributes to enable
/home/lam/.cargo/registry/src/github.com-1ecc6299db9ec823/gcc-0.3.53/src/lib.rs:341:25: 341:48 error: the `?` operator is not stable (see issue #31436)
/home/lam/.cargo/registry/src/github.com-1ecc6299db9ec823/gcc-0.3.53/src/lib.rs:341             let mut f = fs::File::create(&src)?;
                                                                                                            ^~~~~~~~~~~~~~~~~~~~~~~
[many more similar lines snipped]

Build failed

Hi,
I am trying to build and use FPTuner in an Ubuntu 16.04 x86_64 machine. I installed the latest Gurobi, but the FPTuner build fails in InstallFPTaylor. What should I do to fix this?

Downloading FPTaylor git repository at branch develop
Checking out FPTaylor at commit bb773cb0e9e1b13db8845623e80186e1a343bb11
Building FPTaylor
File "fpu.ml", line 24, characters 0-52:
Warning 3: deprecated: [@@noalloc] should be used instead of "noalloc"
File "fpu.ml", line 25, characters 0-54:
Warning 3: deprecated: [@@noalloc] should be used instead of "noalloc"
File "fpu.ml", line 26, characters 0-60:
Warning 3: deprecated: [@@noalloc] should be used instead of "noalloc"
File "fpu.ml", line 24, characters 0-52:
Warning 3: deprecated: [@@noalloc] should be used instead of "noalloc"
File "fpu.ml", line 25, characters 0-54:
Warning 3: deprecated: [@@noalloc] should be used instead of "noalloc"
File "fpu.ml", line 26, characters 0-60:
Warning 3: deprecated: [@@noalloc] should be used instead of "noalloc"
/usr/bin/ld: chcw.o: relocation R_X86_64_32S against `.bss' can not be used when making a PIE object; recompile with -fPIC
/usr/bin/ld: final link failed: Nonrepresentable section on output
collect2: error: ld returned 1 exit status
File "none", line 1:
Error: Error while building custom runtime system
Makefile:23: recipe for target 'ocamlfpu' failed
make[1]: *** [ocamlfpu] Error 2
Makefile:71: recipe for target 'compile-interval' failed
make: *** [compile-interval] Error 2
Traceback (most recent call last):
File "setup.py", line 258, in
main(sys.argv)
File "setup.py", line 199, in main
InstallFPTaylor("develop", "bb773cb0e9e1b13db8845623e80186e1a343bb11")
File "setup.py", line 83, in InstallFPTaylor
assert(os.path.isfile("./fptaylor"))
AssertionError

Thank you very much.

Gelpia compilation errors

Hello,

First of all, many thanks for the excellent paper and sharing the work through this repo.

I'm trying to build FPTuner in an Ubuntu 16.04. I get the following errors related to building Gelpia.

  1. "make requirements" fails: the url (http://lipforge.ens-lyon.fr/frs/download.php/162/crlibm-1.0beta4.tar.gz) to download CRLibM is broken

  2. I bypassed problem 1. by using the crlibm.tar.gz from the develop branch of Gelpia and have succesfully built requirements. However, compilation of Gelpia ("make") fails with an error related to Rust and the getopts package:

error[E0301]: cannot mutably borrow in a pattern guard
--> /home/ggeorgak/.cargo/registry/src/github.com-1ecc6299db9ec823/getopts-0.2.17/src/lib.rs:405:73
|
405 | } else if was_long || name_pos < names.len() || args.peek().map_or(true, |n| is_arg(&n)) {
| ^^^^ borrowed mutably in pattern guard

error: aborting due to previous error

error: Could not compile getopts.

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.