Ticket #27061: makefile.patch

File makefile.patch, 733 bytes (added by eckelmax@…, 13 years ago)

  • Src5.2.5/makefile 

    diff -rupN Spin/Src5.2.5/makefile Spin-new/Src5.2.5/makefile
    old new  
    1212
    1313CC=gcc -DNXT            # -DNXT enables the X operator in LTL
    1414# CC=cc -m32 -DNXT      # for 32bit compilation on a 64bit system
    15 CFLAGS=-ansi -D_POSIX_SOURCE -Wno-format-security       # on some systems add: -I/usr/include
     15CFLAGS=-ansi -D_POSIX_SOURCE -Wno-format-security -DMAC -DCPP="\"gcc -E -x c -xassembler-with-cpp\""    # on some systems add: -I/usr/include
    1616
    1717# for a more picky compilation:
    1818# CFLAGS=-std=c99 -Wstrict-prototypes -pedantic -fno-strength-reduce -fno-builtin -W -Wshadow -Wpointer-arith -Wcast-qual -Winline -Wall -g