1# -------------------------------- 2# Makefile for milner test example 3# -------------------------------- 4 5# --- Compiler flags 6CFLAGS = -g -pedantic -Wall -ansi -L../../src -I../../src 7 8# --- C++ compiler 9CPP = g++ 10 11# --- C compiler 12CC = gcc 13 14 15# --- Do not touch --- 16 17.SUFFIXES: .cxx .c 18 19.cxx.o: 20 $(CPP) $(CFLAGS) -c $< 21 22.c.o: 23 $(CC) $(CFLAGS) -c $< 24 25milner: milner.o bddlib 26 $(CPP) $(CFLAGS) milner.o -o milner -lbdd -lm 27 28bddlib: 29 cd ../../src; make 30 31clean: 32 rm -f *~ 33 rm -f *.o 34 rm -f milner 35 36milner.o: ../../src/bdd.h 37