You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This is doubtlessly a minor issue but an inexperienced user might be at a loss when said to run ./configure which is not there.
Actually, although I compiled 4ti2 successfully and it works, I am not sure whether the canonical way is to first of all run autogen.sh and then follow the steps in README. Is it so?
The text was updated successfully, but these errors were encountered:
This is doubtlessly a minor issue but an inexperienced user might be at a loss when said to run
./configure
which is not there.Actually, although I compiled 4ti2 successfully and it works, I am not sure whether the canonical way is to first of all run
autogen.sh
and then follow the steps in README. Is it so?The text was updated successfully, but these errors were encountered: