Makefile.compcert 348 Bytes
Newer Older
1
POHI_CFLAGS   = -DPOSIX -D_POSIX_SOURCE -D_GNU_SOURCE -DCOMPCERT  
2
TARGET_LDFLAGS  =  -lpthread -lrt -L$(RUNTIME_PATH)/libs/linux32/  -L$(RUNTIME_PATH)/libs/linux64/ -llua -lm
jdelange's avatar
jdelange committed
3
4
5
6
7
8
9
10
11
12
13
14
15
SIMULINK_LDFLAGS  = -lm
CC              = ccomp
LD              = ccomp
GPROF           = gprof


ifdef USE_GPROF
TARGET_LDFLAGS+=-pg
endif

target-clean:

target-objects: