Trusted, Bureaucrats
4,228
edits
Changes
→Is subversion available: Switched from svn to git.
==Software at cloud.sagemath.com==
===Is subversion git available===
<source lang="bash">
~$ svn git --versionsvn, git version 12.87.10 (r1615264)6
</source>
==Checkout relax and build==
cd $HOME
# Build
cd relax_trunkrelax
scons
cd $HOME
mkdir -p $HOME/bin
ln -s $HOME/relax_trunkrelax/relax $HOME/bin
# Test all of relax with unittests and systemtests
relax --time -u
relax --time -s
'''relax works!'''