Ask Your Question
0

How to use a python lib by sageMath?

asked 5 years ago

Hello,

Here's my problem :

I have sage v.9 in my Debian 4.9 and I want to use it by importing a python lib that I downloaded from a private repo on Github. This library is in a repo in which there is a makefile in which I have to indicate the path of sage's binary, otherwise I can't run a make. The first line of the makefile is : SAGE= but the problem is, I don't know what is the path I should indicate. To launch sagev9, I do cd /home/my_name/SageMath/ && ./sage.

So with HOME=/home/my_name, I tried :

SAGE=$(HOME)/SageMath/sage

SAGE=$(HOME)/SageMath/local/bin/sage

SAGE=$(HOME)/SageMath/src/bin/sage

but none of them works. When I type make, I received the error : Error: You must set the SAGE_ROOT environment variable or run this script from the SAGE_ROOT or SAGE_ROOT/local/bin/ directory. Error setting environment variables by sourcing '/home/rachidi/SageMath/local/bin/sage-env';

Do you please know what path I have to indicate?

Thanks.

Preview: (hide)

Comments

John Palmieri gravatar imageJohn Palmieri ( 5 years ago )

2 Answers

Sort by » oldest newest most voted
0

answered 5 years ago

vdelecroix gravatar image

You could try to switch to the sage shell environment

$ /home/my_name/SageMath/sage -sh

And then run make.

Preview: (hide)
link
0

answered 5 years ago

Sébastien gravatar image

Did you try to specify the path that contains the script sage? , i.e., just

SAGE=$(HOME)/SageMath

which is the usual SAGE_ROOT folder.

Preview: (hide)
link

Comments

As I said, this is also being discussed at https://stackoverflow.com/questions/6..., and I asked that question there.

John Palmieri gravatar imageJohn Palmieri ( 5 years ago )

oups, excuse me.

Sébastien gravatar imageSébastien ( 5 years ago )

I'm just trying to avoid duplication of effort.

John Palmieri gravatar imageJohn Palmieri ( 5 years ago )

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 5 years ago

Seen: 516 times

Last updated: Apr 04 '20