Makefile.conf
changeset 66 805bfae3cdc4
parent 38 271bea5552dc
child 142 025a3d115c2b
     1.1 --- a/Makefile.conf	Sun Feb 22 15:16:57 2015 +0100
     1.2 +++ b/Makefile.conf	Sun Feb 22 15:49:02 2015 +0100
     1.3 @@ -1,7 +1,10 @@
     1.4  BUILD_ON=$(shell uname)
     1.5  BUILD_FOR=$(BUILD_ON)
     1.6  OPTIMIZE=-g -O0
     1.7 -#OPTIMIZE=-O3 -DNDEBUG
     1.8 +#OPTIMIZE=-O3 -DNDEBUG -std=c99
     1.9 +LD=$(CC)
    1.10 +#CC=gcc-mp-4.9 -std=c99 -fstrict-aliasing -Wstrict-aliasing=3
    1.11 +#LD=gcc-mp-4.9
    1.12  # the next two lines are ignored on Windoze
    1.13  SYSTEM_DB=/usr/local/share/pEp/system.db
    1.14  PREFIX=$(HOME)