Ralf Hemmecke wrote: > > as a preparation step for the translation of i-output.boot, I wanted to > decouple SExpression and OutputForm even more. > > But somehow, I must have made a mistake. > > configure --prefix=/home/hemmecke/g/fricas-bisect/install > --with-lisp=sbcl --enable-gmp > make -j1 > > It seems that the actual compilation of AXIOMsys goes well. But it hangs > here. > > unset DAASE; HTPATH=.; export HTPATH; xvfb-run -a -n 0 -s '-screen 0 > 1024x768x24' > /home/hemmecke/g/fricas-bisect/b/target/x86_64-unknown-linux/bin/sman > -noihere -paste coverex.ht > <snip> > I have the impression, that here I ran into a case where hyperdoc relies > on some specific domains. > > I think I need a little help to make that work. > > =================================== > > The following is what I did. > > git clone [email protected]:hemmecke/fricas.git > cd fricas > git checkout i-output-to-spad > ./configure > make
Somehow github refuses to provide me the files. > ==================================== > > Patch can be seen here: > > https://github.com/hemmecke/fricas/commit/9b45463623451a377d59f350e9d75019427d7b51 > > https://github.com/hemmecke/fricas/commit/742431abaabc5cb597ab4f5685df05f945773627 > > Main idea was to create LispExpression which is SExpression, but only > with BasicType, i.e. not coerce: %->OutputForm, extension to SetCategory > is then done in SExpression. > OutputForm itself, does only depend on LispExpression, but not on > SExpression anymore. Error during documentation build are nasty to debug. I would suggest first compile affected Spad files in earlier FriCAS and then ply around to see if something is broken (in particular try 'coverex.ht'). Seemingly small error may cause hang during ducumentation build. -- Waldek Hebisch [email protected] -- 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 http://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
