Description
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.
Activity