From: Thomas S. <st...@mp...> - 2013-10-23 01:50:54
|
If have just successfully built and tested Reduce on OSX 10.9 Mavericks. No major problems. * I did not build the GUI version of CSL * I used DONT_USE_XPORT for PSL CSL uses a compiler option -flat-namespace, which is not recognized by clang. There are harmless differences in the conlaw test for CSL: 3681c3681,3682 < Step 240: --- > Step 240: max_gc_fac : 15 max # of GC's left to do: 15 > Note that redfront will not build on Mavericks because the (rather old) libeditline does not compile anymore. Best, Thomas -- PD Dr. Thomas Sturm - Senior Researcher Max-Planck-Institut Informatik, Saarbruecken, Germany +49 681 9325-2920 http://www.mpi-inf.mpg.de/~sturm/ Summary of CSL and PSL test runs ================================ Differences for CSL: conlaw Differences for PSL: 2011-08-31-linelength 2013-06-30-rounding numeric Differences between CSL and PSL : 2011-08-31-linelength 2013-06-30-rounding conlaw numeric CSL total = 67.67 (seconds) PSL total = 64.76 (seconds) |