#170 r6890 psl-reduce compiler error message

[Marco Ferraris]

Hi Arthur,

while compiling r6890 psl-reduce under x86_64 macOS Big Sur I got an error message during the compilation of the corrundum package.

The error is due to the fact that in the procedure "read_rubi_rule_file", defined the file "$reduce/packages/corrundum/rubi_parse.red", looks for rubi rule files in the "old" directory "$reduce/packages/rubi_red/rubi-rules/" instead of looking for them in the "new" directory "$reduce/packages/corrundum/rubi-rules/".

Best regards, Marco

[Arthur Norman]

Apologies - and thanks for the very clear report. Fixed now I hope.
For info regarding Rubi see https://rulebasedintegration.org/

Arthur

On Thu, 21 Nov 2024, Marco Ferraris wrote:

---

[bugs:#170] r6890 psl-reduce compiler error message

Status: open
Group:
Created: Thu Nov 21, 2024 08:39 AM UTC by Marco Ferraris
Last Updated: Thu Nov 21, 2024 08:39 AM UTC
Owner: nobody

Hi Arthur,

while compiling r6890 psl-reduce under x86_64 macOS Big Sur I got an error message during the compilation of the corrundum package.

The error is due to the fact that in the procedure "read_rubi_rule_file", defined the file "$reduce/packages/corrundum/rubi_parse.red", looks for rubi rule files in the "old" directory "$reduce/packages/rubi_red/rubi-rules/" instead of looking for them in the "new" directory "$reduce/packages/corrundum/rubi-rules/".

Best regards, Marco

---

Sent from sourceforge.net because you indicated interest in https://sourceforge.net/p/reduce-algebra/bugs/170/

To unsubscribe from further messages, please visit https://sourceforge.net/auth/subscriptions/