-
Notifications
You must be signed in to change notification settings - Fork 5
Expand file tree
/
Copy pathMakefile
More file actions
42 lines (25 loc) · 718 Bytes
/
Makefile
File metadata and controls
42 lines (25 loc) · 718 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
######
#
# A minimal makefile for generating portable C code
#
###### Environment Configuration ######
CC = gcc
CCDEPFLAG = -c -MM -MF
ATSDEPDIR = ATSDEPCOPIES
CFLAGS += -O2
#LDFLAGS += -lm
###### End of Environment Configuration ######
###### Project Configuration ######
SOURCES_DATS += minDisjNoCov.dats sstream.dats
SOURCES_SATS += sstream.sats
######
MYTARGET=mindisj
###### End of Project Configuration ######
.PRECIOUS: *_?ats.c $(ATSDEPDIR)
all:: $(ATSDEPDIR)
$(ATSDEPDIR):
mkdir $(ATSDEPDIR)
######
include utils/atsmake-port-pre.mk # Mostly environment setup
include utils/atsmake-port-post.mk # Mostly build rules
###### end of [Makefile] ######