4e7317bf97
The BuDDy Binary Decision Diagrams (BDD) library presented here was made as part of a ph.d. project on model checking of finite state machines. The library has evolved from a simple introduction to BDDs to a full blown BDD package with all the standard BDD operations, reordering and a wealth of documentation.
13 lines
315 B
Text
13 lines
315 B
Text
$NetBSD: patch-ab,v 1.1.1.1 2003/12/31 00:04:19 kristerw Exp $
|
|
|
|
--- src/makefile.orig Tue Dec 30 20:04:54 2003
|
|
+++ src/makefile Tue Dec 30 20:05:12 2003
|
|
@@ -19,7 +19,7 @@
|
|
.SUFFIXES: .cxx .c
|
|
|
|
.cxx.o:
|
|
- $(CPP) $(CFLAGS) $(DFLAGS) -c $<
|
|
+ $(CXX) $(CFLAGS) $(DFLAGS) -c $<
|
|
|
|
.c.o:
|
|
$(CC) $(CFLAGS) $(DFLAGS) -c $<
|