Ticket #1920: patch-user-settings.diff

File patch-user-settings.diff, 509 bytes (added by sleepinghead@…, 20 years ago)

patch-user-settings.diff

  • config/user-settings

    old new  
    1111#                       variable in makefile.unix-generic
    1212#       osx             Mac OS-X, with the gnu compiler.
    1313
    14 PLATFORM=unix-gcc
     14PLATFORM=osx
    1515
    1616# (2) the floating point precision to use (either "SINGLE" or "DOUBLE")
    1717
    … …  
    4141#     compiled on windows, but it has been ported so that it should compile
    4242#     under unix/gcc too. Your mileage may vary.
    4343
    44 #OPCODE_DIRECTORY=OPCODE
     44OPCODE_DIRECTORY=OPCODE