Le mer. 2 sept. 2020 à 10:42, Ralf Hemmecke <[email protected]> a écrit :

> Arrrhhhh... ich should have pushed it to the master branch. Try the
> following:
>
> git clone https://github.com/hemmecke/fricas.git
> cd fricas
> git checkout formatted                   <---- ADDED
> ./configure && make
> cd src/doc
> time make -j8 localhtml

Are you sure? Nothing happens. Only this message:

Branch 'formatted' set up to track remote branch 'formatted' from 'origin'.
Switched to a new branch 'formatted'

Nevertheless I can test a './configure && make'

__
Greg

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/CAHnU2dbN%2BnMJMHOWj4R8Q1qgMV2cp3Pa%2B3ouTOZKGNKBR7hYpw%40mail.gmail.com.

Reply via email to