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