Mac/OS (Intel) PSL source

Help
2011-12-13
2012-11-20
  • Mark Brethen
    Mark Brethen
    2011-12-13

    I tried following the readme in the /psl directory to compile REDUCE from local source by issuing:

    cd psl
    ./make-psl.sh macintel64
    ./make-reduce.sh

    But the build never completed, and when I checked the log, it was almost 40 Gb so I killed it. The log file was too large to read and figure out what was going on. Can anyone shed some light on what might be happening?

     
  • Mark Brethen
    Mark Brethen
    2011-12-14

    These scripts also set a MACHINE env variable, and the darwin revs are wrong. They should be: darwin8 is OS X 10.4, darwin9 is OS X 10.5, darwin10 is OS X 10.6 (specifically, darwin10.4.x is OS X 10.6.4 and darwin10.5.x is OSX 10.6.5), and darwin 11 is OS X 10.7.