Hi Dima, just for the record: Both the master and the develop version are now built and they work.
Thank you! Best regards, Simon On 2021-11-14, Dima Pasechnik <dimp...@gmail.com> wrote: > Hi Simon, > > On Sun, Nov 14, 2021 at 1:26 AM Simon King <simon.k...@uni-jena.de> wrote: >> >> Hi Dima, >> >> On 2021-11-14, Dima Pasechnik <dimp...@gmail.com> wrote: >> > hmm, if you really checked out the latest version and have done >> > `make distclean`, then it should have worked (it does work, you know). >> > >> > Do you mean to say that you merged in (or rebased over) the latest >> > develop branch, and getting errors trying to build? >> >> I did git checkout develop and git pull. Then, git status shows a lot of >> "Unversionierte Dateien", in build/..., but also many things in src/.... >> No idea if that is because of permissions being corrupted when using >> "cp -r". "git reset --hard" is no remedy. > > You need to clean old stuff, I suppose > > git clean -fdx > > should do it. > > HTH > Dima >> >> Anyway, git log tells me the commit is >> 6ec717a56dcb0fd629ca850d9b9391ea8d96ccac, >> Updated SageMath version to 9.5.beta6 >> >> Now, make distclean complains that the Sage source tree is unconfigured, >> and I shall type "./configure". So, I did. Famous last words: >> >> configure: error: The content of >> "/home/king/Sage/git/py3/build/pkgs/beautifulsoup/type" must be >> 'base', 'standard', 'optional', or 'experimental' >> >> autoreconf, to rebuild the configure script, didn't help either. >> >> Best regards, >> Simon >> >> >> -- >> You received this message because you are subscribed to the Google Groups >> "sage-support" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to sage-support+unsubscr...@googlegroups.com. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/sage-support/smpojh%24h4k%241%40ciao.gmane.io. > -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/smr2ov%2447e%241%40ciao.gmane.io.
