Makefile 529 Bytes
Newer Older
Matthias Rungger's avatar
Matthias Rungger committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
#
# compiler
#
#CC        = g++
CC       	  = clang++
CXXFLAGS 		= -Wall -Wextra -std=c++11 -O3 -DNDEBUG

#
# scots 
#
SCOTSROOT		= ../../..
SCOTSINC		= -I$(SCOTSROOT)/src 

#
# cudd 
#
17
CUDDPATH		=  /opt/local/
Matthias Rungger's avatar
Matthias Rungger committed
18
CUDDINC 		= -I$(CUDDPATH)/include
19
20
CUDDLIBS		= -lcudd 
CUDDLPATH   = -L$(CUDDPATH)/lib
Matthias Rungger's avatar
Matthias Rungger committed
21
22
23
24
25
26

TARGET = vehicle

all: $(TARGET)

%.o:%.cc
27
	$(CC) -c $(CXXFLAGS) $(CUDDINC) $(SCOTSINC) $< -o $@
Matthias Rungger's avatar
Matthias Rungger committed
28
29
30
31
32
33
34

$(TARGET): $(TARGET).o
	$(CC) $(CXXFLAGS) -o $(TARGET) $(TARGET).o $(CUDDLPATH) $(CUDDLIBS)


clean:
	rm  ./$(TARGET)  ./$(TARGET).o