Makefile.compcert 275 Bytes
Newer Older
1
TARGET_CFLAGS   = -DPOSIX -D_POSIX_SOURCE -D_GNU_SOURCE -DCOMPCERT  
jdelange's avatar
jdelange committed
2
3
4
5
6
7
8
9
10
11
12
13
14
15
TARGET_LDFLAGS  =  -lpthread -lrt
SIMULINK_LDFLAGS  = -lm
CC              = ccomp
LD              = ccomp
GPROF           = gprof


ifdef USE_GPROF
TARGET_LDFLAGS+=-pg
endif

target-clean:

target-objects: