-
Notifications
You must be signed in to change notification settings - Fork 2
/
Makefile.cudd
52 lines (44 loc) · 1.33 KB
/
Makefile.cudd
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
43
44
45
46
47
48
49
50
51
52
# -*- mode: Makefile -*-
include Makefile.config
# Set this flag to the source directory of CUDD, in which you have compiled
# the CUDD library.
CUDD_SRC = $(HOME)/pkgsrc/cudd-2.4.2
# temporary directory
TMPDIR = /tmp/cudd
# End fo configuration section
###############################
LIBS = cudd mtr st epd dddmp
CCINC = \
cudd/cuddInt.h cudd/cudd.h \
mtr/mtrInt.h mtr/mtr.h \
epd/epd.h \
st/st.h \
util/util.h \
dddmp/dddmp.h
install:
mkdir -p $(CUDD_PREFIX)/include
mkdir -p $(CUDD_PREFIX)/lib
ifneq ($(HAS_SHARED),)
for i in $(LIBS); do ( \
rm -fr $(TMPDIR); mkdir $(TMPDIR); cd $(TMPDIR); \
$(AR) x $(CUDD_SRC)/$$i/lib$$i.a; \
$(CC) $(CFLAGS) $(XCFLAGS) -shared -o $(CUDD_PREFIX)/lib/lib$$i.so *.o; \
); done
( \
rm -fr $(TMPDIR); mkdir $(TMPDIR); cd $(TMPDIR); \
$(AR) x $(CUDD_SRC)/util/libutil.a; \
$(CC) $(CFLAGS) $(XCFLAGS) -shared -o $(CUDD_PREFIX)/lib/libcuddutil.so *.o; \
)
endif
for i in $(LIBS); do \
$(INSTALL) $(CUDD_SRC)/$$i/lib$$i.a $(CUDD_PREFIX)/lib; \
done
cp -f $(CUDD_SRC)/util/libutil.a $(CUDD_PREFIX)/lib/libcuddutil.a
for i in $(CCINC); do \
cp -f $(CUDD_SRC)/$$i $(CUDD_PREFIX)/include; \
done
uninstall:
/bin/rm -f $(LIBS:%=$(CUDD_PREFIX)/lib/lib%.a)
/bin/rm -f $(LIBS:%=$(CUDD_PREFIX)/lib/lib%.so)
(cd $(CUDD_PREFIX)/include; \
/bin/rm -f cuddInt.h cudd.h mtrInt.h mtr.h epd.h st.h util.h dddmp.h)