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