chakravala / Reduce.jl

Symbolic parser for Julia language term rewriting using REDUCE algebra

Home Page:http://www.reduce-algebra.com/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

libtinfo.so.5 no such file or directory

pmcvay opened this issue · comments

In a linux system, after Pkg.add("Reduce") and Pkg.build("Reduce"), I get the following error trying to load Reduce

julia> using Reduce
[ Info: Precompiling Reduce [93e0c654-6965-5f22-aba9-9c1ae6b3c259]
[ Info: Precompiling extra Reduce methods (set `ENV["REDPRE"]="0"` to disable)
/home/paul/.julia/packages/Reduce/sobXf/deps/usr/lib/reduce/cslbuild/csl/reduce: error while loading 
shared libraries: libtinfo.so.5: cannot open shared object file: No such file or directory
ERROR: LoadError: LoadError: IOError: write: broken pipe (EPIPE)
Stacktrace:

This is not an issue with the Julia package, but an issue with your OS packaging for ncurses.

On arch linux, you could try installing the following package https://aur-dev.archlinux.org/packages/libtinfo/

But the solution depends on the specifics of your operating system, so I can't really help with that.

I have this issue as well, because Arch (or Manjaro in my case) uses libtinfo.so.6 instead.

I do see an AUR version of reduce - in the process of installing it now. Assuming I get this working, should I be able to remove the one packaged with Reduce.jl and symlink to this one? Any known issues?

Yes, I am personally using the AUR version of REDUCE on my system (but I am not on manjaro)

https://aur.archlinux.org/packages/reduce-common-svn/

Any locally installed version of REDUCE will be automatically detected.

Any locally installed version of REDUCE will be automatically detected.

I hadn't even thought to try this. Now that it's installed locally, I was able to remove and then dev Reduce, and it seems to just work. This looks really great, thank you!

I was able to remove and then dev Reduce

a new release of Reduce has just been tagged, I think you should free Reduce now, unless you want to work with possible breaking changes of the internals in the future

Thoughtful of you to come back to let me know this, thank you!

I am getting the same error because I have libtinfo.so.6 and not libtinfo.so.5.
I tried the AUR package for Reduce svn, but got:

mv: cannot stat 'src/closures.loT': No such file or directory
make[4]: Leaving directory '/home/chriselrod/Documents/AUR/reduce-svn/src/reduce-build/cslbuild/x86_64-pc-linux-gnu/libffi'
make[3]: *** [Makefile:1363: install-recursive] Error 1
make[3]: Leaving directory '/home/chriselrod/Documents/AUR/reduce-svn/src/reduce-build/cslbuild/x86_64-pc-linux-gnu/libffi'
make[2]: *** [Makefile:5365: ../include/ffi.h] Error 2
mv: cannot stat 'src/.deps/closures.Tpo': No such file or directory
make[4]: *** [Makefile:1290: src/closures.lo] Error 1
make[4]: Leaving directory '/home/chriselrod/Documents/AUR/reduce-svn/src/reduce-build/cslbuild/x86_64-pc-linux-gnu/libffi'
make[3]: *** [Makefile:1363: install-recursive] Error 1
make[3]: Leaving directory '/home/chriselrod/Documents/AUR/reduce-svn/src/reduce-build/cslbuild/x86_64-pc-linux-gnu/libffi'
make[2]: *** [Makefile:5365: ../lib/libffi.a] Error 2
ranlib libsoftfloat.a

Try installing ncurses5-compat-libs from the AUR first

I am still getting similar "no such file or directory" errors.

EDIT: Starting from the top, the very first error is:

printf "About to build softfloat for %s\n" `pwd`
Making install in include
cannot stat '.deps/csl-arith-plus.Tpo': No such file or directory
make[2]: *** [Makefile:2764: csl-arith-plus.o] Error 1
make[2]: *** Waiting for unfinished jobs....

Then there's another two and a half-thousand lines of build (and errors).

A few lines earlier I see:

/usr/bin/g++ /home/chriselrod/Documents/AUR/reduce-svn/src/reduce-build/csl/cslbase/makeheaders.cpp -o makeheaders
  CXX      csl-arith-plus.o
  CXX      csl-serialize.o
  CXX      csl-arith-plus.o

and then a little later

About to build softfloat for /home/chriselrod/Documents/AUR/reduce-svn/src/reduce-build/cslbuild/x86_64-pc-linux-gnu/csl
  CXX      csl-arith-plus.o

These are all the references to csl-arith-plus in the output.

EDIT:
Because the errors were about missing internal dependencies, I figured it may be a problem with the build script. That is, that the Makefile doesn't indicate all the dependencies, so that a highly parallel build will start building some objects for its dependencies have finished.
I commented out this line from my makepkg.conf:

#-- Make Flags: change this for DistCC/SMP systems
# MAKEFLAGS="-j$(nproc)"

and reran the build. This time, it completed without errors.
Now...

(v1.2) pkg> build Reduce
  Building Reduce  `~/.julia/packages/Reduce/XRAVZ/deps/build.log`

julia> using Reduce
Reduce (Free CSL version, revision 4976), 03-May-19 ...

julia> @force using Reduce.Algebra

julia> 1-1/:n
:((n - 1) / n)

julia> ans^-:n
:(1 / ((n - 1) / n) ^ n)

julia> limit(ans,:n,Inf)
ℯ = 2.7182818284590...

Is there somewhere I should file an issue about parallel builds being broken?
On this particular computer

$ nproc
32

Thanks for figuring it out, is it an issue with the AUR PKGBUILD script? or is it an upstream issue?

in either case, I recommend submitting a request to AUR or to the Sourceforge bug discussion forum for REDUCE if it is an upstream issue, they are usually both responsive