1# Point this to where you unpacked mosml
2MOSMLHOME=
3
4MOSMLBIN=$(MOSMLHOME)/bin
5MOSMLRUNTIME=$(MOSMLHOME)/include
6MOSMLC=$(MOSMLBIN)/mosmlc -c
7
8# Your C compiler
9CC=
10
11BUDDYDIR=buddy
12OPTS=-Wall -O3
13CINCLUDE=-I$(MOSMLRUNTIME) -I./$(BUDDYDIR)/src
14CFLAGS= -Dunix $(OPTS) $(CINCLUDE)
15LIBS=-L./$(BUDDYDIR)/src -lbdd
16
17CFILES=muddy.c
18COBJS=muddy.o
19
20BUDDYLIB=./$(BUDDYDIR)/src/libbdd.a
21
22
23.SUFFIXES :
24.SUFFIXES : .c .o
25
26all:
27
28muddy.so: $(COBJS) $(BUDDYLIB)
29	DLLIBCOMP
30
31$(BUDDYLIB):
32	cd $(BUDDYDIR); make
33
34
35.c.o:
36	$(CC) -c $(CFLAGS) -o $@ $<
37
38clean:
39	rm -f *.u? 
40	rm -f *.o *.so
41	rm -f Makefile.bak
42	cd $(BUDDYDIR); make clean
43