bddem/Makefile.temp at master · friguzzi/bddem · GitHub

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
SHELL := /bin/sh

SWIPL ?= swipl
SWIPL_BIN := $(shell command -v $(SWIPL))
SWIPL_BINDIR := $(dir $(SWIPL_BIN))
SWIPL_LD := $(SWIPL_BINDIR)swipl-ld
CC ?= cc
INSTALL ?= install

PLBASE := $(shell $(SWIPL) --dump-runtime-variables | sed -n 's/^PLBASE="\(.*\)";/\1/p')
PLARCH := $(shell $(SWIPL) --dump-runtime-variables | sed -n 's/^PLARCH="\(.*\)";/\1/p')
SOEXT := $(shell $(SWIPL) --dump-runtime-variables | sed -n 's/^PLSOEXT="\(.*\)";/\1/p')

CUDD_DIR := cudd-3.0.0
LIBDIR := lib/$(PLARCH)

INC1 := $(CUDD_DIR)/cudd
INC2 := $(PLBASE)/include
INC3 := $(CUDD_DIR)/st
INCDIRS := -I$(INC1) -I$(INC2) -I$(INC3)

CFLAGSBDDEM := $(CFLAGS) -fPIC -DBP_FREE -O3 -fomit-frame-pointer -Wall -g -O2 $(INCDIRS)
LDFLAGS := -shared -L$(CUDD_DIR)/cudd/.libs/ -lcudd

.PHONY: all clean distclean check install installcheck

all: bddem.$(SOEXT)

bddem.$(SOEXT): bddem.o
	$(SWIPL_LD) bddem.o $(LDFLAGS) -o $@

bddem.o: bddem.c
	$(MAKE) -C $(CUDD_DIR)
	$(CC) -c $(CFLAGSBDDEM) bddem.c -o $@

clean:
	rm -f *.o bddem.$(SOEXT)

distclean: clean
	$(MAKE) -C $(CUDD_DIR) distclean

check:
	@echo "no check"

install: all
	$(INSTALL) -d $(LIBDIR)
	$(INSTALL) bddem.$(SOEXT) $(LIBDIR)/bddem.$(SOEXT)

installcheck:
	$(SWIPL) -g test -t halt prolog/bddem_test.pl