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/CAAWYfq2xu2biri5OFSx4brxz-JjxA0KcVewA%2BbQR_DzUS6rGzA%40mail.gmail.com.

Reply via email to