HomeFreeBSD

Update to 3.6.2; preserve scores and config

Description

Update to 3.6.2; preserve scores and config

  • Update to 3.6.2
  • Remove MARK_JOBS_UNSAFE, I have no problems building this on a MP machine without this.
  • Preserve the sysconf, logfile, record, and xlogfile files across updates by copying them to *.sample and marking them with @sample in the packing list. This preserves user configuration changes (sysconf) and high score records (logfile, record, xlogfile).

Details

Provenance
glewisAuthored on
Parents
rP512541: math/z3: Update to 4.8.6.
Branches
Unknown
Tags
Unknown