On Friday, August 12, 2016 at 4:15:47 PM UTC+1, Waldek Hebisch wrote: > > Dima Pasechnik wrote: > > On Friday, August 12, 2016 at 1:28:04 PM UTC+1, Waldek Hebisch wrote: > > > > > > Dima Pasechnik wrote: > > > > > > > > how does one get release tarballs? > > > > Sourceforge does not seem to provide them. > > > > Do you mean that one has to checkout an appropriate branch from your > SVN > > > > repo, and tar it? > > > > > > FriCAS release tarballs are in normal SourceForge download area. > > > Current relase is 1.2.7, you can also get it following links > > > from FriCAS home page. > > > > > > > This way one only gets fricas-1.2.7-full.tar.bz2 > > < > https://sourceforge.net/projects/fricas/files/fricas/1.2.7/fricas-1.2.7-full.tar.bz2/download> > > > > (or some precompiled binaries) > > > > Did you mean to say that this is the one you recommend to use? > > This is the current release. SVN trunk contains quite a few fixes > for various problems (like problem building with recent ECL). > If you are not affected by the problem fixed in trunk, then > I recommend to use 1.2.7. > > If you want to create tarball like release tarball from current > trunk this is a bit more complicated: > > - fetch sources from SVN > - do full build, including graphics (see INSTALL about building > graphics) > - use for example 'mkdist.sh' script to create a directory tree > with prebuilt files > - tar created directory tree > > Alternatively, you can try 'make dist' for the last two steps. > > > By the way, I noticed that it contains a copy of git repo. Is it > > intentional? > > (usually one does not ship it, pointing at a git server with the repo > > instead...) > > I do not see git repo inside. Could you re-check and tell me > exactly what you see? > oops, never mind. I created it myself to make creating a diff less painful, and then forgot about :-)
Dima -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
