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

InitError: IOError redcsl

zhanghg1983 opened this issue · comments

when
I type :using Reduce
I recieve: IOError: could not spawn /home/zhg/.julia/packages/Reduce/1n3pM/src/../deps/usr/bin/redcsl: no such file or directory (ENOENT)
IOError: could not spawn redcsl: no such file or directory (ENOENT)
So anyone can do me a favor what,s wrong
My OS :manajro xcfe
julia :1.5.3
Thank you

Did you try pkg> build Reduce yet?

Thank you very much,it woks