search

nvcleemp / conjecturing

Adding conjecturing to Sage
http://nvcleemp.github.io/conjecturing/
12 stars 3 forks source link

Installation automatically places files in user's home directory #11

Closed yirkajk closed 6 years ago

yirkajk commented 6 years ago

When make is run on conjecturing-0.12-CoCalc, the files conjecturing.py and expressions are placed into the users's home directory no matter what directory conjecturing-0.12-CoCalc was in.

Either this behavior should be made explicit in the installation instructions, or the files should be placed in the same directory that the folder is already in.

nvcleemp commented 6 years ago

Agree. The Cocalc installation was originally just a quick hack to get things done, but I think at the moment it is the most common way to use conjecturing, so this should indeed be addressed. I'll look into it.