Dima Pasechnik wrote:
> 
> On Wednesday, 31 December 2014 20:20:03 UTC, Dima Pasechnik wrote:
> >
> >
> >
> > On Saturday, 27 December 2014 14:18:30 UTC, Waldek Hebisch wrote:
> >>
> >> This is to let you know that FriCAS should now build on ARM 
> >> both using Closure CL and sbcl.  Also, '--enable-gmp' should 
> >> now work on ARM (and in 32-bit mode on i386 when using 
> >> Closure CL).  Actually, in principle '--enable-gmp' should 
> >> work on all sbcl targets, but this is untested except for 
> >> amd64, i386 and ARM. 
> >>
> >> There is some floating point weirdness on ARM, due to 
> >> problems with catching floating point exceptions, but 
> >> otherwise FriCAS on top of sbcl on ARM seems to work 
> >> quite well.
> >>
> >  
> > we'll test Sage FriCAS package on ARM, and report. (As you  
> >  know, it's using ECL) 
> >
> 
> Yes, it  does build there, and seems to work.
> It would be great to add some testsuite to the package.
> (Sage packages have a way to run a testsuite, which 
> should be called from spkg-check script).

What form of test output is expected by Sage?  FriCAS has
several tests, most have output which is probably not
useful for fully automathic testing, but there is group
of tests which at the end print information of form:

  File summary.
   unexpected failures: 0
   expected failures: 0
   unexpected passes: 0
   total tests: 8

If 'unexpected failures' is 0, then the rest is of little interest.
In case of unexpected failures the rest contains information
which test failed and possibly more details.

Currently 'make all-input' runs all tests (which requires some
effort to interpret the results).  I can add a separate target
to run only testfiles which produce summary.

-- 
                              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.

Reply via email to